DocumentCode
1216301
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
Volume
2
Issue
3
fYear
1987
fDate
5/1/1987 12:00:00 AM
Firstpage
71
Lastpage
79
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;
fLanguage
English
Journal_Title
Software Engineering Journal
Publisher
iet
ISSN
0268-6961
Type
jour
DOI
10.1049/sej:19870010
Filename
4807889
Link To Document