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

• 作者: 王立松 陈龙
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 综合模块化航电 重构 Petri网模型 危害分析 关键态算法
• 年，卷（期）: 2016,（6）
• 所属期刊栏目: 安全技术
• 页码范围: 151-155,160
• 页数: 6页
• 分类号: TP391
• 字数: 3562字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2016.06.026

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈龙	南京航空航天大学计算机科学与技术学院	27	257	7.0	16.0
2	王立松	南京航空航天大学计算机科学与技术学院	64	442	11.0	19.0