Implementing Fault-Tolerance in Real-Time Systems by Program Transformations

Abstract : We present a formal approach to implement fault-tolerance in real-time embedded systems. The initial fault-intolerant system consists of a set of independent periodic tasks scheduled onto a set of fail-silent processors connected by a reliable communication network. We transform the tasks such that, assuming the availability of an additional spare processor, the system tolerates one failure at a time (transient or permanent). Failure detection is implemented using heartbeating, and failure masking using checkpointing and rollback. These techniques are described and implemented by automatic program transformations on the tasks' programs. The proposed formal approach to fault-tolerance by program transformation highlights the benefits of separation of concerns and allows us to establish correctness properties (including the satisfaction of real-time constraints). We also present an implementation of our method, to demonstrate its feasibility and its efficiency.
Type de document :
Rapport
[Research Report] RR-5919, INRIA. 2006
Liste complète des métadonnées

Littérature citée [1 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00077156
Contributeur : Pascal Fradet <>
Soumis le : jeudi 8 mars 2007 - 17:22:08
Dernière modification le : samedi 17 septembre 2016 - 01:30:26
Document(s) archivé(s) le : vendredi 25 novembre 2016 - 15:01:52

Fichiers

RR-5919.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00077156, version 3

Collections

Citation

Tolga Ayav, Pascal Fradet, Alain Girault. Implementing Fault-Tolerance in Real-Time Systems by Program Transformations. [Research Report] RR-5919, INRIA. 2006. 〈inria-00077156v3〉

Partager

Métriques

Consultations de la notice

183

Téléchargements de fichiers

118