PLC-Implementation of Emergency Shut-Down Systems

  • Wolfgang A. Halang
  • Johan Scheepstra
Conference paper


The task of safeguarding systems is to bring processes from dangerous into safe states. A special class of safeguarding systems are emergency shut-down systems (ESD), which, until now, are only implemented in inherently fail safe hard wired forms. Despite their high reliability, there is an urgent industrial need to replace them by more flexible systems. Therefore, a low complexity, fault detecting computer architecture was designed, on which a programmable logic controller for ESD applications can be based. Functional logic diagrams, the traditional graphical specification tool of ESDs, are directly supported by the architecture as appropriate user oriented programming paradigm. Thus, by design, there is no semantic gap between the programming and machine execution levels enabling the safety licensing of application software by formal methods or back translation. The concept was proven feasible by a working demonstration model.


Programmable Logic Controller Function Block Programmable Logic Controller Object Code License Authority 
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.
    Dijkstra EW, Feijen WHJ. Een methode van programmeren. Academic service cop., 1984Google Scholar
  2. 2.
    Scheepstra J. PLC-Implementation of Emergency Shut-Down Systems. Master’s thesis, University of Groningen, 1992Google Scholar
  3. 3.
    Kershaw J. The VIPER Microprocessor. Report No. 87014, Royal Signal and Radar Establishment, Malvern, England, 1987Google Scholar
  4. 4.
    Krebs H, Haspel U. Ein Verfahren zur Software-Verifikation. Regelungstechnische Praxis 1984; 28: 73–78Google Scholar

Copyright information

© Springer-Verlag London Limited 1993

Authors and Affiliations

  • Wolfgang A. Halang
    • 1
  • Johan Scheepstra
    • 2
  1. 1.Department of Electrical EngineeringFernUniversitätHagenGermany
  2. 2.Department of Computing ScienceRijksuniversiteit GroningenAV GroningenThe Netherlands

Personalised recommendations