AADL2ECPN模型转换方法及其在IMA上的应用

在综合模块化航空电子（IMA）系统应用集成的过程中，对IMA系统的资源配置建模和安全性分析至关重要。首先利用模型转换的方法，提出一套从架构分析和设计语言（AADL）模型到扩展着色Petri 网（ECPN）模型的转换规则，将AADL模型转换为ECPN模型，并且确保在模型转换过程中不丢失任何关键资源建模元素；然后基于目标模型进行后续的安全性分析研究；最后用一个简单例子演示如何应用提出的模型转换方法。结果表明，AADL2ECPN模型转换方法分析IMA系统安全性的可行性。

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.