Safety Assessment of a Material Classifying Safety Sensor using ISO 13849-1 supplemented by Model Checking
- 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.
Document Type: | Conference Object |
---|---|
Language: | English |
Author: | Holger Steiner, Alexander Asteroth, Norbert Jung, Volker Kamin, Oliver Schwaneberg |
Parent Title (Multiple languages): | 9. Internationales Symposium des TÜV Rheinland: Funktionale Sicherheit in industriellen Anwendungen |
Publication year: | 2010 |
Departments, institutes and facilities: | Fachbereich Informatik |
Institut für Sicherheitsforschung (ISF) | |
Dewey Decimal Classification (DDC): | 0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik |
Entry in this database: | 2015/08/21 |