Model-based Validation of Diagnosis System
Ji Wang · Microelectronics & Computer · 2006
Diagnosis systems are of paramount important in many application domains, ranging from industrial plants to transportation. Diagnosis systems provide the ability to identify whether a certain plant, possibly operating in hazardous or inaccessible situation,is working correctly. They can help in the process of control, and prevent simple failures to stay undetected and degenerate into catastrophic events. When diagnosis is carried out in critical domains, it becomes a critical step, and the validation of diagnosis systems is of fundamental important .This paper introduces validation of model-based diagnosis system, including introduction of diagnosis system, some theories of diagnosability, then Livingstone-a model-based autonomous diagnosis system and automatic validation of it.