An Approach to Post Mortem Diagnosability Analysis for Interacting Finite State Systems

https://doi.org/10.1016/j.entcs.2005.07.031Get rights and content
Under a Creative Commons license
open access

Abstract

We present a model based approach to diagnosability analysis for interacting finite state systems where fault isolation is deferred until the system comes to a standstill. Local abstractions of the system model are used to alleviate the state space explosion. Pairs of closely coupled automata are merged and replaced by a single automaton with an equivalently behavior as seen from the rest of the system; interaction between the merged automata is internalized and the new equivalent automaton is subsequently abstracted from internal behavior irrelevant to fault isolation. In moderately concurrent systems these steps can often be iterated until the system consists of a single automaton providing a compact encoding of all possible fault scenarios of the original model. We illustrate how the resulting abstraction can be used as a basis for post mortem diagnosability analysis.

Keywords

Diagnosability analysis
fault isolation
local abstraction
discrete event systems

Cited by (0)

This work was financially supported by Vinnova's Competence Center ISIS, and carried out in cooperation with ABB Automation Technologies.