Zusammenfassung
Speicherprogrammierbare Steuerungen werden als einfach organisierte elektronische Prozeßdatenverarbeitungsanlagen mit vorhersehbarem Ausführungszeitverhalten vorgestellt. Es wird gezeigt, daß sich für ihre Programmierung besonders Funktions- und sequentielle Ablaufpläne eignen, da sie wegen ihrer Klarheit und leichten Verständlichkeit leicht sicherheitstechnisch abzunehmen sind. Letzteres gilt umso mehr, wenn Funk- tionsplanprogrammierung auf einer Bibliothek verifizierter Funktionsblöcke aufsetzen kann, wie es sie für bestimmte Anwendungsgebiete wie Notabschaltsysteme bereits gibt.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Literatur
Agence Nationale pour le Développement de la Production Automatisée.: Le Grafcet, Diagramme Fonctionel des Automatismes Séquentiels, Ed. 3 (1979)
Baber, R.L.: Fehlerfreie Programmierung für den Software-Zauberlehrling. R. Oldenbourg-Verlag, München/Wien (1990)
Backhouse, R.C.: Programmkonstruktion und Verifikation. Hanser-Verlag, München/Wien (1989)
Clutterbuck, D.L., Carré, B.A.: The verification of low level code. IEE Softw. Eng. J. 3, 97–111 (1988)
Dahll, G., Mainka, U., Märtz, J.: Tools for the standardised software safety assessment (The SOSAT Project). In: Ehrenberger, W.D. (Hrsg.) Safety of Computer Control Systems. IFAC Proceedings Series, No. 16, S. 1–16. Pergamon Press, Oxford (1988)
Internationale Norm IEC 1131-3.: Programmable Controllers, Part 3: Programming Languages. Internationale Elektrotechnische Kommission, Genf (1992)
Krebs, H., Haspel, U.: Ein Verfahren zur Software-Verifikation. Regelungstechnische Praxis rtp 26, 73–78 (1984)
MALPAS (Malvern Program Analysis Suite).: Rex, Thompson & Partners Ltd., Farnham, England
O’Neill, I.M., Clutterbuck, D.L., Farrow, P.F., Summers, P.G., Dolman, W.C.: The formal verification of safety-critical assembly code. In: Ehrenberger, W.D. (Hrsg.) Safety of Computer Control Systems. IFAC Proceedings Series, No. 16, S. 115–120. Pergamon Press, Oxford (1988)
Petri, C.A.: Kommunikation mit Automaten. Rheinisch-Westfälisches Institut für Instrumentelle Mathematik an der Universität Bonn, Schrift Nr. 2 (1962)
VDI/VDE 3696.: Herstellerneutrale Konfigurierung von Prozeßleitsystemen. Richtlinie. Beuth Verlag, Berlin (1995)
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer-Verlag GmbH Deutschland, ein Teil von Springer Nature
About this chapter
Cite this chapter
Halang, W.A., Konakovsky, R.M. (2018). Das inhärent sichere Funktionsplanparadigma. In: Sicherheitsgerichtete Echtzeitsysteme. VDI-Buch. Springer Vieweg, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-56369-4_8
Download citation
DOI: https://doi.org/10.1007/978-3-662-56369-4_8
Published:
Publisher Name: Springer Vieweg, Berlin, Heidelberg
Print ISBN: 978-3-662-56368-7
Online ISBN: 978-3-662-56369-4
eBook Packages: Computer Science and Engineering (German Language)