Browsing by Author "Girault, Alain"

Now showing items 1-2 of 2

Implementing fault-tolerance in real-time programs by automatic program transformations

Ayav, Tolga; Fradet, Pascal; Girault, Alain (Association for Computing Machinery, 2008-07)

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 ...
Implementing fault-tolerance in real-time systems by automatic program transformations

Ayav, Tolga; Fradet, Pascal; Girault, Alain (INRIA, 2006-05)

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 ...