Cut Sequence Set Generation for Fault Tree Analysis

Authors:
Dong Liu;Weiyan Xing;Chunyuan Zhang;Rui Li;Haiyan Li
Affiliations:
Department of Computer, National University of Defense Technology, Changsha, Hunan 410073, China;China Huayin Ordnance Test Center, Huayin 714200, China;Department of Computer, National University of Defense Technology, Changsha, Hunan 410073, China;Department of Computer, National University of Defense Technology, Changsha, Hunan 410073, China;Department of Computer, National University of Defense Technology, Changsha, Hunan 410073, China
Venue:
ICESS '07 Proceedings of the 3rd international conference on Embedded Software and Systems
Year:
2007

Citing 2
Cited 2

The Galileo Fault Tree Analysis Tool

FTCS '99 Proceedings of the Twenty-Ninth Annual International Symposium on Fault-Tolerant Computing
A new approach to modeling the system reliability: dynamic reliability block diagrams

RAMS '06 Proceedings of the RAMS '06. Annual Reliability and Maintainability Symposium, 2006.

Quantification of cut sequence set for fault tree analysis

HPCC'07 Proceedings of the Third international conference on High Performance Computing and Communications
Minimal cut sequence generation for state/event fault trees

Proceedings of the 2013 Middleware Doctoral Symposium

Quantified Score

Hi-index	0.00

Visualization

Abstract

For a fault tree, especially for a dynamic fault tree, the occurrence of top event depends on not only the combination of basic events, but also on the occurrence order of basic events. Cut sequence is a set of basic events that fail in a particular order that can induce top event. Cut sequence set (CSS) is the aggregate of all cut sequences in a fault tree. The paper puts forward an algorithm, named CSSA (CSS Algorithm), to generate the CSS of a fault tree. CSSA uses sequential failure symbol (SFS) to describe the sequential failure relationship between two events. And then, cut sequence can be expressed by sequential failure expression (SFE), which is a chain of basic events connected by SFSs. In order to get the CSS, SFS transformation is applied to static gates and dynamic gates, the result of which is reconstructed to the standard form of CSS according to the inference rules of SFE. At length, an example is used to illustrate the detailed processes of the approach. CSSA provides a new qualitative method that extends the existing fault tree analysis models.