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.
KeywordsModel Check Finite State Machine Safety Property Block Type Binary Decision Diagram
Unable to display preview. Download preview PDF.
- R. Brok, Ø. Hangen: Engineering Real-Time Systems, Prentice Hall, 1993.Google Scholar
- ITU: Z.100 ITU Specification and Description Language (SDL), Geneva, 1993.Google Scholar
- 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/b1Google Scholar
- S. Heinkel: Verifikation in SDL, diploma thesis, Universität Karlsruhe, Germany (in German language), 1994, to be finished.Google Scholar
- TeleLOGIC Malmö AB. SDT user manual, 1993.Google Scholar
- TeleLOGIC Malmö AB. OSDT user manual, 1993.Google Scholar