Developing fault tolerant distributed systems by refinement

Proceedings - 5th International Conference on Software Engineering Advances, ICSEA 2010

Volumn , Issue , 2010, Pages 178-183

  Troubitsyna, Elena ^a  

^a ÅBO AKADEMI UNIVERSITY   (Finland)

Author keywords

Action systems; Architecture; Components; Fault tolerance; Refinement

Indexed keywords

ACTION SYSTEMS; ARCHITECTURAL LEVELS; COMPLEX DISTRIBUTED SYSTEM; COMPLEX SYSTEMS; COMPONENTS; DISTRIBUTED FAULT TOLERANT SYSTEMS; DISTRIBUTED SYSTEMS; ERROR PRONES; ERROR RECOVERY; FAULT TOLERANCE MECHANISMS; FAULT TOLERANT DISTRIBUTED SYSTEMS; FAULT-TOLERANT; FORMAL APPROACH; FORMAL MODEL; REACTIVE SYSTEM; REFINEMENT; SYSTEM COMPONENTS; SYSTEMATIC METHOD;

FAULT TOLERANCE; INTELLIGENT AGENTS; QUALITY ASSURANCE; SOFTWARE ENGINEERING;

FAULT TOLERANT COMPUTER SYSTEMS;

EID: 78649817533     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSEA.2010.34     Document Type: Conference Paper

References (15)

1. T. Anderson and P.A. Lee. Fault Tolerance: Principles and Practice. Prentice-Hall, Englewood Cliffs, 1981.
2. R.J.R. Back, "Refinement calculus, Part II: Parallel and reactive programs". In J. W. de Bakker, W.-P. de Roever, and G. Rozenberg (Eds.), Stepwise Refinement of Distributed Systems, pp. 67-93. New York, Springer-Verlag, 1990.
3. R.J.R. Back and K. Sere, "From modular systems to action systems", Software-Concept and Tools 17, pp. 26-39, 1996.
4. R.J.R. Back and J. von Wright, Refinement Calculus: A Systematic Introduction. New York, Springer-Verlag, 1998.
5. M. Butler, E. Sekerinski, and K. Sere, "An Action System Approach to the Steam Boiler Problem", In J.-R. Abrial, E. Borger and H. Langmaack (Eds.), Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control, pp. 129-148, New York, Springer-Verlag, 1996.
6. F. Cristian. "Exception Handling". In T. Anderson. Dependability of Resilient Computers, pp. 68-97. BSP, 1989.
7. E. W. Dijkstra, A Discipline of Programming. Englewood Cliffs, NJ: Prentice Hall, 1976.
8. S. Kulkarni and A. Arora, "Automating the addition of fault-tolerance", Proc. 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, pp.82-93, IEEE Press 2000.
9. J.-C. Laprie, Dependability: Basic Concepts and Terminology. New York, Springer-Verlag, 1991.
10. N.G. Leveson, Safeware: System Safety and Computers. Addison-Wesley, 1995.
11. E. Sekerinski and K. Sere, "A Theory of Prioritizing Composition", The Computer Journal, 39(8), pp. 701-712, 1996.
12. K. Sere and M. Waldén, "Data Refinement of Remote Procedures", Formal Aspects of Computing, 12(4), pp. 278-297, 2000.
13. K. Sere and E. Troubitsyna, "Safety Analysis in Formal Specification", Proc. World Congress on Formal Methods in the Development of Computing Systems, pp. 1564-1583, Springer, 1999.
14. E. Troubitsyna, "Developing Fault-Tolerant Control Systems Composed of Self-Checking Components in the Action Systems Formalism", Proc. The Workshop on Formal Aspects of Component Software, pp. 167-186, 2003.
15. P. Brito, R.de Lamos, C. Rubira, E. Martins. Architecutring Fault Tolerance with Exception Handling: Verification and Validation. Journ. Of computer Science and Technology, 24 (2), 212-237, March 2009.