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