Paper Info
Title
A VDM Specification of the Steam-Boiler Problem
Abstract
A model-based formal specification of the steam boiler problem is presented, using VDM-SL. The development of the specification follows an environment-based approach. First, the physical boiler is specified, then its interface with the control system and finally, the control system itself. The integrations of the interface and of the controller in the specification of the boiler take the form of successive refinements. The approach has several advantages: it provides a methodological guidance to the specification activity and tends to avoid over-specification and premature design decisions, by focusing later on the control aspects of the problem.
Year
Venue
Keywords
1995
Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control (the book grow out of a Dagstuhl Seminar, June 1995).
formal specification,control system,specific activity
DocType
ISBN
Citations 
Conference
3-540-61929-1
1
PageRank 
References 
Authors
0.43
4
2
Name
Order
Citations
PageRank
Y. Ledru1716.79
Marie-Laure Potet219021.34