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

作     者：刘畅 谷涛 周庆 王世海 李泽林 LIU Chang GU Tao ZHOU Qing WANG Shihai LI Zelin

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

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

出 版 物：《北京航空航天大学学报》 (Journal of Beijing University of Aeronautics and Astronautics)

年 卷 期：2016年第42卷第9期

页      码：1884-1891页

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

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

学科分类：07[理学] 08[工学] 082501[082501] 070206[070206] 0802[工学-机械学] 0825[工学-环境科学与工程类] 0702[理学-物理学类] 

核心收录：

D　O　I：10.13700/j.bh.1001-5965.2015.0562

馆 藏 号：203189259...