IMA重构的功能危害分析方法研究

摘要

传统综合模块化航电(IMA)重构危害分析方法是一种静态的系统结构危害分析方法,无法对IMA重构动态的失效情形进行危害分析,经典Petri网的分析方法在进行系统动态运行危害分析时需要生成所有可达图,容易导致可达图的状态空间过大.为此,提出一种新的IMA重构危害分析方法.该方法基于IMA重构控制进程的AADL模型,将重构控制流模型转化为Petri网模型,利用Petri网的向回关键态算法,并基于Petri网的可达性分析方法对IMA重构功能的危害进行分析.分析结果表明,该方法不仅解决了IMA重构动态运行时的危害问题,而且克服了传统Petri网可达性分析带来的状态爆炸,能识别出引起高风险状态的关键控制要素.