An Environment and Language for Industrial Use of Model-based Diagnosis

Model-based diagnosis provides a well founded theory and a set of algorithms for finding and fixing a misbehavior caused by components. Actually applying model-based diagnosis effectively requires a flexible implementation which is capable of handling the differing requirements of multiple application domains. The diagnosis framework described in this paper has been developed for the purpose of being used in an industrial setting. It derives a significant part of its effectiveness from being integrated with a component oriented language for describing diagnosis models. The framework itself contains a class library comprising several different diagnosis engines having a standardized interface and allows rapid prototyping of diagnosis applications. The paper describes the framework, shows application domains, where the framework was applied, and gives an overview of the capability of the system description language AD2L.