• 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. In: Proceeding of the 11th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2005), 2005.

Abstract:

Transient faults constitute a wide-spread class of faults typical in control systems. These are faults that appear for some time during system operation and might disappear and reappear later. However, even by appearing for a short time, they might cause dangerous system errors. 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.

BibTeX entry:

@INPROCEEDINGS{inpIlTr05a,
  title = {Formal Development of Software for Tolerating Transient Faults},
  booktitle = {Proceeding of the 11th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2005)},
  author = {Ilic, Dubravka and Troubitsyna, Elena},
  year = {2005},
  keywords = {fault tolerance, transient fault, B Method, refinement},
}

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

Edit publication