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

Formal Development of Software for Tolerating Transient Faults

Dubravka Ilic, Elena Troubitsyna, Formal Development of Software for Tolerating Transient Faults. TUCS Technical Reports 694, Turku Centre for Computer Science, 2005.

Abstract:

Transient faults constitute a wide-spread class of faults that appear for some time during system operation and might disappear and reappear later. They are very common in control systems. However, by appearing even for a short time, they might result in dangerous system error. Hence designing mechanisms for tolerating transient faults is an acute issue especially in the development of safety-critical control systems. In this paper we propose a formal approach to specifying software-based mechanisms for tolerating transient faults in the B Method. We focus on deriving a general specification and development pattern which can be applied in the development of various control systems. We illustrate an application of the proposed patterns by an example from avionics software product line.

Files:

Full publication in PDF-format

BibTeX entry:

@TECHREPORT{tIlTr05b,
  title = {Formal Development of Software for Tolerating Transient Faults},
  author = {Ilic, Dubravka and Troubitsyna, Elena},
  number = {694},
  series = {TUCS Technical Reports},
  publisher = {Turku Centre for Computer Science},
  year = {2005},
  ISBN = {952-12-1573-9},
}

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

Edit publication