Title :
Some Improvements on the Rules for Exchanging Between Error Model Annex and AADL to Fault Tree
Author :
Quan Zhang ; Shihai Wang ; Bin Liu
Author_Institution :
Sci. & Technol. on Reliability & Environ. Eng. Lab., Beihang Univ., Beijing, China
Abstract :
AADL (The architecture analysis and design language) can be used to describe the reliability of the safety critical system. In this paper, we, firstly, make an introduction on the AADL dependability model and summary the basic rules for translating from Error Model Annex (EMA) of AADL to Fault tree, and then we make a series of improvements on the transition rules from EMA to Fault tree in terms of various AADL architectures. There are a few of examples are provided for demonstrating how to use our modifications.
Keywords :
fault trees; safety-critical software; software architecture; software fault tolerance; AADL architectures; AADL dependability model; EMA; architecture analysis and design language; error model annex; fault tree; safety critical system reliability; transition rules; Analytical models; Computational modeling; Computer architecture; Fault trees; Logic gates; Propagation losses; Reliability; AADL; Dependability model; Fault tree; Model transformation; SCS;
Conference_Titel :
Information Technology and Applications (ITA), 2013 International Conference on
Conference_Location :
Chengdu
Print_ISBN :
978-1-4799-2876-7
DOI :
10.1109/ITA.2013.84
