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

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
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.
Series
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
Identifiers
URN: urn:nbn:se:liu:diva-5734ISBN: 91-7219-912-1 (print)OAI: oai:DiVA.org:liu-5734DiVA: diva2:21490
Presentation
2001-02-28, 00:00 (English)
Supervisors
Note
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)494 downloads
File information
File name FULLTEXT01.pdfFile size 540 kBChecksum MD5
b1428ec558aab23fa9111cf28f35fff8ef08e93cc950f6b4ac513e243b23fb8488c61b0b
Type fulltextMimetype application/pdf

Other links

Link to Ph.D. Thesis

Authority records BETA

Lawesson, Dan

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: 494 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

isbn
urn-nbn

Altmetric score

isbn
urn-nbn
Total: 276 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf