10.3969/j.issn.1000-3428.2016.06.026
IMA重构的功能危害分析方法研究
传统综合模块化航电(IMA)重构危害分析方法是一种静态的系统结构危害分析方法,无法对IMA重构动态的失效情形进行危害分析,经典Petri网的分析方法在进行系统动态运行危害分析时需要生成所有可达图,容易导致可达图的状态空间过大.为此,提出一种新的IMA重构危害分析方法.该方法基于IMA重构控制进程的AADL模型,将重构控制流模型转化为Petri网模型,利用Petri网的向回关键态算法,并基于Petri网的可达性分析方法对IMA重构功能的危害进行分析.分析结果表明,该方法不仅解决了IMA重构动态运行时的危害问题,而且克服了传统Petri网可达性分析带来的状态爆炸,能识别出引起高风险状态的关键控制要素.
综合模块化航电、重构、Petri网模型、危害分析、关键态算法
42
TP391(计算技术、计算机技术)
国家“973”计划基金资助项目“面向大型飞机综合化航空电子系统安全性基础问题研究”2014CB744900
2016-08-19(万方平台首次上网日期,不代表论文的发表时间)
共6页
151-155,160