Fault Isolation in Discrete Event Systems by Observational Abstraction
2004 (English)Report (Other academic)
We propose a method for fault isolation in discrete event systems such as object oriented control systems, where the observations are the logged error messages. The method is based on automatic abstraction that preserves only the behavior relevant to fault isolation. In this way we avoid the state space explosion, and a model checker can be used to reason about the temporal properties of the system. The result is a fault isolation table that maps possible error logs to isolated faults, and fault isolation thus reduces to table lookup. The fault isolation table can also be used as an analysis tool at the design level to find both faults that cannot be isolated as well as redundant error messages.
Place, publisher, year, edition, pages
Linköping: Linköping University Electronic Press, 2004. , 8 p.
LiTH-ISY-R, ISSN 1400-3902 ; 2638
Fault isolation, Automatic abstraction, Discrete event dynamical systems
IdentifiersURN: urn:nbn:se:liu:diva-55811ISRN: LiTH-ISY-R-2638OAI: oai:DiVA.org:liu-55811DiVA: diva2:316519