Title :
Implementation of a model lift control system from a formal specification
Author :
Mocek, J.P. ; McDe, J.A.
Author_Institution :
Systems Designers plc, Camberley, UK
fDate :
5/1/1987 12:00:00 AM
Abstract :
This paper describes the implementation of a model lift control system, based on a formal specification of lift behaviour. The purpose of the paper is to demonstrate the benefit of using formal specifications as the basis of an implementation, and to show how a control system can be produced using an integrated project support environment.
Keywords :
control system CAD; control system synthesis; lifts; programming environments; specification languages; Ada; formal specification; integrated project support environment; lift behavior; model lift control system;
Journal_Title :
Software Engineering Journal
DOI :
10.1049/sej:19870010
