一种状态事件故障树的时间特性分析方法?

• 作者: 徐丙凤 李伟湋 胡军 魏欧 黄志球
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 状态事件故障树 交互马尔可夫链 平均时间分析 形式化方法
• 年，卷（期）: 2015,（2）
• 页码范围: 427-446
• 页数: 20页
• 分类号: TP311
• 字数: 14750字
• 语种: 中文
• DOI: 10.13328/j.cnki.jos.004562

摘要

状态事件故障树是一种适合于描述构件化嵌入式系统失效因果链的建模技术，其顶层事件描述失效发生的结果。对顶层事件发生的平均时间进行分析，是获得系统平均失效时间参数的一种有效方法，可为系统的安全性评估提供支持。由于状态事件故障树缺乏严格语义，使得必须先对其进行形式化描述才能进行定量分析。为此，提出了一种基于交互马尔可夫链的状态事件故障树时间特性分析方法。首先，精化交互马尔可夫链的交互动作，建立接口交互马尔可夫链模型，并基于该模型对状态事件故障树的构件和逻辑门进行形式语义描述；其次，通过并行组合构件与逻辑门的形式语义模型，得到整个状态事件故障树的形式语义模型，并在该过程中使用弱互模拟对状态空间进行约简；然后，基于状态事件故障树的形式语义给出顶层事件发生的平均时间计算方法；最后，给出飞机着陆雷达控制系统和喷淋防火系统的状态事件故障树时间特性分析的实例研究。为构件化系统失效时间特性的分析提供了一种新方法。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	黄志球	南京航空航天大学计算机科学与技术学院	183	1755	20.0	33.0
2	魏欧	南京航空航天大学计算机科学与技术学院	31	153	7.0	11.0
3	胡军	南京航空航天大学计算机科学与技术学院	41	358	10.0	18.0
5	徐丙凤	南京航空航天大学计算机科学与技术学院	16	297	9.0	16.0
6	李伟湋	南京航空航天大学计算机科学与技术学院	6	87	3.0	6.0