%0 Conference Proceedings
%F AFG06-EMSOFT
%A Ayav, T.
%A Fradet, P.
%A Girault, A.
%T Implementing Fault-Tolerance in Real-Time Systems by Program Transformations
%B Proceedings of the Sixth ACM & IEEE International Conference on Embedded Software, EMSOFT'06
%P 205-214
%X We present a formal approach to implement and certify fault-tolerance in real-time embedded systems. The fault-intolerant initial system consists of a set of independent periodic tasks scheduled onto a set of fail-silent processors. 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 roll-back. 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
%D 2006