文献类型：期刊文章

作　　者：徐丙凤[1] 黄志球[1] 胡军[1,2] 魏欧[1] 肖芳雄[1,3]

机构地区：[1]南京航空航天大学计算机科学与技术学院,江苏南京210016 [2]南京大学计算机软件新技术国家重点实验室,江苏南京210093 [3]广西财经学院信息与统计学院,广西南宁530003

出　　处：《电子学报》

基　　金：江苏省研究生培养创新工程(No.CXZZ11-0218);中央高校基本科研业务费专项资金(No.CXZZ11-0218;No.NS2012129);国家自然科学基金(No.61272083;No.61170043;No.61100034;No.61262002);回国留学人员科研启动基金(2012)

年　　份：2013

卷　　号：41

期　　号：8

起止页码：1480-1486

语　　种：中文

收录情况：BDHX、BDHX2011、CAS、CSA、CSA-PROQEUST、CSCD、CSCD2013_2014、EI(收录号：20134917057645)、IC、INSPEC、JST、RCCSE、RSC、SCOPUS、ZGKJHX、核心刊

摘　　要：状态事件故障树是一种适合于描述复杂系统中失效因果链的建模技术,对系统失效结果的概率特性进行定量分析是获得系统安全性参数的一种重要途径.由于状态事件故障树是半形式化模型,需先精确描述其语义才能进行定量分析.为此,本文提出一种基于交互马尔可夫链的状态事件故障树定量分析方法.首先,通过将交互马尔可夫链的交互动作精化为输入和输出动作,提出接口交互马尔可夫链模型用于状态事件故障树的形式语义描述.然后,在此形式语义的基础上设计了一种状态事件故障树定量分析方法.最后给出了一个飞机起落架收放系统的状态事件故障树建模及概率特性定量分析的实例研究.

关 键 词：安全性分析  状态事件故障树  交互马尔可夫链  定量分析  形式化方法

分 类 号：TP311]