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.
Contact author: Arshad Jhumka (arshad@informatik.tu-darmstadt.de).
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Alpern, B., Schneider, F.B.: Defining liveness. Information Processing Letters 21, 181–185 (1985)
Arora, A., Kulkarni, S.S.: Component based design of multitolerant systems. IEEE Transactions on Software Engineering 24(1), 63–78 (1998)
Arora, A., Kulkarni, S.S.: Detectors and correctors: A theory of faulttolerance components. In: Proceedings of the 18th IEEE International Conference on Distributed Computing Systems (ICDCS 1998) (May 1998)
Chandy, K.M., Misra, J.: Parallel Program Design: A Foundation. Addison-Wesley, Reading (1988)
Jeng, B., Weyuker, E.J.: Analyzing partition testing strategies. IEEE Transactions on Software Engineering (July 1991)
Jhumka, A., Gärtner, F., Fetzer, C., Suri, N.: On systematic design of fast, and perfect detectors. Technical report, Ecole Polytechnique Federale de Lausanne (EPFL), School of Computer and Communication Sciences, Technical Report 200263 (September 2002)
Jhumka, A., Hiller, M., Claesson, V., Suri, N.: On Systematic Design of Globally Consistent Executable Assertions in Embedded Software. In: Proceedings LCTES/SCOPES, pp. 74–83 (2002)
Kulkarni, S., Ebnenasir, A.: Complexity of Adding Fail-Safe Fault Tolerance. In: Proceedings International Conference on Distributed Computing Systems (2002)
Kulkarni, S.S., Arora, A.: Automating the addition of fault-tolerance. In: Joseph, M. (ed.) FTRTFT 2000. LNCS, vol. 1926, pp. 82–93. Springer, Heidelberg (2000)
Leveson, N., Cha, S.S., Knight, J.C., Shimeall, T.J.: The Use of Self-Checks and Voting in Software Error Detection: An Empirical Study. IEEE Transactions on Software Engineering 16(4), 432–443 (1990)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Jhumka, A., Suri, N., Hiller, M. (2003). A Framework for the Design and Validation of Efficient Fail-Safe Fault-Tolerant Programs. In: Krall, A. (eds) Software and Compilers for Embedded Systems. SCOPES 2003. Lecture Notes in Computer Science, vol 2826. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-39920-9_13
Download citation
DOI: https://doi.org/10.1007/978-3-540-39920-9_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20145-8
Online ISBN: 978-3-540-39920-9
eBook Packages: Springer Book Archive