Browsing 3. Mühendislik Fakültesi / Faculty of Engineering by Publisher "INRIA"
Now showing items 1-1 of 1
(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 ...