Zusammenfassung
In sicherheitsgerichteten Automatisierungsanwendungen eingesetzte Programme müssen sicherheitstechnisch abgenommen werden. Um diese schwierige Aufgabe einer Lösung näherzubringen, werden durch Zusammenfügung und Modifikation von PEARL90 und Mehrrechner-PEARL eine sicherheitsgerichtete Grundsprache sowie für jede der vier Sicherheitsklassen nach IEC 61508 eine inhärent sichere Teilsprache definiert, deren Syntax die Einhaltung der jeweils geltenden Einschränkungen erzwingt. Die den beiden oberen Sicherheitsklassen SIL 4 und SIL 3 zugewiesenen Teilsprachen für Ursache-/Wirkungstabellen bzw. Funktions- und Ablaufpläne auf der Grundlage verifizierter Bibliotheken sind die einzigen, die hohen Sicherheitsanforderungen genügende Programme derzeit einfach und wirtschaftlich zu verifizieren gestatten. Für die unteren Sicherheitsklassen werden textuelle Teilsprachen vorgestellt, und zwar für SIL 2 eine formale Programmverifikation ermöglichende Teilsprache und für SIL 1 eine statische Sprache mit sicheren Konstrukten zum Einsatz im asynchronen Mehrprozessbetrieb.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Literaturverzeichnis
1. DIN 66 253-2: Programmiersprache PEARL 90. Berlin-Köln: Beuth Verlag, 1998.
2. W.A. Halang und M. Sniezek: Digitale Datenverarbeitungsanlage für sicherheitsgerichtete Automatisierungsaufgaben zur Ausführung als Funktions- und Ablaufpläne dargestellter Programme, Deutsches Patent Nr. 19841194, 1998.
3. J. Hillebrand: Eine sicherheitsgerichtete Echtzeitprogrammiersprache für die Sicherheitsstufe SIL 3 gemäß DIN EN 61508. In Industrie 4.0 und Echtzeit – Echtzeit 2014, W.A. Halang und H. Unger (Hrsg.), Reihe „Informatik aktuell“, pp. 21–30, Berlin-Heidelberg: Springer-Verlag 2014.
4. IEC 61508: Funktionale Sicherheit – Sicherheitssysteme. Teil 1: Allgemeine Anforderungen. Genf: Internationale Elektrotechnische Kommission, 1995.
5. IEC 61131-3: Programmable Controllers, Part 3: Programming Languages. Genf: Internationale Elektrotechnische Kommission, 1992.
6. H. Krebs und U. Haspel: Ein Verfahren zur Software-Verifikation. Regelungstechnische Praxis rtp 26, 73–78, 1984.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Schaible, M., Halang, W.A. (2016). PEARL für sicherheitsgerichtete Echtzeitprogrammierung. In: Halang, W., Unger, H. (eds) Internet der Dinge. Informatik aktuell. Springer Vieweg, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-53443-4_9
Download citation
DOI: https://doi.org/10.1007/978-3-662-53443-4_9
Published:
Publisher Name: Springer Vieweg, Berlin, Heidelberg
Print ISBN: 978-3-662-53442-7
Online ISBN: 978-3-662-53443-4
eBook Packages: Computer Science and Engineering (German Language)