Automated Qualification of a Safety Critical System
- A method for automated qualification of a safety critical system including a plurality of components is provided. A functional safety behavior of each component is represented by an associated component fault tree element. The method includes automatically performing a failure port mapping of output failure modes to input failure modes of component fault tree elements based on a predetermined generic fault type data model stored in a database.
| Author: | Kai Höfig, Marc Zeller |
|---|---|
| Document Type: | Other |
| Language: | English |
| Publication Year: | 2016 |
| Contributing Corporation: | Siemens AG |
| Tag: | Automated qualification; Fault trees; Safety-critical systems |
| Note: | US Patent App. 14/644,119 |
| faculties / departments: | Fakultät für Informatik |
| Dewey Decimal Classification: | 0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 000 Informatik, Informationswissenschaft, allgemeine Werke |
