Model transformation method from AADL2ECPN and its application in IMA

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.