Zusammenfassung
Jeder der vier Sicherheitsanforderungsklassen (SIL) nach IEC 61508 wird eine Menge statischer und inhärent sicherer Sprachkonstrukte zugeordnet, deren Syntax die Einhaltung der jeweils geltenden Einschränkungen und Regeln erzwingt. Die Mengen sind so gewählt, daß darin formulierte Programme in jeder Klasse mit hinreichender Vertrauenswürdigkeit als korrekt nachgewiesen werden können. Für die drei unteren Sicherheitsklassen werden Derivate der Echtzeitprogrammiersprache PEARL vorgestellt, und zwar das sehr eingeschränkte Verifiable-PEARL zur Anwendung verifizierter Bausteinbibliotheken auf dem Niveau SIL 3, das eingeschränkte Safe-PEARL ohne Nebenläufigkeit auf SIL 2 und HI-PEARL für SIL 1 und asynchronen Mehrprozeßbetrieb. Außerdem werden inhärent sichere Sprachkonstrukte zur Formulierung von Ablaufplänen definiert.
Gefördert durch die Bundesanstalt für Arbeitsschutz und Arbeitsmedizin, Dortmund, im Rahmen des Forschungsprojektes F 1636 “Untersuchungen zu Programmiersprachen mit eingeschränktem Sprachumfang für den Einsatz in Steuerungen mit Sicherheitsaufgaben — Methodenlehre sicherheitsgerichteter Echtzeitprogrammierung”
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.
Literatur
R. Descartes: Meditationes de prima philosophia, in quibus Dei existentia et animae humanae a corpore distinctio demonstrantur. Paris, 1641.
DIN 66 253-2: Programmiersprache PEARL 90. Berlin-Köln: Beuth Verlag, 1998.
W.A. Halang: Erweiterung und Anwendung von PEARL zur Programmierung speicherprogrammierbarer Steuerungen. In PEARL 90, W. Gerth und P. Baacke (Hrsg.), pp. 12–21. Informatik-Fachberichte 262. Berlin-Heidelberg: Springer-Verlag, 1990.
W.A. Halang und A.D. Stoyenko: Extending PEARL for Industrial Real-Time Applications. IEEE Software, 10, 4, 65–74, 1993.
L. Hatton: Safer C: Developing for High-Integrity and Safety-Critical Systems. McGraw-Hill, 1995.
IEC 61131-3: Programmable Controllers, Part 3: Programming Languages. Genf: Internationale Elektrotechnische Kommission, 1992.
Entwurf IEC 61508-1 (VDE 0801): Funktionale Sicherheit — Sicherheitssysteme. Teil 1: Allgemeine Anforderungen. Genf: Internationale Elektrotechnische Kommission, Dezember 1995.
J.J. Joyce und C.-J.H. Seger (Hrsg.): Higher Order Logic Theorem Proving and Its Applications. Lecture Notes in Computer Science, Vol. 780. Berlin-Heidelberg-New York: Springer-Verlag, 1993.
H. Krebs und U. Haspel: Ein Verfahren zur Software-Verifikation. Regelungstechnische Praxis rtp 26, 73–78, 1984.
P. Schlatter: Konzeption und Realisierung der Abbildung hoher Echtzeitsprachmittel von PEARL auf die Programmierumgebung C/QNX. Diplomarbeit, Universität Stuttgart, Institut für Regelungstechnik und Prozeßautomatisierung, 1993.
K. Tourlas: An Assessment of the IEC 1131-3 Standard on Languages for Programmable Controllers. In SAFECOMP 97, P. Daniel (Hrsg.), pp. 210–219. London: Springer-Verlag, 1997.
VDI/VDE 3696: Herstellerneutrale Konfigurierung von Prozeßleitsystemen. Berlin-Köln: Beuth Verlag, 1995.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Halang, W.A., Frigeri, A.H. (1999). PEARL in der Sicherheitstechnik. In: Holleczek, P. (eds) PEARL 98 Echtzeitsysteme im Netz. Informatik aktuell. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-60022-7_12
Download citation
DOI: https://doi.org/10.1007/978-3-642-60022-7_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-65115-4
Online ISBN: 978-3-642-60022-7
eBook Packages: Springer Book Archive