Slide 1 1 Model-based Diagnosis of Embedded Systems DWFTT 2007 September 13, 2007 Jurryt Pietersma Slide 2 2 Contents 1.Fault diagnosis 2.Model-based Diagnosis (MBD) 3.Spectrum-based…