针对IMA动态重构过程的建模方法
在综合模块化航空电子系统(IMA)相较于以前的航电系统,硬件集成度更高,综合的功能更多,其软件不再驻留在固定硬件上,导致系统配置灵活性增强,因此进行动态重构可以极大提高资源利用率和提高飞机任务性能.但是,在发生故障或改变任务时进行动态重构的一个重要问题亟待解决,就是动态重构过程本身的安全性问题.由于过程较复杂,所以很难对其安全性进行分析.而架构设计与分析语言(AADL)对实时嵌入式系统建模分析十分适合,因此本文提出一种结合AADL中的模态与行为附件,错误附件的动态重构建模方法,便于今后对动态重构过程的分析.
综合模块化航空电子系统 动态重构 建模方法 安全性
鞠宏艳 王世海 赵廷弟
北京航空航天大学,北京
国内会议
上海
中文
343-347
2016-04-19（万方平台首次上网日期，不代表论文的发表时间）