Accession Number : ADA610294


Title :   AADL Fault Modeling and Analysis Within an ARP4761 Safety Assessment


Descriptive Note : Final rept.


Corporate Author : CARNEGIE-MELLON UNIV PITTSBURGH PA SOFTWARE ENGINEERING INST


Personal Author(s) : Delange, Julien ; Feiler, Peter ; Gluch, David P ; Hudak, John


Full Text : https://apps.dtic.mil/dtic/tr/fulltext/u2/a610294.pdf


Report Date : Oct 2014


Pagination or Media Count : 85


Abstract : SAE Standard Aerospace Recommended Practice (ARP) 4761, Guidelines and Methods for Conducting the Safety Assessment Process on Civil Airborne Systems and Equipment, provides general guidance on evaluating the safety aspects of a design and identifies processes, methods, and tools to support the evaluation. The Architecture Analysis and Design Language (AADL) Error Model Annex defines features to enable specification of risk mitigation methods in an architecture and assessments of system properties such as safety and reliability. This report describes how the AADL Error Model Annex supports the safety assessment processes and techniques presented in SAE Standard ARP4761. It provides a mapping between constructs of the AADL Error Model Annex and the assessment techniques identified in ARP4761 and presents examples of using the Error Model Annex with those techniques. The processes and techniques of the ARP4761 standard that this report addresses are the Functional Hazard Assessment, Preliminary System Safety Assessment, System Safety Assessment, Fault Tree Analysis, Failure Modes and Effects Analysis, Markov Analysis, and Dependence Diagrams, also referred to as Reliability Block Diagrams.


Descriptors :   *SAFETY , AIRCRAFT , ARCHITECTURE , AVIONICS , FAULT TREE ANALYSIS , RELIABILITY


Subject Categories : Aircraft


Distribution Statement : APPROVED FOR PUBLIC RELEASE