Home > Research > Publications & Outputs > A framework for the design and validation of ef...

Research

Associated organisational units

Links

Text available via DOI:

Keywords

View graph of relations

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

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

Published

Standard

A framework for the design and validation of efficient fail-safe fault-tolerant programs. / Jhumka, A.; Suri, Neeraj; Hiller, M.
Software and Compilers for Embedded Systems . Vol. 2826 Springer-Verlag, 2003. p. 182-197.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

Harvard

Jhumka, A, Suri, N & Hiller, M 2003, A framework for the design and validation of efficient fail-safe fault-tolerant programs. in Software and Compilers for Embedded Systems . vol. 2826, Springer-Verlag, pp. 182-197. https://doi.org/10.1007/b13482

APA

Jhumka, A., Suri, N., & Hiller, M. (2003). A framework for the design and validation of efficient fail-safe fault-tolerant programs. In Software and Compilers for Embedded Systems (Vol. 2826, pp. 182-197). Springer-Verlag. https://doi.org/10.1007/b13482

Vancouver

Jhumka A, Suri N, Hiller M. A framework for the design and validation of efficient fail-safe fault-tolerant programs. In Software and Compilers for Embedded Systems . Vol. 2826. Springer-Verlag. 2003. p. 182-197 doi: 10.1007/b13482

Author

Jhumka, A. ; Suri, Neeraj ; Hiller, M. / A framework for the design and validation of efficient fail-safe fault-tolerant programs. Software and Compilers for Embedded Systems . Vol. 2826 Springer-Verlag, 2003. pp. 182-197

Bibtex

@inbook{a0b71c4fb7d842e494170eee12e150ac,
title = "A framework for the design and validation of efficient fail-safe fault-tolerant programs",
abstract = "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. {\textcopyright} Springer-Verlag Berlin Heidelberg 2003.",
keywords = "Detectors, Fail-safe, Fault tolerance, Software synthesis, Test cases, Embedded systems, Specifications, Synthesis (chemical), Application area, Detection latency, Embedded application, Fail safes, Global consistency, Safety specifications, Test case, Software testing",
author = "A. Jhumka and Neeraj Suri and M. Hiller",
year = "2003",
doi = "10.1007/b13482",
language = "English",
isbn = "9783540201458",
volume = "2826",
pages = "182--197",
booktitle = "Software and Compilers for Embedded Systems",
publisher = "Springer-Verlag",

}

RIS

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 -