A method for constructing fault trees from AADL models

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6906 LNCS, Issue , 2011, Pages 243-258

  Li, Yue ^a   Zhu, Yi An ^a   Ma, Chun Yan ^a   Xu, Meng ^a  

^a NORTHWESTERN POLYTECHNICAL UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

COMMON PROBLEMS; DATABASE STRUCTURES; FAULT-TREES; SAFETY CRITICAL SYSTEMS; SAFETY REQUIREMENTS; SYSTEM SAFETY;

PLANT EXTRACTS; SECURITY SYSTEMS; TREES (MATHEMATICS); MODELING LANGUAGES; SAFETY ENGINEERING; TRUSTED COMPUTING;

FAULT TREE ANALYSIS;

EID: 80052761500     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-23496-5_18     Document Type: Conference Paper

References (10)

1. Joshi, A., Whalen, M., Heimdahl, M.: Model-based safety analysis final report. NASA contractor report, NASA/CR-2006-213953 (2006)
2. Joshi, A., Vestal, S., Binns, P.: Automatic Generation of Static Fault Trees from AADL Models. Presented at Workshop on Architecting Dependable Systems of The 37th Annual IEEE/IFIP Int. Conference on Dependable Systems and Networks, Edinburgh, UK (2007)
3. SAE-AS5506. Architecture Analysis and Design Language. SAE (November 2004)
4. SAE-AS5506/1. Architecture Analysis and Design Language Annex vol. 1. SAE (2006)
5. Dehlinger, J., Dugan, J.B.: Analyzing Dynamic Fault Trees Derived from Model-Based System Architectures. Nuclear Engineering and Technology: An International Journal of the Korean Nuclear Society 40(5), 365-374 (2008)
6. Haasl, D.F., Roberts, N.H., Vesely, W.E., Goldberg, F.F.: Fault Tree Handbook, Systems and Reliability Research, Office of Nuclear Regulatory Commission, Washington, DC (1981)
7. Sun, H., Hauptman, M., Lutz, R.R.: Integrating Product-Line Fault Tree Analysis into AADLModels. In: Tenth IEEE Int. Symp. on High Assurance Systems Engineering (HASE 2007), pp. 15-22. IEEE Computer Society, Los Alamitos (2007)
8. Feiler, P.H., Rugina, A.-E.: Dependability Modeling with the Architecture Analysis and Design Language (AADL).Technical report, CMU/SEI-2007-TN-043 (2007)
9. Walker, M., Papadopoulos, Y.: Synthesis and analysis of temporal fault trees with PANDORA: The time of Priority AND gates. Hybrid Systems 2 (June 2008)
10. Walker, M., Papadopoulos, Y.: Qualitative temporal analysis: Towards a full implementation of the Fault Tree Handbook, Control Engineering Practice (November 2008) (in press) (available online)