Discrete event process controller synthesis using VDM/sup ++/

Ft. Lauderdale, Florida November 06-November 10

DOI Bookmark:

http://doi.ieeecomputersociety.org/10.1109/ICECCS.1995.479318

First IEEE International Conference o ...

	This Article
	PURCHASE ARTICLE: $19 PDF HTML IEEE Xplore Subscribers
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by K. Lano Articles by S. Goldsack

	ASCII Text	x
	K. Lano, S. Goldsack, "Discrete event process controller synthesis using VDM/sup ++/," Engineering of Complex Computer Systems, IEEE International Conference on, pp. 129, First IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'95), 1995.

	BibTex	x
	@article{ 10.1109/ICECCS.1995.479318, author = {K. Lano and S. Goldsack}, title = {Discrete event process controller synthesis using VDM/sup ++/}, journal ={Engineering of Complex Computer Systems, IEEE International Conference on}, volume = {0}, year = {1995}, isbn = {0-8186-7123-8}, pages = {129}, doi = {http://doi.ieeecomputersociety.org/10.1109/ICECCS.1995.479318}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Engineering of Complex Computer Systems, IEEE International Conference on TI - Discrete event process controller synthesis using VDM/sup ++/ SN - 0-8186-7123-8 SP EP A1 - K. Lano, A1 - S. Goldsack, PY - 1995 KW - discrete event systems; formal specification; specification languages; real-time systems; temporal logic; timing; programmable controllers; object-oriented languages; parallel languages; combustion; ignition; control system CAD; process control; control system synthesis; Vienna development method; heat systems; discrete event process controller synthesis; VDM/sup ++/; controller specification; controller design; gas burner system; systematic method; declarative requirement statements; real-time temporal logic; abstract VDM/sup ++/ specifications; concrete VDM/sup ++/ specifications; formalised requirements; timing analysis; refinement process; Ada95 VL - 0 JA - Engineering of Complex Computer Systems, IEEE International Conference on ER -

K. Lano, Dept. of Comput., Imperial Coll. of Sci., Technol. & Med., London, UK

S. Goldsack, Dept. of Comput., Imperial Coll. of Sci., Technol. & Med., London, UK

The paper describes approaches to the specification and design of a controller for a gas burner system using VDM/sup ++/. It defines a systematic method for interpreting declarative requirements statements in real-time temporal logic, and for the construction of abstract and concrete VDM/sup ++/ 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.

Index Terms:

discrete event systems; formal specification; specification languages; real-time systems; temporal logic; timing; programmable controllers; object-oriented languages; parallel languages; combustion; ignition; control system CAD; process control; control system synthesis; Vienna development method; heat systems; discrete event process controller synthesis; VDM/sup ++/; controller specification; controller design; gas burner system; systematic method; declarative requirement statements; real-time temporal logic; abstract VDM/sup ++/ specifications; concrete VDM/sup ++/ specifications; formalised requirements; timing analysis; refinement process; Ada95

Citation:

K. Lano, S. Goldsack, "Discrete event process controller synthesis using VDM/sup ++/," iceccs, pp.129, First IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'95), 1995

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.