A safety analysis via minimal path sets detection for object-oriented models

Software Failure Modes and Effects Analysis (SFMEA) technology is the most common technique in reliability and safety analysis. The common software FMEA methods are summarized and for object-oriented software, combined with the Rhapsodys characteristic of modeling and simulation, we proposed the SFMEA method based on modeling and simulation by Rhapsody and gave the process of implementation, the acquisition methods of failure modes and the SFMEA example.

Download Full-text

Minimal Path Sets Seismic Reliability Evaluation of Lifeline Networks with Link and Node Failures

TCLEE 2009 ◽

10.1061/41050(357)105 ◽

2009 ◽

Cited By ~ 6

Author(s):

M. B. Javanbarg ◽

C. Scawthorn ◽

J. Kiyono ◽

Y. Ono

Keyword(s):

Reliability Evaluation ◽

Minimal Path ◽

Seismic Reliability ◽

Minimal Path Sets ◽

Node Failures

Download Full-text

Relationship Between Minimal Path Sets and Cut Sets

IEEE Transactions on Reliability ◽

10.1109/tr.1978.5220269 ◽

1978 ◽

Vol R-27 (2) ◽

pp. 106-152 ◽

Cited By ~ 5

Author(s):

Mitchell O. Locks

Keyword(s):

Minimal Path ◽

Minimal Path Sets

Download Full-text

Minimal Path Sets with Known Size in a Consecutive-2-out-of-n:F System

OPSEARCH ◽

10.1007/bf03398643 ◽

2001 ◽

Vol 38 (4) ◽

pp. 352-371

Author(s):

Arvind Seth ◽

Mohammad Khanjari Sadegh

Keyword(s):

Minimal Path ◽

Minimal Path Sets

Download Full-text

A New GO Methodology Algorithm Based on BDD

Advanced Materials Research ◽

10.4028/www.scientific.net/amr.791-793.1134 ◽

2013 ◽

Vol 791-793 ◽

pp. 1134-1138

Author(s):

Jian Fan ◽

Yi Ren ◽

Lin Lin Liu

Keyword(s):

System Reliability ◽

Binary Decision Diagram ◽

Analysis Procedure ◽

Logic Tree ◽

Minimal Path ◽

Binary Decision ◽

Go Model ◽

Go Methodology ◽

Minimal Path Sets

To solve the problems on quick achieving reliability and the minimal path sets (MPS) of a system with GO Methodology, a Binary Decision Diagram (BDD) based new GO methodology algorithm is introduced. This technique can avoid the shared signals and combination explosion problems simultaneously. Detailed steps with a case study are presented to explain the analysis procedure of this technique, firstly, establish the GO model and transform it into a directed acyclic diagram (DAG), logic tree and BDD successively; then minimize the BDD according to the Without Rule; at last, this system reliability and MPS can be achieved. The results of the studied case verify the validity and effectiveness of this algorithm.

Download Full-text