An analytic solution for a fault tree with circular logics in which the systems are linearly interrelated

Reliability Engineering and System Safety

Volumn 92, Issue 6, 2007, Pages 804-807

  Lim, Ho Gon ^a   Jang, Seung Cheol ^a  

^a Korea Atomic Energy Research Institute   (South Korea)

Author keywords

Analytic solution; Boolean equation; Circular logic; Fault tree analysis

Indexed keywords

BOOLEAN ALGEBRA; CODES (SYMBOLS); FORMAL LOGIC; SYSTEMS ANALYSIS; TREES (MATHEMATICS);

ANALYTIC SOLUTIONS; BOOLEAN EQUATIONS; CIRCULAR LOGIC;

FAULT TREE ANALYSIS;

EID: 33846380963     PISSN: 09518320     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ress.2006.04.001     Document Type: Article

References (8)

1. Carlson D.D. Interim reliability evaluation program procedure guide, NUREG/CR-2728, SAND82-1100 (1983), US Nuclear Regulatory Commission, Washington, DC
2. Coles GA, Powers TB. Breaking the logical loop to complete the probabilistic risk assessment. In: Proceedings of PSA 89: international topical meeting probability, reliability, and safety assessment, 1989, Pennsylvania, USA, p. 1155-1160.
3. Demichela M., Piccinini N., Ciarambino I., and Contini S. How to avoid the generation of logic loops in the construction of fault tree. Reliab Eng Syst Saf 84 (2004) 197-207
4. ASME Standard for probabilistic risk assessment for nuclear power plant application, ASME RS-S-2002, 2002.
5. Yang J.E., Han S.H., Park J.H., and Jin Y.H. Analytic method to break logical loops automatically in PSA. Reliab Eng Syst Saf 56 (1997) 101-105
6. Han S.H. PC-Workstation based level 1 PRA code package-KIRAP. Reliab Eng Syst Saf 83 (1990) 369-374
7. Jung W.S., and Han S.H. Development of an analytical method to break logical loops at the system level. Reliab Eng Syst Saf 90 (2005)
8. Nicholson W.K. Linear algebra with application (1995), PWS, Boston, MA