Modelling and analysing fault propagation in safety-related systems

Proceedings - 28th Annual NASA Goddard Software Engineering Workshop, SEW 2003

Volumn , Issue , 2004, Pages 167-174

  Iwu, F ^a   Toyn, I ^a  

^a UNIVERSITY OF YORK   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ACCIDENT PREVENTION; ALARM SYSTEMS; CHEMICAL INDUSTRY; ELECTRIC FAULT CURRENTS; FAILURE ANALYSIS; FIGHTER AIRCRAFT; FORMAL SPECIFICATION; NASA; SAFETY ENGINEERING; SOFTWARE ENGINEERING; SPECIFICATIONS; TECHNICAL PRESENTATIONS;

COMPUTATIONAL BURDEN; FAILURE MODE AND EFFECT ANALYSIS; FAULT PROPAGATION; INTELLIGENT SENSORS; MONITORING SYSTEM; MULTIPLE FAULT DIAGNOSIS; SAFETY-RELATED SYSTEMS; SEVERITY ANALYSIS;

FAULT DETECTION;

EID: 84954426691     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SEW.2003.1270740     Document Type: Conference Paper

References (10)

1. N.S.V. Rao. "Computational Complexity Issues in Operative Diagnosis of Graph-Based Systems" IEEE Trans. Computers, Vol. 42, No.4, (1993), 447-457.
2. N.S.V. Rao. "On Parallel Algorithms for Single-Fault Diagnosis in Fault Propagation Graph Systems", IEEE Transactions on Parallel and Distributed Systems, Vol. 7, Issue 12, (December 1996), 1217-1223.
3. J.A. McDermid. "Software Hazard and Safety Analysis", Tutorial at the FTRTFT 2002 Oldenburg Germany, 9 September 2002.
4. Procedures for Performing Failure Mode Effects and Criticality Analysis" US-MIL-STD-1629 (Nov. 1974, U.S. MIL-STD-1629A (November 1980), U.S. MIL-STD-1629A/Notice 2, (November 1984).
5. Fang Tu et al. "Computationally Efficient Algorithms for Multiple Fault Diagnosis in Large Graph-based Systems", IEEE Transactions on Systems, Man, and Cybernetics, Part A, Vol. 33, (2003).
6. Stefano Chessa and Paolo Santi. "Operative Diagnosis of Graph-Based Systems with Multiple Faults", IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans, Vol. 31, No. 2, (March 2001).
7. Venkat Venkatasubramanian et al. "A Review of Process Fault Detection and Diagnosis Part II: Qualitative Models and Search Strategies, Computers and Chemical Engineering Vol. 27, (2003), 313-326.
8. Fault Tree Handbook. Systems and Reliability Research Office of Nuclear Regulatory Research U.S Nuclear Regulatory Commission Washington, D.C.
9. J. Shiozaki, H. Matsuyama, E. O'Shima, and M. Ira., "An improved algorithm for diagnosis of system failures in the chemical process", Comp. Chem. Eng., Vol. 9, No.3, (1985), 285-293.
10. S. Stepney, F. Polack and I. Toyn. "Z Patterns Catalogue" Computer Science Department, University of York. Technical Report (January 2003).