TY - JOUR
T1 - Model transformation method from AADL2ECPN and its application in IMA
AU - Liu, Chang
AU - Gu, Tao
AU - Zhou, Qing
AU - Wang, Shihai
AU - Li, Zelin
N1 - Publisher Copyright:
© 2016, Editorial Board of JBUAA. All right reserved.
PY - 2016/9/1
Y1 - 2016/9/1
N2 - Resource allocation modeling and safety analysis of integrated modular avionics (IMA) are essential in the process of IMA application integration. According to model transformation method, a set of transformation rules from the architecture analysis and design language (AADL) to the extended colored Petri net (ECPN) is proposed. Using the model transformation rules, the AADL model is transformed into the ECPN for subsequent safety analysis, and any of critical resource elements will not be lost in the model transformation process. Finally, a simple example is employed to show how to apply the model transformation method. Through the experimental results, the feasibility of the proposed method in IMA safety analysis is confirmed.
AB - Resource allocation modeling and safety analysis of integrated modular avionics (IMA) are essential in the process of IMA application integration. According to model transformation method, a set of transformation rules from the architecture analysis and design language (AADL) to the extended colored Petri net (ECPN) is proposed. Using the model transformation rules, the AADL model is transformed into the ECPN for subsequent safety analysis, and any of critical resource elements will not be lost in the model transformation process. Finally, a simple example is employed to show how to apply the model transformation method. Through the experimental results, the feasibility of the proposed method in IMA safety analysis is confirmed.
KW - Architecture analysis and design language (AADL)
KW - Colored Petri net (CPN)
KW - Integrated modular avionics (IMA)
KW - Model transformation
KW - Resource allocation
UR - https://www.scopus.com/pages/publications/84990246240
U2 - 10.13700/j.bh.1001-5965.2015.0562
DO - 10.13700/j.bh.1001-5965.2015.0562
M3 - 文章
AN - SCOPUS:84990246240
SN - 1001-5965
VL - 42
SP - 1884
EP - 1891
JO - Beijing Hangkong Hangtian Daxue Xuebao/Journal of Beijing University of Aeronautics and Astronautics
JF - Beijing Hangkong Hangtian Daxue Xuebao/Journal of Beijing University of Aeronautics and Astronautics
IS - 9
ER -