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
Model-Checking Based Fault Isolation in UML
Linköping University, Department of Computer and Information Science, TCSLAB - Theoretical Computer Science Laboratory. Linköping University, The Institute of Technology.
Linköping University, Department of Computer and Information Science, TCSLAB - Theoretical Computer Science Laboratory. Linköping University, The Institute of Technology.
Linköping University, Department of Electrical Engineering, Automatic Control. Linköping University, The Institute of Technology.
2001 (English)Report (Other academic)
Abstract [en]

We describe an approach to model-based fault isolation in large object oriented control systems. Our method relies on models of structure and behavior expressed in a subset of the Unified Modeling Language (UML). We consider system failures where on-line analysisis problematic, e.g. in safety-critical applications, leading to propagating alarms which have to be analyzed off-line. In our previous work we have shown how to use structural models, in the form of UML class diagrams, to reason about causal dependencies between error messages. In this paper we argue that models of behavior, in the form of UML state charts, together with verification techniques based on model checking further improve the ability to isolate faults off-line even when both models and observations are incomplete.

Place, publisher, year, edition, pages
Linköping: Linköping University Electronic Press, 2001. , 10 p.
Series
LiTH-ISY-R, ISSN 1400-3902 ; 2336
Keyword [en]
Fault isolation, Object modeling techniques, Control system, Safety-critical, Propagation, Model-checking
National Category
Control Engineering
Identifiers
URN: urn:nbn:se:liu:diva-55773ISRN: LiTH-ISY-R-2336OAI: oai:DiVA.org:liu-55773DiVA: diva2:316558
Available from: 2010-04-30 Created: 2010-04-30 Last updated: 2014-09-08Bibliographically approved

Open Access in DiVA

fulltext(306 kB)133 downloads
File information
File name FULLTEXT01.pdfFile size 306 kBChecksum SHA-512
1adc818117ce22ebc9605a96f8e43cd10e6a27f6dd76415f7412a398eaa146548d0a9592ad9eb40f890a4bf4285452be15a765458078589e715ba7147428de6e
Type fulltextMimetype application/pdf

Authority records BETA

Klein, Inger

Search in DiVA

By author/editor
Klein, Inger
By organisation
TCSLAB - Theoretical Computer Science LaboratoryThe Institute of TechnologyAutomatic Control
Control Engineering

Search outside of DiVA

GoogleGoogle Scholar
Total: 133 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

urn-nbn

Altmetric score

urn-nbn
Total: 46 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