Now showing items 1-2 of 2
Implementing fault-tolerance in real-time systems by automatic program transformations
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 ...
Transforming VHDL to timed automata
This report presents the transformation of behavioral VHDL programs to Timed Automata.