Abstract
We describe the application of SDL, a method for the construction of reactive systems, to an example of the field of production control. The control program for a production cell system is constructed, fulfilling safety constraints imposed on the system.
The effectiveness of standard validation techniques for SDL for guaranteeing the safety properties is investigated. It turns out that usual techniques like interactive and automatic simulation are helpful, but not sufficient for safety-critical systems. Possible alternatives are discussed.
Preview
Unable to display preview. Download preview PDF.
References
R. Brok, Ø. Hangen: Engineering Real-Time Systems, Prentice Hall, 1993.
ITU: Z.100 ITU Specification and Description Language (SDL), Geneva, 1993.
Bo Bichel Nøbaek, Final Methods and Tools for the Handling of SDL Specifications, deliverable D4.15 of the ESPRIT Project SPECS, CEC identifier: 46/SPE/WP4/DS/A/ 015/b1
S. Heinkel: Verifikation in SDL, diploma thesis, Universität Karlsruhe, Germany (in German language), 1994, to be finished.
TeleLOGIC Malmö AB. SDT user manual, 1993.
TeleLOGIC Malmö AB. OSDT user manual, 1993.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Heinkel, S., Lindner, T. (1995). SDL. In: Lewerentz, C., Lindner, T. (eds) Formal Development of Reactive Systems. Lecture Notes in Computer Science, vol 891. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58867-1_54
Download citation
DOI: https://doi.org/10.1007/3-540-58867-1_54
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-58867-2
Online ISBN: 978-3-540-49133-0
eBook Packages: Springer Book Archive