An Approach to Post Mortem Diagnosability Analysis for Interacting Finite State Systems
2005 (English)In: Proceedings of the 3rd Workshop on Model Checking and Artificial Intelligence (MoChArt '05), 2005, Vol. 149, no 2, 139-153 p.Conference paper (Refereed)
We present a model based approach to diagnosability analysis for interacting ¯nitestate systems where fault isolation is deferred until the system comes to a stand-still. Local abstractions of the system model are used to alleviate the state spaceexplosion. Pairs of closely coupled automata are merged and replaced by a sin-gle automaton with an equivalently behavior as seen from the rest of the system;interaction between the merged automata is internalized and the new equivalentautomaton is subsequently abstracted from internal behavior irrelevant to fault iso-lation. In moderately concurrent systems these steps can often be iterated until thesystem consists of a single automaton providing a compact encoding of all possiblefault scenarios of the original model. We illustrate how the resulting abstractioncan be used as a basis for post mortem diagnosability analysis.
Place, publisher, year, edition, pages
2005. Vol. 149, no 2, 139-153 p.
Diagnosability analysis, Fault isolation, Local abstraction, Discrete event systems
Computer Science Control Engineering
IdentifiersURN: urn:nbn:se:liu:diva-32435DOI: 10.1016/j.entcs.2005.07.031Local ID: 18337OAI: oai:DiVA.org:liu-32435DiVA: diva2:253257
3rd Workshop on Model Checking and Artificial Intelligence (MoChArt '05), San Francisco, CA, USA, August, 2005