Komplexe Schutzfunktionen mit SPHINX realisieren
DOI:
https://doi.org/10.17560/atp.v54i01-02.204Schlagworte:
Modellbasierte Schutzfunktionen, Engineering-Umgebung, Sicherheitsgerichtete speicherprogrammierbare Steuerungen, Model based safety function, Engineering environment, Failsafe programmable logic controllerAbstract
In diesem Beitrag wird ein innovatives Werkzeug zur Implementierung von komplexen modellbasierten Schutzfunktionen vorgestellt. Es besteht aus einer Programmierumgebung, auf der eine problemorientierte, leicht verständliche Syntax genutzt wird. Aus dieser Beschreibung generiert es automatisch C-Code. Außerdem enthält das Werkzeug Strategien zur Fehlervermeidung, erzeugt Laufzeit-Tests und ermöglicht einen halbautomatisierten Zweigüberdeckungstest. Dieses Werkzeug lässt sich bei der Implementierung von Schutzfunktionen mittels Software als Basis zur Erfüllung der IEC 61508 nutzen.Literaturhinweise
Börcsök, J.: Funktionale Sicherheit. Hüthig Verlag 2006
Liggesmeyer, P.: Software-Qualität. Spektrum Akademischer Verlag 2002
IEC 61508-3 EN: Functional safety of electrical/electronic/programmable electronic safety related systems - Part 3: Software Requirements. 2010
IEC 61131-3 EN: Programmable controllers - Part 3: Programming languages. 2003
Dniestrowski, A., Guillaume, J. M., Mortier, R.: Software engineering in avionics applications. In: ICSE '78 Proceedings of the 3rd international conference on Software engineering, S. 124-131. 1978
Dold, A., Trapp, M.: Herausforderungen und Erfahrungen eines OEM bei der Gestaltung sicherheitsgerechter Prozesse. In: GI Jahrestagung Heft 2 / 2007, S. 536-540. 2007
Downloads
Veröffentlicht
Ausgabe
Rubrik
Lizenz
Die Zeitschrift und alle in ihr enthaltenen Beiträge und Abbildungen sind urheberrechtlich geschützt. Jede Verwertung außerhalb der engen Grenzen des Urheberrechtsgesetzes ist ohne Zustimmung des Verlages unzulässig und strafbar. Das gilt insbesondere für Vervielfältigungen, Übersetzungen, Mikroverfilmungen und die Einspeicherung und Bearbeitung in elektronischen Systemen. Auch die Rechte der Wiedergabe durch Vortrag, Funk- und Fernsehsendung, im Magnettonverfahren oder ähnlichem Wege bleiben vorbehalten.
