The specification and description language applied with the SDT support tool
  • Stefan Heinkel
  • Thomas Lindner
Part of the Lecture Notes in Computer Science book series (LNCS, volume 891)


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.


Model Check Finite State Machine Safety Property Block Type Binary Decision Diagram 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    R. Brok, Ø. Hangen: Engineering Real-Time Systems, Prentice Hall, 1993.Google Scholar
  2. [2]
    ITU: Z.100 ITU Specification and Description Language (SDL), Geneva, 1993.Google Scholar
  3. [3]
    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
  4. [4]
    S. Heinkel: Verifikation in SDL, diploma thesis, Universität Karlsruhe, Germany (in German language), 1994, to be finished.Google Scholar
  5. [5]
    TeleLOGIC Malmö AB. SDT user manual, 1993.Google Scholar
  6. [6]
    TeleLOGIC Malmö AB. OSDT user manual, 1993.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1995

Authors and Affiliations

  • Stefan Heinkel
    • 1
  • Thomas Lindner
    • 1
  1. 1.Forschungszentrum InformatikKarlsruhe

Personalised recommendations