Over the last 25 years, the Computer Science community and particularly the Artificial
Intelligence community, have developed a framework for system diagnosis, called Model-
Based Diagnosis. This framework is extremely general and covers a broad range of
capabilities including detecting malfunctions, isolating faulty components, handling multiple
faults, identifying repair actions, and automatically generating embedded software. This field
grew independently of the fault detection and isolation community (FDI) and has developed …