Show simple item record

dc.contributor.authorAyav, Tolga
dc.contributor.authorFradet, Pascal
dc.contributor.authorGirault, Alain
dc.date.accessioned2016-11-02T14:28:34Z
dc.date.available2016-11-02T14:28:34Z
dc.date.issued2008-07
dc.identifier.citationAyav, T., Fradet, P., and Girault, A. (2008). Implementing fault-tolerance in real-time programs by automatic program transformations. Transactions on Embedded Computing Systems, 7(4), doi:10.1145/1376804.1376813en_US
dc.identifier.issn1539-9087
dc.identifier.urihttp://doi.org/10.1145/1376804.1376813
dc.identifier.urihttp://hdl.handle.net/11147/2370
dc.description.abstractWe 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 transformations highlights the benefits of separation of concerns. It allows us to establish correctness properties and to compute optimal values of parameters to minimize fault-tolerance overhead. We also present an implementation of our method, to demonstrate its feasibility and its efficiency.en_US
dc.language.isoengen_US
dc.publisherAssociation for Computing Machineryen_US
dc.relation.isversionof10.1145/1376804.1376813en_US
dc.rightsinfo:eu-repo/semantics/openAccessen_US
dc.subjectQuality assuranceen_US
dc.subjectCheckpointingen_US
dc.subjectCorrectness proofsen_US
dc.subjectFault-toleranceen_US
dc.subjectHeartbeatingen_US
dc.subjectProgram transformationsen_US
dc.titleImplementing fault-tolerance in real-time programs by automatic program transformationsen_US
dc.typearticleen_US
dc.contributor.authorIDTR114453en_US
dc.contributor.iztechauthorAyav, Tolga
dc.relation.journalTransactions on Embedded Computing Systemsen_US
dc.contributor.departmentIzmir Institute of Technology. Computer Engineeringen_US
dc.identifier.volume7en_US
dc.identifier.issue4en_US
dc.identifier.wosWOS:000259432400009
dc.identifier.scopusSCOPUS:2-s2.0-49449111374
dc.relation.publicationcategoryMakale - Uluslararası Hakemli Dergi - Kurum Öğretim Elemanıen_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record