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

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

单位：南京航空航天大学计算机科学与技术学院; 江苏南京210016; 南京大学计算机软件新技术国家重点实验室; 江苏南京210093; 广西财经学院信息与统计学院; 广西南宁530003