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

Direct link
Towards Behavioral Model Fault Isolation for Object Oriented Control Systems
Linköping University, Department of Computer and Information Science, TCSLAB - Theoretical Computer Science Laboratory. Linköping University, The Institute of Technology.
2001 (English)Licentiate thesis, monograph (Other academic)
Abstract [en]

We use a system model expressed in a subset of the Unified Modeling Language to perform fault isolation in large object oriented control systems. Due to the severity of the failures considered and the safety critical nature of the system we cannot perform fault isolation online. Thus, we perform post mortem fault isolation which has implications in terms of the information available; the temporal order in the error log can not be trusted. In our previous work we have used a structural model for fault isolation. In this thesis we provide a formal framework and a prototype implementation of an approach taking benefit of a behavioral model. This gives opportunities to perform more sophisticated reasoning at the cost of a more detailed system model. We use a model-checker to reason about causal dependencies among the events of the modeled system. The model-checker performs reasoning about temporal dependencies among the events in the system model and the scenario at hand, allowing for conclusions about the causal relation between the events of the scenario. This knowledge can then be transferred to the corresponding fault in the system, allowing us to pinpoint the cause of a system failure among a set of potential causes.

Place, publisher, year, edition, pages
Institutionen för datavetenskap , 2001. , 48 p.
Linköping Studies in Science and Technology. Thesis, ISSN 0280-7971 ; 863
Keyword [en]
Unified Modeling Language (UML), Maskinelement Servomekanismer Automation
National Category
Computer Science
URN: urn:nbn:se:liu:diva-5734ISBN: 91-7219-912-1OAI: diva2:21490
2001-02-28, 00:00 (English)
Report code: LiU-Tek-Lic-2000:59.Available from: 2002-09-19 Created: 2002-09-19 Last updated: 2009-05-25

Open Access in DiVA

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

Other links

Link to Ph.D. 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: 448 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: 255 hits
ReferencesLink to record
Permanent link

Direct link