Diagnosis based on reliability analysis using monitors and sensors

We develop a process for using monitors or sensors to optimize diagnostic decision trees (DDTs) generated for large systems. We present algorithms for optimizing the diagnosis process, which combines evidence data captured from monitors or sensors into the diagnostic tree generation process to produce DDTs. Since evidence data can be extracted from monitors and sensors, we developed a method for sensor modeling. Our method allows modeling monitors or sensors as an abstract layer on top of a systems fault tree model. This method of modeling allows the designer to graphically link monitors or sensors to the components that they monitor, without impacting the reliability analysis. We use a real system from the industry to demonstrate the practicality and effectiveness of our algorithms and methods.

[1]  Fabio Somenzi,et al.  Logic synthesis and verification algorithms , 1996 .

[2]  Bernard M. E. Moret,et al.  Decision Trees and Diagrams , 1982, CSUR.

[3]  Krishna R. Pattipati,et al.  Application of heuristic search and information theory to sequential fault diagnosis , 1990, IEEE Trans. Syst. Man Cybern..

[4]  J. B. Fussell,et al.  How to Hand-Calculate System Reliability and Safety Characteristics , 1975, IEEE Transactions on Reliability.

[5]  A. Rauzy,et al.  Exact and truncated computations of prime implicants of coherent and non-coherent fault trees within Aralia , 1997 .

[6]  W E Vesely,et al.  Fault Tree Handbook , 1987 .

[7]  T. Assaf,et al.  Approximation of diagnostic importance factors using Markov models for diagnostic test sequencing , 2004, Proceedings AUTOTESTCON 2004..

[8]  T. Assaf,et al.  Design for diagnosis using a diagnostic evaluation measure , 2005, IEEE Autotestcon, 2005..

[9]  T. Assaf,et al.  Diagnostic expert systems from dynamic fault trees , 2004, Annual Symposium Reliability and Maintainability, 2004 - RAMS.

[10]  J. Dugan,et al.  Minimal cut set/sequence generation for dynamic fault trees , 2004, Annual Symposium Reliability and Maintainability, 2004 - RAMS.

[11]  David Coppit,et al.  Developing a low-cost high-quality software tool for dynamic fault-tree analysis , 2000, IEEE Trans. Reliab..

[12]  Shin-ichi Minato,et al.  Zero-Suppressed BDDs for Set Manipulation in Combinatorial Problems , 1993, 30th ACM/IEEE Design Automation Conference.