Abstract
Architecture analysis and design language (AADL) is an important method for architecture modeling, performance analysis and verification in embedded field. And the system reliability is an important attribute of software quality metrics in embedded system. In this paper, we first established an AADL-based reliability model to describe the system functional requirements and the reliability information of the runtime embedded system. Then, by analyzing the differences of syntax, semantics and mathematical presentation between the AADL-based reliability model and the SPN model, we present the rules and methods to automatically transform the AADL-based reliability model to the stochastic Petri net (SPN) model, which is convenient for system designers to assess and measure system reliability in the design phase of system development. Finally, an example of model transformation process for an automaton in aviation systems is shown to verify the effectiveness of model transformation rules and methods.
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
References
Object Management Group, MDA guide version 1.0.1. OMG/03-06-01 (2003)
SAE-AS5506, Architecture Analysis and Design Language. Society of Automotive Engineers. www.aadl.info (2004)
SAE-AS5506_1, SAE Architecture Analysis and Design Language Annex Volume 1. Society of Automotive Engineers. www.aadl.info (2006)
Mura, I., Bondavalli, A.: Markov regenerative stochastic Petri nets to model and evaluate phased mission systems dependability. IEEE Trans. Comput. 50(12), 1337–1351 (2001). (IEEE Press, New York)
Dugan, J.B., Bavuso, S.J., Boyd, M.A.: Fault trees and Markov models for reliability analysis of fault-tolerant digital systems. Reliab. Eng. Syst. Saf. 39(3), 291–307 (1993). (Elsevier LTD, England)
Center for Advanced Computing and Communication (CACC), Department of Electrical and Computer Engineering, Duke University. SPNP User’s Manual (1999)
Clark, J.A., Pradhan, D.K.: Fault injection: a method for validating computer-system dependability. IEEE Comput. 28(6), 47–56 (1995). (IEEE Press, New York)
Shu, Z., Li, D., Hu, Y., Ye, F., Wan, J.: From models to code: automatic development process for embedded control system. In: IEEE International Conference on Network, Sensor and Control, pp. 660−665. IEEE Press, New York (2008)
Liu, J.J., Zhong, S., Ye, H.: Reliability modeling for airborne equipment system using AADL. Aeronaut. Comput. Tech. 39(2), 90–94 (2009). (Aeronautics Computing Technique Research Institute, Xi’an)
Wang, X.B., Wu, Q.Y., Shi, D.X.: Model transformation approaches in MDA. Comput. Eng. Sci. 28(11), 133–135 (2006). (National University of Defense Technology, Changsha)
Acknowledgements
The author would like to thank the sponsors of the Scientific Research Plan Project of Shaanxi Education Department of China under Grant No. 09JK642, Doctoral Fund No. 116-210912 and Scientific Research Plan Project of Xi’an Technology University under Grant No. 116-210907.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Institute for Computer Sciences, Social Informatics and Telecommunications Engineering
About this paper
Cite this paper
Jianjun, L., Haining, M., Yinglan, H., Shan, Z. (2014). Study on the Transformation Method of AADL-Based Reliability Model in the Embedded System. In: Leung, V., Chen, M. (eds) Cloud Computing. CloudComp 2013. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, vol 133. Springer, Cham. https://doi.org/10.1007/978-3-319-05506-0_27
Download citation
DOI: https://doi.org/10.1007/978-3-319-05506-0_27
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-05505-3
Online ISBN: 978-3-319-05506-0
eBook Packages: Computer ScienceComputer Science (R0)