Model-Checking Based Fault Isolation in UML
2001 (English)In: Proceedings of the 12th International Workshop on Principles of Diagnosis, 2001, 103-110 p.Conference paper (Refereed)
We describe an approach to model-based fault isolation in large object oriented control systems. Our method relies on models of structure and behavior expressed in a subset of the Unified Modeling Language (UML). We consider system failures where on-line analysisis problematic, e.g. in safety-critical applications, leading to propagating alarms which have to be analyzed off-line. In our previous work we have shown how to use structural models, in the form of UML class diagrams, to reason about causal dependencies between error messages. In this paper we argue that models of behavior, in the form of UML state charts, together with verification techniques based on model checking further improve the ability to isolate faults off-line even when both models and observations are incomplete.
Place, publisher, year, edition, pages
2001. 103-110 p.
Fault isolation, Object modeling techniques, Control system, Safety-critical, Propagation, Model-checking
IdentifiersURN: urn:nbn:se:liu:diva-90776OAI: oai:DiVA.org:liu-90776DiVA: diva2:616477
12th International Workshop on Principles of Diagnosis, Via Lettea, Italy, March, 2001