首页> 中文期刊> 《北京航空航天大学学报》 >AADL2ECPN模型转换方法及其在IMA上的应用

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

         

摘要

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

著录项

相似文献

  • 中文文献
  • 外文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号