北京航空航天大学学报 ›› 2016, Vol. 42 ›› Issue (9): 1884-1891.doi: 10.13700/j.bh.1001-5965.2015.0562

• 论文 • 上一篇    下一篇

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

刘畅1, 谷涛1, 周庆1, 王世海2, 李泽林2   

  1. 1. 中国航空无线电电子研究所 航空电子系统综合技术重点实验室, 上海 200241;
    2. 北京航空航天大学 可靠性与系统工程学院, 北京 100083
  • 收稿日期:2015-09-01 出版日期:2016-09-20 发布日期:2016-02-18
  • 通讯作者: 周庆,Tel.:021-33296652,E-mail:zhou_qing@careri.com E-mail:zhou_qing@careri.com
  • 作者简介:刘畅,男,硕士,工程师。主要研究方向:航空电子系统架构设计与优化。Tel.:021-33296655,E-mail:lhqforever@foxmail.com;谷涛,男,学士,研究员。主要研究方向:航空电子系统综合及系统体系结构;周庆,男,博士,高级工程师。主要研究方向:软件测试、软件可靠性、系统设计优化、软件工程。Tel.:021-33296652,E-mail:zhou_qing@careri.com
  • 基金资助:
    国防基础科学研究计划(JCKY2013205C003)

Model transformation method from AADL2ECPN and its application in IMA

LIU Chang1, GU Tao1, ZHOU Qing1, WANG Shihai2, LI Zelin2   

  1. 1. Key Laboratory of Synthetic Technology of Avionics, China National Aeronautical Radio Electronics Research Institute, Shanghai 200241, China;
    2. School of Reliability and Systems Engineering, Beijing University of Aeronautics and Astronautics, Beijing 100083, China
  • Received:2015-09-01 Online:2016-09-20 Published:2016-02-18
  • Supported by:
    National Defense Basic Scientific Research Program of China (JCKY2013205C003)

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

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

Abstract: 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.

Key words: architecture analysis and design language (AADL), colored Petri net (CPN), resource allocation, integrated modular avionics (IMA), model transformation

中图分类号: 


版权所有 © 《北京航空航天大学学报》编辑部
通讯地址:北京市海淀区学院路37号 北京航空航天大学学报编辑部 邮编:100191 E-mail:jbuaa@buaa.edu.cn
本系统由北京玛格泰克科技发展有限公司设计开发