Realtime Access Map
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 ...