Please use this identifier to cite or link to this item:
Title: Implementing fault-tolerance in real-time systems by automatic program transformations
Other Titles: Mise en oeuvre de la tolerance aux fautes par transformation de programme
Authors: Ayav, Tolga
Fradet, Pascal
Girault, Alain
Keywords: Fault-tolerance
Program transformation
Correctness proofs
Publisher: Association for Computing Machinery (ACM)
Abstract: 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.
ISSN: 0249-6399
Appears in Collections:Computer Engineering / Bilgisayar Mühendisliği
Scopus İndeksli Yayınlar Koleksiyonu / Scopus Indexed Publications Collection

Files in This Item:
File Description SizeFormat 
2555.pdfRapor936.62 kBAdobe PDFThumbnail
Show full item record

CORE Recommender

Page view(s)

checked on Apr 8, 2024


checked on Apr 8, 2024

Google ScholarTM


Items in GCRIS Repository are protected by copyright, with all rights reserved, unless otherwise indicated.