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 :
[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
Contributeur : Pascal Fradet <>
Soumis le : jeudi 8 mars 2007 - 17:22:08
Dernière modification le : mercredi 11 avril 2018 - 01:55:32
Document(s) archivé(s) le : vendredi 25 novembre 2016 - 15:01:52


Fichiers produits par l'(les) auteur(s)


  • HAL Id : inria-00077156, version 3



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



Consultations de la notice


Téléchargements de fichiers