SPHINX - Platform for the Realization of complex Safety Functions

Authors

  • Susann Haase BASF

DOI:

https://doi.org/10.17560/atp.v54i01-02.204

Keywords:

Model based safety function / Engineering environment / Failsafe programmable logic controller

Abstract

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

2012-01-01

Most read articles by the same author(s)