Computer Engineering / Bilgisayar Mühendisliği

Permanent URI for this collectionhttps://hdl.handle.net/11147/10

Browse

Filters

2006 - 20082

Settings

End date: 2009Publisher: search.filters.publisher.Association for Computing Machinery (ACM)

Search Results

Now showing 1 - 2 of 2
  • Report
    Implementing Fault-Tolerance in Real-Time Systems by Automatic Program Transformations
    (Association for Computing Machinery (ACM), 2006) Ayav, Tolga; Fradet, Pascal; Girault, Alain
    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.
  • Article
    Citation - WoS: 6
    Citation - Scopus: 9
    Implementing Fault-Tolerance in Real-Time Programs by Automatic Program Transformations
    (Association for Computing Machinery (ACM), 2008) Ayav, Tolga; Fradet, Pascal; Girault, Alain
    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 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.