Abstract
System safety analysis based on fault tree has been widely used for providing assurance to the stringent safety requirement of safety-critical systems. Generating fault trees from models described in AADL, a promising standard language for modeling complicated embedded system, would realize the automation of system safety analysis which is traditionally performed manually. This paper proposes a whole method for constructing fault trees from AADL models, whose main idea is to extract fault information from AADL models by dynamically tracing the possible fault sources of the specified fault objective, store them into a proposed database structure, and then construct fault trees based on the extracted fault information in the database structure. Further, the challenge posed by the common problems of deadlock and fault tree sharing is resolved by one algorithm called Sharing_Label in our method. We prove the correctness of the whole method theoretically.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Joshi, A., Whalen, M., Heimdahl, M.: Model-based safety analysis final report. NASA contractor report, NASA/CR-2006-213953 (2006)
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)
SAE-AS5506. Architecture Analysis and Design Language. SAE (November 2004)
SAE-AS5506/1. Architecture Analysis and Design Language Annex vol. 1. SAE (2006)
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)
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)
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)
Feiler, P.H., Rugina, A.-E.: Dependability Modeling with the Architecture Analysis and Design Language (AADL).Technical report, CMU/SEI-2007-TN-043 (2007)
Walker, M., Papadopoulos, Y.: Synthesis and analysis of temporal fault trees with PANDORA: The time of Priority AND gates. Hybrid Systems 2 (June 2008)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Li, Y., Zhu, Ya., Ma, Cy., Xu, M. (2011). A Method for Constructing Fault Trees from AADL Models. In: Calero, J.M.A., Yang, L.T., Mármol, F.G., García Villalba, L.J., Li, A.X., Wang, Y. (eds) Autonomic and Trusted Computing. ATC 2011. Lecture Notes in Computer Science, vol 6906. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-23496-5_18
Download citation
DOI: https://doi.org/10.1007/978-3-642-23496-5_18
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-23495-8
Online ISBN: 978-3-642-23496-5
eBook Packages: Computer ScienceComputer Science (R0)