A Method for Quantitative Analysis of State/Event Fault Tree

XU Bing-feng; HUANG Zhi-qiu; HU Jun; WEI Ou; XIAO Fang-xiong

doi:10.3969/j.issn.0372-2112.2013.08.005

您当前的位置：

首页 >

文章列表页 >

A Method for Quantitative Analysis of State/Event Fault Tree

更新时间：2025-07-16

- A Method for Quantitative Analysis of State/Event Fault Tree
- Acta Electronica Sinica Vol. 41, Issue 8, Pages: 1480-1486(2013)
- 作者机构：
  
  1. 南京航空航天大学计算机科学与技术学院,江苏,南京,210016
  2. 南京大学计算机软件新技术国家重点实验室,江苏,南京,210093
  3. 广西财经学院信息与统计学院,广西,南宁,530003
  4. 南京航空航天大学计算机科学与技术学院,江苏,南京,210016
  5. 南京大学计算机软件新技术国家重点实验室,江苏,南京,210093
  6. 广西财经学院信息与统计学院,广西,南宁,530003
- 作者简介：
- 基金信息：
- DOI：10.3969/j.issn.0372-2112.2013.08.005
  CLC： TP311
- Published：2013
- 稿件说明：
移动端阅览
XU Bing-feng, HUANG Zhi-qiu, HU Jun, et al. A Method for Quantitative Analysis of State/Event Fault Tree[J]. Acta Electronica Sinica, 2013, 41(8): 1480-1486.
DOI：

XU Bing-feng, HUANG Zhi-qiu, HU Jun, et al. A Method for Quantitative Analysis of State/Event Fault Tree[J]. Acta Electronica Sinica, 2013, 41(8): 1480-1486. DOI： 10.3969/j.issn.0372-2112.2013.08.005.

摘要

状态事件故障树是一种适合于描述复杂系统中失效因果链的建模技术

对系统失效结果的概率特性进行定量分析是获得系统安全性参数的一种重要途径.由于状态事件故障树是半形式化模型

需先精确描述其语义才能进行定量分析.为此

本文提出一种基于交互马尔可夫链的状态事件故障树定量分析方法.首先

通过将交互马尔可夫链的交互动作精化为输入和输出动作

提出接口交互马尔可夫链模型用于状态事件故障树的形式语义描述.然后

在此形式语义的基础上设计了一种状态事件故障树定量分析方法.最后给出了一个飞机起落架收放系统的状态事件故障树建模及概率特性定量分析的实例研究.

Abstract

State/Event Fault Tree (SEFT) is a modeling technique for describing the causal chains which lead to failure in complex systems.One important way for capturing the safety parameters of systems is quantitatively analyzing the probabilistic characteristic of system failures.As lack of precise semantics

SEFT can only be quantitatively analyzed after its semantics being precisely described.In this paper

we present a quantitative analysis method of SEFT based on Interactive Markov Chain (IMC).Firstly

Interface Interactive Markov Chain (Interface-IMC) is proposed based on refining the interactive action of IMC into input and output actions.Secondly

the precise semantics of SEFT is described based on Interface-IMC.Thirdly

a quantitative analysis method is presented based on formal semantic model of SEFT.Finally

the method in this paper is illustrated by modeling and quantitatively analyzing SEFT of aircraft landing gear system.

关键词

Keywords

references

Views

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

Design of Dynamic S-Box Based on Perturbed Spatiotemporal Chaotic System

An Approach to Performance Assessment of Interoperability Protocols

Quantitative Analysis Method of Dynamic Fault Tree of Complex System Using Bayesian Network

A Novel Safety Analysis Method of Hybrid System on Hybrid Bayesian Network

Research on Content Sharing Capability for Dual-Architecture Network

Related Author

MA Ying-jie

CHEN Lei

DONG You-heng

HOU Yan-li

ZHAO Geng

CHEN Ying

YE Meng

MEI Hong

Related Institution

Beijing University of Posts and Telecommunications

Xidian University

Beijing Electronic Science and Technology Institute

IBM China Research Laboratory Beijing China

Institute of Software School of Electronics Engineering and Computer Science Peking University Beijing China

⁰