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

来源：软件学报杂志2015年第2期北京时间：

作者：徐丙凤,黄志球,胡军,魏欧,李伟湋

单位：徐丙凤，南京航空航天大学 计算机科学与技术学院, 江苏 南京 21001611,黄志球，南京航空航天大学 计算机科学与技术学院, 江苏 南京 21001602,胡军，南京航空航天大学 计算机科学与技术学院, 江苏 南京 210016 ;计算机软件新技术国家重点实验室南京大学, 江苏 南京 21002303,魏欧，南京航空航天大学 计算机科学与技术学院, 江苏 南京 21001604,李伟湋，南京航空航天大学 计算机科学与技术学院, 江苏 南京 210016 ;南京航空航天大学 航天学院, 江苏 南京 21001605

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

关键词：状态事件故障树;交互马尔可夫链;平均时间分析;形式化方法

基金资助：国家自然科学基金(61272083, 61170043); 回国留学人员科研启动基金(SEM 2012); 中央高校基本科研业务费专项资金(CXZZ11_0218, NS2012129); 江苏省普通高校研究生科研创新计划(CXZZ11_0218)