Issues on the design of efficient fail-safe fault tolerance

Proceedings - International Symposium on Software Reliability Engineering, ISSRE

Volumn , Issue , 2009, Pages 155-164

  Jhumka, Arshad ^a   Leeke, Matt ^a  

^a UNIVERSITY OF WARWICK   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

DESIGN ISSUES; DESIGN PROCESS; FAULT CLASS; FAULT MODEL; FAULT-TOLERANT; IMPOSSIBILITY RESULTS;

COMPUTER SOFTWARE SELECTION AND EVALUATION; DESIGN; FAULT TOLERANCE; SOFTWARE RELIABILITY;

QUALITY ASSURANCE;

EID: 77951473380     PISSN: 10719458     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISSRE.2009.31     Document Type: Conference Paper

References (18)

1. Bowen Alpern and Fred B. Schneider. Defining liveness. Information Processing Letters, 21:181-185, 1985.
2. Anish Arora and Sandeep S. Kulkarni. Detectors and correctors: A theory of fault-tolerance components. In Proceedings of the 18th IEEE International Conference on Distributed Computing Systems (ICDCS98), May 1998.
3. L. Bauer, J. Ligatti, and D. Walker. More enforceable security policies. In Proceedings of Computer Security Foundations Workshop, July 2002.
4. Tushar Deepak Chandra and Sam Toueg. Unreliable failure detectors for reliable distributed systems. Journal of the ACM, 43(2):225-267, March 1996.
5. Felix C. Gärtner. Transformational approaches to the specification and verification of fault-tolerant systems: Formal background and classification. Journal of Universal Computer Science (J.UCS), 5(10):668-692, October 1999. Special Issue on Dependability Evaluation and Assessment.
6. Felix C. Gärtner and Arshad Jhumka. Automating the addition of fail-safe fault-tolerance: Beyond fusion-closed specifications. In Proceedings of Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT), Grenoble, France, September 2004.
7. S. Ghosh and A. Bejan. A framework for safe stabilization. In Proceedings Symposium on Self Stabilization, 2003.
8. A. Jhumka, F. Freiling, C. Fetzer, and N. Suri. An approach to synthesize safe systems. Intl. Journal on Security and Networks, 1(1), 2006.
9. Arshad Jhumka, Felix C. Gärtner, Christof Fetzer, and Neeraj Suri. On systematic design of fast and perfect detectors. Technical Report 200263, Swiss Federal Institute of Technology (EPFL), School of Computer and Communication Sciences, Lausanne, Switzerland, September 2002.
10. Sandeep S. Kulkarni. Component Based Design of Fault-Tolerance. PhD thesis, Department of Computer and Information Science, The Ohio State University, 1999.
11. Sandeep S. Kulkarni and A. Ebnenasir. Complexity of adding failsafe fault-tolerance. In Proceedings of the 22nd IEEE International Conference on Distributed Computing Systems (ICDCS 2002), pages 337-344. IEEE Computer Society Press, July 2002.
12. Leslie Lamport. Proving the correctness of multiprocess programs. IEEE Transactions on Software Engineering, 3(2):125-143, March 1977.
13. Jean-Claude Laprie, editor. Dependability: Basic concepts and Terminology, volume 5 of Dependable Computing and Fault-Tolerant Systems. Springer-Verlag, 1992.
14. Nancy G. Leveson, Stephen S. Cha, John C. Knight, and Timothy J. Shimeall. The use of self checks and voting in software error detection: An empirical study. IEEE Transactions on Software Engineering, 16(4):432-443, 1990.
15. Zhiming Liu and Mathai Joseph. Transformation of programs for fault-tolerance. Formal Aspects of Computing, 4(5):442-469, 1992.
16. Zhiming Liu and Mathai Joseph. Stepwise development of fault-tolerant reactive systems. In Formal techniques in real-time and fault-tolerant systems, number 863 in Lecture Notes in Computer Science, pages 529-546. Springer-Verlag, 1994.
17. David Powell. Failure mode assumptions and assumption coverage. In Dhiraj K. Pradhan, editor, Proceedings of the 22nd Annual International Symposium on Fault-Tolerant Computing (FTCS '92), pages 386-395, Boston, MA, July 1992. IEEE Computer Society Press.
18. Hagen Völzer. Verifying fault tolerance of distributed algorithms formally: An example. In Proceedings of the International Conference on Application of Concurrency to System Design (CSD98), pages 187-197, Fukushima, Japan, March 1998. IEEE Computer Society Press.