一种状态事件故障树的定量分析方法

被引：21

作者：

徐丙凤 ^{[1
]}

黄志球 ^{[1
]}

胡军 ^{[1
,2
]}

魏欧 ^{[1
]}

肖芳雄 ^{[1
,3
]}

机构：

[1] 南京航空航天大学计算机科学与技术学院

[2] 南京大学计算机软件新技术国家重点实验室

[3] 广西财经学院信息与统计学院

来源：

电子学报 | 2013年 / 41卷 / 08期

关键词：

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

D O I：

暂无

中图分类号：

V267 [航空器的维护与修理]; TP391.1 [文字信息处理]; O211.62 [马尔可夫过程];

学科分类号：

摘要：

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

引用

页码：1480 / 1486

页数：7

共 9 条

[1] 基于XYZ/ADL的Web服务组合描述与验证 [J].

张广泉 ;

戎玫 ;

朱雪阳 ;

何亚丽 ;

石慧娟 .

电子学报, 2011, 39(S1) (S1) :86-93

[2] 模型检测基于概率时间自动机的反例产生研究 [J].

张君华 ;

黄志球 ;

曹子宁 .

计算机研究与发展, 2008, (10) :1638-1645

[3] 面向模型检验的UML状态机语义 [J].

周颖 ;

郑国梁 ;

李宣东 .

电子学报, 2003, (S1) :2091-2095

[4] 高可信软件工程技术 [J].

陈火旺 ;

王戟 ;

董威 .

电子学报, 2003, (S1) :1933-1938

[5]

A Rigorous, Compositional, and Extensible Framework for Dynamic Fault Tree Analysis[J] . Boudali,Hichem,Crouzen,Pepijn,Stoelinga,Marielle.IEEE Transactions on Dependable and Secure Computing . 2010 (2)

[6] A survey of component based system quality assurance and assessment [J].

Mahmood, S ;

Lai, R ;

Kim, YS ;

Kim, JH ;

Park, SC ;

Oh, HS .

INFORMATION AND SOFTWARE TECHNOLOGY, 2005, 47 (10) :693-707

[7] A dynamic fault tree [J].

Cepin, M ;

Mavko, B .

RELIABILITY ENGINEERING & SYSTEM SAFETY, 2002, 75 (01) :83-91

[8] A fault tree analysis strategy using binary decision diagrams [J].

Reay, KA ;

Andrews, JD .

RELIABILITY ENGINEERING & SYSTEM SAFETY, 2002, 78 (01) :45-56

[9]

Model-checking algorithms for continuous-time Markov chains .2 Baier C,Haverkort B,Hermanns H et al. IEEE Trans- actions on Software Engineering . 2003

← 1 →