Volltext-Downloads (blau) und Frontdoor-Views (grau)
  • search hit 2 of 3
Back to Result List

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.

Export metadata

Additional Services

Share in Twitter Search Google Scholar Check availability


Show usage statistics
Document Type:Conference Object
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