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

Model transformation method from AADL2ECPN and its application in IMA

作　　者：刘畅[1] 谷涛[1] 周庆[1] 王世海[2] 李泽林[2] LIU Chang GU Tao ZHOU Qing WANG Shihai LI Zelin(Key Laboratory of Synthetic Technology of Avionics, China National Aeronautical Radio Electronics Research Institute, Shanghai 200241, China School of Reliability and Systems Engineering, Beijing University of Aeronautics and Astronautics, Beijing 100083, China)

机构地区：[1]中国航空无线电电子研究所航空电子系统综合技术重点实验室 [2]北京航空航天大学可靠性与系统工程学院

出　　处：《北京航空航天大学学报》2016年第9期1884-1891,共8页Journal of Beijing University of Aeronautics and Astronautics

基　　金：国防基础科学研究计划(JCKY2013205C003)~~

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

关 键 词：架构分析和设计语言(AADL) 着色Petri网(CPN) 资源分配 综合模块化航空电子(IMA) 模型转换 

分 类 号：V221.3[航空宇航科学与技术—飞行器设计] TB553[理学—物理]