liu.seSearch for publications in DiVA
Change search
ReferencesLink to record
Permanent link

Direct link
An Approach to Diagnosability Analysis for Interacting Finite State Systems
Linköping University, Department of Computer and Information Science, TCSLAB - Theoretical Computer Science Laboratory. Linköping University, The Institute of Technology.
2005 (English)Doctoral thesis, monograph (Other academic)
Abstract [en]

Fault isolation is the process of reasoning required to find the cause of a system failure. In a model-based approach, the available information is a model of the system and some observations. Using knowledge of how the system generally behaves, as given in the system model, together with partial observations of the events of the current situation the task is to deduce the failure causing event(s). In our setting, the observable events manifest themselves in a message log.

We study post mortem fault isolation for moderately concurrent discrete event systems where the temporal order of logged messages contains little information. To carry out fault isolation one has to study the correlation between observed events and fault events of the system. In general, such study calls for exploration of the state space of the system, which is exponential in the number of system components.

Since we are studying a restricted class of all possible systems we may apply aggressive specialized abstraction policies in order to allow fault isolation without ever considering the often intractably large state space of the system. In this thesis we describe a mathematical framework as well as a prototype implementation and an experimental evaluation of such abstraction techniques. The method is efficient enough to allow for not only post mortem fault isolation but also design time diagnosability analysis of the system, which can be seen as a non-trivial way of analyzing all possible observations of the system versus the corresponding fault isolation outcome. This work has been supported by VINNOVA’s Competence Center ISIS.

Place, publisher, year, edition, pages
Institutionen för datavetenskap , 2005. , 179 p.
Linköping Studies in Science and Technology. Dissertations, ISSN 0345-7524 ; 974
Keyword [en]
Model-based diagnosis, abstraction, finite state systems, discrete event systems
National Category
Computer Science
URN: urn:nbn:se:liu:diva-4892ISBN: 91-85457-39-6OAI: diva2:20802
Public defence
2005-11-09, Visionen, Hus B, Campus Valla, Linköpings universitet, Linköping, 13:15 (English)
Available from: 2005-12-01 Created: 2005-12-01 Last updated: 2009-03-04

Open Access in DiVA

fulltext(1060 kB)699 downloads
File information
File name FULLTEXT01.pdfFile size 1060 kBChecksum SHA-1
Type fulltextMimetype application/pdf

Other links

Link to Licentiate Thesis

Search in DiVA

By author/editor
Lawesson, Dan
By organisation
TCSLAB - Theoretical Computer Science LaboratoryThe Institute of Technology
Computer Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 699 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 1516 hits
ReferencesLink to record
Permanent link

Direct link