Loading...
conference paper
The steam boiler problem in Lustre
Cattel, T.
•
Duval, G.
1996
Formal Methods for Industrial Applications. Specifying and Programming the Steam Boiler Control
This paper reports the results of specifying, verifying and implementing the steam boiler problem with Lustre. The model is detailed and is able to drive the system and takes device failures (pumps, pump controllers, water, steam and transmission) and emergency stop into account. Safety properties have been checked on the model with Lesar, the Lustre model-checker. An implementation of the system have been made using the C code produced by Lustre from the model and linked with the TCL/TK simulation. This application shows Lustre's suitability for developing safe control process problems from specifications
Type
conference paper
Authors
Cattel, T.
•
Duval, G.
Publication date
1996
Publisher
Published in
Formal Methods for Industrial Applications. Specifying and Programming the Steam Boiler Control
Start page
149
End page
164
EPFL units
Event place |
Available on Infoscience
January 11, 2007
Use this identifier to reference this record