School of Computing

A Functional Reactive Animation of a Lift using Fran

Simon Thompson

Technical Report 5-98, Computing Laboratory, University of Kent, May 1998.


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

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 = {},
    institution = {Computing Laboratory, University of Kent},
    number = {5-98},
    type = {Technical Report},

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014