Now showing items 1-1 of 1
Implementing fault-tolerance in real-time programs by automatic program transformations
(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 ...