Frameworks for designing and implementing dependable systems using Coordinated Atomic Actions: A comparative study

Journal of Systems and Software

Volumn 82, Issue 2, 2009, Pages 207-228

  Capozucca, Alfredo ^a   Guelfi, Nicolas ^a   Pelliccione, Patrizio ^b   Romanovsky, Alexander ^c   Zorzo, Avelino F ^d  

^a UNIVERSITY OF LUXEMBOURG   (Luxembourg)

^b UNIVERSITY OF L'AQUILA   (Italy)

^c NEWCASTLE UNIVERSITY   (United Kingdom)

^d PONTIFICAL CATHOLIC UNIVERSITY OF RIO GRANDE DO SUL   (Brazil)

Author keywords

Dependable distributed systems; Exception handling; Fault tolerance

Indexed keywords

ATOMIC PHYSICS; COMPUTER SOFTWARE; COMPUTER SOFTWARE SELECTION AND EVALUATION; ERRORS; FAULT TOLERANCE; INFORMATION THEORY; MACHINE DESIGN; QUALITY ASSURANCE; RELIABILITY; SEMANTICS; SOFTWARE DESIGN; SOFTWARE RELIABILITY; TERMINOLOGY;

CASE STUDIES; COMPARATIVE STUDIES; COORDINATED ATOMIC ACTION (CAA); DEPENDABLE DISTRIBUTED SYSTEMS; DEPENDABLE MULTIPARTY INTERACTIONS (DMI); DEPENDABLE REMOTE INTERACTING PROCESSES; E HEALTH; ERROR RECOVERY MECHANISMS; EXCEPTION HANDLING; INTERNATIONAL SYMPOSIUM; JAVA IMPLEMENTATION; RUN TIME; STATECHARTS; SYSTEM DESIGNS; SYSTEM SIZES;

FAULT TOLERANT COMPUTER SYSTEMS;

EID: 58549097450     PISSN: 01641212     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jss.2008.05.038     Document Type: Article

References (24)

1. Avizienis A. The N-version approach to Fault-Tolerant software. IEEE Transaction on Software Engineering SE-11 12 (1985) 1491-1501
2. Beck, K., Johnson, R., 1994. Patterns generate architectures. In: Proceedings of European Conference on Object-Oriented Programming (ECOOP), pp. 139-149.
3. Capozucca A., Guelfi N., Pelliccione P., Romanovsky A., and Zorzo A. CAA-DRIP: a framework for implementing Coordinated Atomic Actions. Proceedings of IEEE International Symposium on Software Reliability Engineering (ISSRE) (2006), IEEE Press 385-394
4. Correct Project's Web Page. , 2007.
5. Di Marzo Serugendo G., Guelfi N., Romanovsky A., and Zorzo A. Formal development and validation of java dependable distributed systems. Proceedings of IEEE International Conference on Engineering of Complex Computer Systems (ICECCS) (1999), IEEE Press 98-108
6. Gallina B., Guelfi N., and Romanovsky A. Coordinated atomic actions for dependable distributed systems: the current state in concepts, semantics and verification means. Proceedings of IEEE International Symposium on Software Reliability Engineering (ISSRE) (2007), IEEE Press 29-38
7. Gamma E., Helm R., Johnson R., and Vlissides J. Design Patterns Elements of Reusable Object-Oriented software. fifth ed. (1995), Addison-Wesley Publishing Company
8. Gray J., and Reuter A. Transaction Processing: Concepts and Techniques (1993), Morgan Kaufmann
9. Harel D. Statecharts: a visual formalism for complex systems. Science of Computer Programming 8 3 (1987) 231-274
10. Harel D., and Naamad A. The STATEMATE semantics of statecharts. ACM Transactions on Software Engineering Methodology 5 4 (1996) 293-333
11. Hoare C.A.R. Parallel programming: an axiomatic approach. In: Goos G., and Hartmaur J. (Eds). Languages Hierarchies and Interfaces LNCS 46 (1976), Springer-Verlag
12. Java 2 Platform, Standard Edition (J2SE). , 2007.
13. Lee P., and Anderson T. Fault Tolerance: Principles and Practice. second ed. (1990), Prentice-Hall
14. Ramesh C., Lefever R.M., Joshi K.R., Cukier M., and Sanders W.H. A global-state-triggered fault injector for distributed system evaluation. IEEE Transactions on Parallel and Distributed Systems 15 7 (2004) 593-605
15. Randell B. System structure for software fault tolerance. IEEE Transactions on Software Engineering SE-1 2 (1975) 220-232
16. Romanovsky A., Periorellis P., and Zorzo A. On structuring integrated web applications for fault tolerance. Proceedings of International Symposium on Autonomous Decentralized Systems (ISADS) (2003), IEEE Press 99-106
17. Tartanoglu, F., Levy, N., Issarny, V., Romanovsky, A., 2004. Using the B method for the formalization of Coordinated Atomic Actions. Technical Report CS-TR: 865, School of Computing Science, University of Newcastle upon Tyne, UK.
18. Vachon, J., 2000. COALA: a design language for reliable distributed systems. Ph.D. Thesis, Ecole Polytechnique Fédérale de Lausanne, CH-1015 Lausanne, Suisse, 2000.
19. Veloudis S., and Nissanke N. Modelling Coordinated Atomic Actions in timed CSP. Proceedings of 6th International Symposium on Formal Techniques in Real-Time Fault Tolerant Systems (FTRTFT), LNCS 1926 (2000), Springer-Verlag 228-239
20. Xu J., Randell B., Romanovsky A., Rubira C.M.F., Stroud R.J., and Wu Z. Fault tolerance in concurrent object-oriented software through coordinated error recovery. Proceedings of IEEE International Symposium on Fault-Tolerant Computing (FTCS) (1995), IEEE Press 499-508
21. Xu J., Randell B., Romanovsky A., Stroud R., Zorzo A., Canver E., and von Henke F. Rigorous development of a safety-critical system based on Coordinated Atomic Actions. IEEE Transactions on Computers 51 2 (2002) 164-179
22. Zorzo, A., 1999. Multiparty interactions in dependable distributed systems. Ph.D. Thesis, University of Newcastle upon Tyne, Newcastle upon Tyne, UK.
23. Zorzo A.F., and Stroud R.J. A distributed object-oriented framework for dependable multiparty interactions. Proceedings of ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) (1999), ACM Press 435-446
24. Zorzo A., Romanovsky A., Xu J., Randell B., Stroud R., and Welch I. Using Coordinated Atomic Actions to design safety-critical systems: a production cell case study. Software: Practice and Experience 29 8 (1999) 677-697