Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Notions of Diagnosability for Timed Failure Propagation Graphs
 

Summary: Notions of Diagnosability for Timed Failure
Propagation Graphs
Sherif Abdelwahed Gabor Karsai
Institute for Software Integrated Systems,
Vanderbilt University, Nashville, TN, 37203
Email: {sherif,gabor}@isis.vanderbilt.edu
Abstract-- Timed failure propagation graphs (TFPG) are
causal models that capture the temporal aspects of failure
propagation in dynamic systems. This paper presents several
notions of diagnosability for timed failure propagation models.
Diagnosability characteristics of TFPG models are defined based
on three metrics; failure detectability, distinguishability, and
predictability. The paper identifies the modeling and run-time
parameters of the diagnosability metrics. The application of
diagnosability analysis to the problem of alarm allocation is
discussed.
I. INTRODUCTION
Timed failure propagation graphs (TFPG) [1], [2] are causal
models that describe the system behavior in presence of faults.
The TFPG structure captures the effect of timing constraints

  

Source: Abdelwahed, Sherif - Department of Electrical Engineering and Computer Science, Vanderbilt University

 

Collections: Engineering