Fundamental Algorithms for System Modeling, Analysis, and ...

← Back to document page

Fundamental Algorithms for System Modeling, Analysis, and OptimizationEdward A. Lee, Jaijeet Roychowdhury, Sanjit A. SeshiaUC BerkeleyEECS 144/244Fall 2010Copyright 2010, E. A. Lee, J. Roychowdhury, S. A. Seshia, All rights reservedLec 15: Testing for Fault Detection/DiagnosisThanks to Cheng, S. Devadas, K. Keutzer for some slides2Fault Detection and DiagnosisA fault is the adjudged or hypothesized cause of a System detection (is there a fault?) and diagnosis (where is the fault?) are key steps in System design and Circuits Faults: manufacturing defects or electrical effectsControl Systems ( chemical process plants) Faulty sensors or actuators, operator error, mechanical failuresCyber-Physical Systems ( , cars, spacecraft) Faulty sensors/actuators, mechanical failures, ...3Fault Detection and Diagnosis. . .. . .INPUTSOUTPUTSXVEOverall SystemPropagation (observability)VcActivation(controllabil ity)Component4Observability and ControllabilityControllability A System with internal state xis called controllable if the state can be modified by changing the input to the System .

7 Defect Model: Stuck-At Faults Any input or internal wire in circuit can be stuck-at-1 or stuck-at-0 Single stuck-at-fault model: In the faulty

  Stuck