SPHINX - Platform for the Realization of complex Safety Functions
DOI:
https://doi.org/10.17560/atp.v54i01-02.204Keywords:
Model based safety function / Engineering environment / Failsafe programmable logic controllerAbstract
A method to fulfill IEC 61508 during the Implementation of model based safety functions
An innovative tool is introduced for the implementation of complex model based safety functions. It consists of a programming environment with an understandable, problem oriented syntax and generates C-Code automatically. In addition, the tool realizes failsafe strategies, generates tests which are conducted during the runtime, and allows a semi-automatic branch coverage test. The tool can be used to comply with the standard IEC 61508 when implementing safety functions as software.
References
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
Published
Issue
Section
License
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.