Show simple item record

dc.contributor.authorAyav, Tolga
dc.contributor.authorFradet, Pascal
dc.contributor.authorGirault, Alain
dc.date.accessioned2016-11-30T14:21:40Z
dc.date.available2016-11-30T14:21:40Z
dc.date.issued2006-05
dc.identifier.issn0249-6399
dc.identifier.urihttp://hdl.handle.net/11147/2555
dc.description.abstractWe 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.en_US
dc.language.isoengen_US
dc.publisherINRIAen_US
dc.rightsinfo:eu-repo/semantics/openAccessen_US
dc.subjectFault-toleranceen_US
dc.subjectHeartbeatingen_US
dc.subjectProgram transformationen_US
dc.subjectCheckpointingen_US
dc.subjectCorrectness proofsen_US
dc.titleImplementing fault-tolerance in real-time systems by automatic program transformationsen_US
dc.title.alternativeMise en oeuvre de la tolerance aux fautes par transformation de programmeen_US
dc.typereporten_US
dc.contributor.authorIDTR114453en_US
dc.contributor.iztechauthorAyav, Tolga
dc.relation.journalRapport de Rechercheen_US
dc.contributor.departmentİYTE, Mühendislik Fakültesi, Bilgisayar Mühendisliği Bölümüen_US
dc.relation.publicationcategoryDiğeren_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record