Final published version
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter
}
TY - CHAP
T1 - A framework for the design and validation of efficient fail-safe fault-tolerant programs
AU - Jhumka, A.
AU - Suri, Neeraj
AU - Hiller, M.
PY - 2003
Y1 - 2003
N2 - 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.
AB - 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.
KW - Detectors
KW - Fail-safe
KW - Fault tolerance
KW - Software synthesis
KW - Test cases
KW - Embedded systems
KW - Specifications
KW - Synthesis (chemical)
KW - Application area
KW - Detection latency
KW - Embedded application
KW - Fail safes
KW - Global consistency
KW - Safety specifications
KW - Test case
KW - Software testing
U2 - 10.1007/b13482
DO - 10.1007/b13482
M3 - Chapter
SN - 9783540201458
VL - 2826
SP - 182
EP - 197
BT - Software and Compilers for Embedded Systems
PB - Springer-Verlag
ER -