Paper Info
Title
Towards a unified model-based safety assessment
Abstract
The increase of complexity in aircraft systems demands for enhanced analysis techniques. Methods are required that leverage the burden of their application by reusing existing design and process information and by enforcing the reusability of analyses results allowing early identification of design's weak points and check of design alternatives.This report elaborates on a method that assumes a system specification in an industrial standard notation and allows to perform several formal safety analyses. Based on a collection of failure models and means of specifying safety requirements, the techniques produce results along the lines of traditional methods. We show how to combine traditional techniques, required by the AerospaceRecommendedPractice (SAE-ARP) standards, likeFaultTree Analysis, Failure Mode and Effect Analysis and Common Cause Analysis and also how to automate most of the analysis activities. The methods described in this paper can be used as means to support the Certification process.
Year
DOI
Venue
2006
10.1007/11875567_21
SAFECOMP
Keywords
Field
DocType
formal safety analysis,design alternative,analyses result,effect analysis,unified model-based safety assessment,existing design,analysis activity,certification process,common cause analysis,enhanced analysis technique,likefaulttree analysis,unified model,failure mode and effect analysis
Failure mode and effects analysis,Reuse,Computer science,Formal methods,Fault tree analysis,System requirements specification,Design process,Certification,Reliability engineering,Reusability
Conference
Volume
ISSN
ISBN
4166
0302-9743
3-540-45762-3
Citations 
PageRank 
References 
8
0.84
7
Authors
6
Name
Order
Citations
PageRank
Thomas Peikenkamp1658.17
Antonella Cavallo2352.71
Laura Valacca3342.28
Eckard Böde4444.57
Matthias Pretzer581.18
E. Moritz Hahn6161.68