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 Electrical Engineering, Automatic Control. 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 Computer and Information Science, TCSLAB - Theoretical Computer Science Laboratory.
2001 (English)In: Proceedings of the 12th International Workshop on Principles of Diagnosis, 2001, 103-110 p.Conference paper, Published paper (Refereed)
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
2001. 103-110 p.
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-90776OAI: oai:DiVA.org:liu-90776DiVA: diva2:616477
Conference
12th International Workshop on Principles of Diagnosis, Via Lettea, Italy, March, 2001
Available from: 2013-04-17 Created: 2013-04-07 Last updated: 2013-08-28

Open Access in DiVA

No full text

Other links

Related report

Authority records BETA

Klein, Inger

Search in DiVA

By author/editor
Klein, Inger
By organisation
Automatic ControlThe Institute of TechnologyTCSLAB - Theoretical Computer Science Laboratory
Control Engineering

Search outside of DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric score

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