A framework for the design and validation of efficient fail-safe fault-tolerant programs

Jhumka, A. and Suri, Neeraj and Hiller, M. (2003) A framework for the design and validation of efficient fail-safe fault-tolerant programs. In: Software and Compilers for Embedded Systems :. Springer-Verlag, pp. 182-197. ISBN 9783540201458

Full text not available from this repository.


We present a framework that facilitates synthesis and validation of fail-safe fault-tolerant programs. Starting from a fault-intolerant program, with safety specification SS, that satisfies its specification in the absence of faults, we present an approach that automatically transforms it into a fail-safe fault-tolerant program, through the addition of a class of detectors termed as SS-globally consistent detectors. Further, we make use of the SS-global consistency property of the detectors to generate pertinent test cases for testing the fail-safe fault-tolerant program, or for fault injection purposes. The properties of the resulting fail-safe fault-tolerant program are that (i) it has minimal detection latency, and (ii) perfect error detection. The application area of our framework is in the domain of distributed embedded applications. © Springer-Verlag Berlin Heidelberg 2003.

Item Type:
Contribution in Book/Report/Proceedings
?? detectorsfail-safefault tolerancesoftware synthesistest casesembedded systemsspecificationssynthesis (chemical)application areadetection latencyembedded applicationfail safesglobal consistencysafety specificationstest casesoftware testing ??
ID Code:
Deposited By:
Deposited On:
08 Oct 2019 09:15
Last Modified:
16 Jul 2024 04:43