TY  - CHAP
U1  - Konferenzveröffentlichung
A1  - Steiner, Holger
A1  - Asteroth, Alexander
A1  - Jung, Norbert
A1  - Kamin, Volker
A1  - Schwaneberg, Oliver
T1  - Safety Assessment of a Material Classifying Safety Sensor using ISO 13849-1 supplemented by Model Checking
T2  - 9. Internationales Symposium des TÜV Rheinland: Funktionale Sicherheit in industriellen Anwendungen
N2  - Microcontroller-based sensor systems offer great opportunities for the implementation of safety features for potentially dangerous machinery. However, in general they are difficult to assess with regard to their reliability and failure rate. This paper describes the safety assessment of hardware and software of a new and innovative sensor system. The hardware is assessed by standardized methods according to norm EN ISO 13849-1, while the use of model checking is presented as an approach to solve the problem of validating the software.
Y1  - 2010
ER  -