• search hit 25 of 148
Back to Result List

Automated Recertification of a Safety Critical System

  • A method for automated recertification of a safety critical system with at least one altered functionality is provided. The method includes providing a failure propagation model of the safety critical system. The method also includes updating the failure propagation model of the safety critical system according to the at least one altered functionality using inner port dependency traces between inports and outports of a failure propagation model element representing the at least one altered functionality. The method includes calculating top events of the updated failure propagation model, and comparing the calculated top events with predetermined system requirements to recertify the safety critical system.

Export metadata

Additional Services

Search Google Scholar
Metadaten
Author:Kai Höfig
Document Type:Other
Language:English
Publication Year:2016
Tag:Automated recertification; Safety-critical systems
Note:
US Patent App. 14/586,818
faculties / departments:Fakultät für Informatik
Dewey Decimal Classification:0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 000 Informatik, Informationswissenschaft, allgemeine Werke