• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

Formalizing UML-based Development of Fault Tolerant Control Systems

Dubravka Ilic, Elena Troubitsyna, Linas Laibinis, Colin Snook, Formalizing UML-based Development of Fault Tolerant Control Systems. In: Workshop on Methods, Models and Tools for Fault Tolerance (MeMToFT'2007), 70-79, RODIN, 2007.

Abstract:

In this paper we demonstrate how to formalize UML-based development of protective wrappers for tolerating transient faults. In particular, we focus on the fault tolerance mechanisms common in the avionics domain and show the development of a protective wrapper, called Failure Management System. We demonstrate how to integrate the formal refinement approach proposed earlier into the UML-based development.

Files:

Full publication in PDF-format

BibTeX entry:

@INPROCEEDINGS{inpIlTrLaSn07a,
  title = {Formalizing UML-based Development of Fault Tolerant Control Systems},
  booktitle = {Workshop on Methods, Models and Tools for Fault Tolerance (MeMToFT'2007)},
  author = {Ilic, Dubravka and Troubitsyna, Elena and Laibinis, Linas and Snook, Colin},
  publisher = {RODIN},
  pages = {70-79},
  year = {2007},
  keywords = {Event-B, fault tolerance, refinement, statemachines, transient faults, UML-B},
}

Belongs to TUCS Research Unit(s): Distributed Systems Laboratory (DS Lab)

Edit publication