Abstract
To analyze the various non-functional properties of the AADL (Architecture Analysis and Design Language) model, many model transformation processes transform different AADL elements to different Petri nets. Unifying these transformation processes into a single process can greatly facilitate architects analyzing multiple properties simultaneously. The difficulty is that the specific elements in specific Petri nets lead to different transformation rules of different transformation processes. Some studies transformed AADL model to Petri Net Markup Language (PNML), the interexchange format of different kinds of Petri nets, to realize the unification, but only supported the transformation of part of the AADL architecture model elements. This paper proposes a framework for analysis of non-functional properties of AADL model, improving the unification work by supporting more AADL elements transforming to PNML. We establish the transformation rules mapping elements in AADL error model and behavior model to PNML. In addition, we transform AADL properties to tool specific information in PNML to generate specific Petri nets.
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
Similar content being viewed by others
References
Architecture Analysis and Design Language (AADL) (2017). https://doi.org/10.4271/AS5506C
Rugina AE, Kanoun K, Kaâniche M (2007) A system dependability modeling framework using AADL and GSPNs. In: de Lemos R, Gacek C, Romanovsky A (eds) Architecting dependable systems IV, vol 4615. LNCS. Springer, Heidelberg, pp 14–38
SAE Architecture Analysis and Design Language (AADL) (2015) Annex volume 1: annex A: ARINC653 annex, annex C: code generation annex, annex E: error model annex. https://doi.org/10.4271/AS5506/1A
Rugina AE, Kanoun K, Kaâniche M (2008) The ADAPT tool: from AADL architectural models to stochastic petri nets through model transformation. In: 7th European dependable computing conference, pp 85–90
Renault X, Kordon F, Hugues J (2009) Adapting models to model checkers, a case study: analysing AADL using time or colored petri nets. In: 2009 IEEE/IFIP international symposium on rapid system prototyping 2009, pp 26–33
Liu C, Gu T, Zhou Q, Wang S, Li Z (2016) Model transformation method from AADL2ECPN and its application in IMA. J Beijing Univ Aeronaut Astronaut
Billington J, Christensen S, van Hee K, Kindler E, Kummer O, Petrucci L, Post R, Stehno C, Weber M (2003) The petri net markup language: concepts, technology, and tools. In: van der Aalst WMP, Best E (eds) Applications and theory of petri nets 2003, vol 2679. LNCS. Springer, Heidelberg, pp 483–505
Reza H, Chatterjee A (2014) Mapping AADL to petri net tool-sets using PNML framework. J Softw Eng Appl 7:920–933
PNML Supporting Tool. http://www.pnml.org/tools.php
Architecture Analysis and Design Language (AADL) (2017) Annex D: behavior model annex. https://doi.org/10.4271/AS5506/3
Acknowledgements
This paper is partly supported by the Preresearch of Civil Spacecraft Technology (No. B0204).
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Singapore Pte Ltd.
About this paper
Cite this paper
Yuan, C., He, H., Zhan, P., Chen, T. (2020). A Framework for Analysis of Non-functional Properties of AADL Model Based on PNML. In: Liang, Q., Wang, W., Liu, X., Na, Z., Jia, M., Zhang, B. (eds) Communications, Signal Processing, and Systems. CSPS 2019. Lecture Notes in Electrical Engineering, vol 571. Springer, Singapore. https://doi.org/10.1007/978-981-13-9409-6_313
Download citation
DOI: https://doi.org/10.1007/978-981-13-9409-6_313
Published:
Publisher Name: Springer, Singapore
Print ISBN: 978-981-13-9408-9
Online ISBN: 978-981-13-9409-6
eBook Packages: EngineeringEngineering (R0)