© University of Kent - Contact | Feedback | Legal | FOI | Cookies
A Functional Reactive Animation of a Lift using Fran
Simon Thompson
Technical Report 5-98, Computing Laboratory, University of Kent, May 1998.Abstract
This paper uses the Functional Reactive Animation system, Fran, to give a simulation of a simple two floor lift (or elevator). We introduce those aspects of Fran relevant to the simulation, thus making the paper self-contained. We show how to extend the design to one for a lift with an arbitrary number of floors, and we conclude the paper with a discussion of how the Fran simulation can be verified in an informal temporal logic.
Download publication 454 kbytes (PostScript)
Bibtex Record
@techreport{583,
author = {Simon Thompson},
title = {{A Functional Reactive Animation of a Lift using Fran}},
month = {May},
year = {1998},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1998/583},
institution = {Computing Laboratory, University of Kent},
number = {5-98},
type = {Technical Report},
}