Abstract
The paper presents a specification of the steam boiler system in Time Extended LOTOS as an example to describe real-time, hybrid systems containing parts with discrete and continuous behavior in a time extended process-algebraic formalism.
The specification has been developed in three design steps — the specification of functional behavior in LOTOS, the specification of timed behavior in TE-LOTOS (a time extension of LOTOS), and the specification of data dependencies in TE-LOTOS with Gofer (a functional language). The resulting specification is modular, succinct, and easy to read. Most importantly, it is an implementation-near specification. It offers means for logical reasoning on the system properties, for stepwise refinement, simulation and prototyping of the system.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
H. Eertink. Simulation Techniques for the Validation of LOTOS Specifications. PhD thesis, University of Twente, 1994.
H. Garavel. CADP — The Caesar/Aldebaran Distribution Package. CNRS/IMAG and INRIA, 1995.
ISO/IEC, Geneva, Switzerland. IS 8807: Information Processing Systems — Open Systems Interconnection — LOTOS — A formal Description Technique based on the temporal Ordering of observational Behaviour, 1988.
M.P. Jones. GOFER functional programming environment, version 2.28. Report, 1993.
G. Leduc and L. Leonard. A formal definition of time in LOTOS. Draft version, aug 1994.
G. Leduc, L. Leonard, D. de Frutos, and J. Quemada. Time extended LOTOS. Revised Working Draft on Extended LOTOS, ISO/IEC JTC1/SC21/WG7, jul 1995.
LotosPhere project (ESPRIT 2304). LITE — The LOTOS Integrated Tool Environment, 1993.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Willig, A., Schieferdecker, I. (1996). Specifying and verifying the steam boiler control system with Time Extended LOTOS. In: Abrial, JR., Börger, E., Langmaack, H. (eds) Formal Methods for Industrial Applications. Lecture Notes in Computer Science, vol 1165. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0027250
Download citation
DOI: https://doi.org/10.1007/BFb0027250
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61929-1
Online ISBN: 978-3-540-49566-6
eBook Packages: Springer Book Archive