Title :
Discrete event process controller synthesis using VDM++
Author :
Lano, K. ; Goldsack, S.
Author_Institution :
Dept. of Comput., Imperial Coll. of Sci., Technol. & Med., London, UK
Abstract :
The paper describes approaches to the specification and design of a controller for a gas burner system using VDM++. It defines a systematic method for interpreting declarative requirements statements in real-time temporal logic, and for the construction of abstract and concrete VDM++ specifications which implement the formalised requirements. Timing analysis is also addressed. The central contribution of the paper is a primarily mechanical process of refinement from abstract declarative specifications of a control problem to implemented controllers in Ada95
Keywords :
Vienna development method; combustion; control system CAD; control system synthesis; discrete event systems; formal specification; heat systems; ignition; object-oriented languages; parallel languages; process control; programmable controllers; real-time systems; specification languages; temporal logic; timing; Ada95; VDM++; abstract VDM++ specifications; concrete VDM++ specifications; controller design; controller specification; declarative requirement statements; discrete event process controller synthesis; formalised requirements; gas burner system; real-time temporal logic; refinement process; systematic method; timing analysis; Centralized control; Concrete; Control system synthesis; Control systems; Educational institutions; Hardware; Monitoring; Permission; Process control; Timing;
Conference_Titel :
Engineering of Complex Computer Systems, 1995. Held jointly with 5th CSESAW, 3rd IEEE RTAW and 20th IFAC/IFIP WRTP, Proceedings., First IEEE International Conference on
Conference_Location :
Ft. Lauderdale, FL
Print_ISBN :
0-8186-7123-8
DOI :
10.1109/ICECCS.1995.479318
