An application of fault tolerance patterns and coordinated atomic actions to a problem in railway scheduling

Authors:
D. M. Beder;A. Romanovsky;B. Randell;C. R. Snow;R. J. Stroud
Affiliations:
University of Newcastle upon Tyne, NE1 7RU, United Kingdom;University of Newcastle upon Tyne, NE1 7RU, United Kingdom;University of Newcastle upon Tyne, NE1 7RU, United Kingdom;University of Newcastle upon Tyne, NE1 7RU, United Kingdom;University of Newcastle upon Tyne, NE1 7RU, United Kingdom
Venue:
ACM SIGOPS Operating Systems Review
Year:
2000

Citing 9
Cited 7

Error recovery in asynchronous systems

IEEE Transactions on Software Engineering
Design patterns: elements of reusable object-oriented software

Design patterns: elements of reusable object-oriented software
Pattern-oriented software architecture: a system of patterns

Pattern-oriented software architecture: a system of patterns
Coordinated atomic actions as a technique for implementing distributed gamma computation

Journal of Systems Architecture: the EUROMICRO Journal - Special issue on new trends in programming and execution models for parallel architectures, heterogeneously distributed systems and mobile computing
Using coordinated atomic actions to design safety-critical systems: a production cell case study

Software—Practice & Experience
Transaction Processing: Concepts and Techniques

Transaction Processing: Concepts and Techniques
Rigorous Development of a Safety-Critical System Based on Coordinated Atomic Actions

FTCS '99 Proceedings of the Twenty-Ninth Annual International Symposium on Fault-Tolerant Computing
Coordinated Exception Handling in Distributed Object Systems: From Model to System Implementation

ICDCS '98 Proceedings of the The 18th International Conference on Distributed Computing Systems
Fault Tolerance in Concurrent Object-Oriented Software through Coordinated Error Recovery

FTCS '95 Proceedings of the Twenty-Fifth International Symposium on Fault-Tolerant Computing

An architectural-based reflective approach to incorporating exception handling into dependable software

Advances in exception handling techniques
An Architectural-Based Reflective Approach to Incorporating Exception Handling into Dependable Software

Advances in Exception Handling Techniques (the book grow out of a ECOOP 2000 workshop)
Improving reliability of cooperative concurrent systems with exception flow analysis

Journal of Systems and Software
Global-to-local approach to rigorously developing distributed system with exception handling

Journal of Computer Science and Technology
Formalization of an architectural model for exception handling coordination based on CA action concepts

Science of Computer Programming
A pattern-based approach for modeling and analyzing error recovery

Architecting dependable systems IV
COPA-CASE: methodological environment for the generation, application and validation of coordination patterns

OTM'07 Proceedings of the 2007 OTM confederated international conference on On the move to meaningful internet systems - Volume Part I

Quantified Score

Hi-index	0.00

Visualization

Abstract

Developing and applying advanced approaches for system structuring is vital for fighting ever-increasing complexity of modern and future software systems. The concept of Coordinated Atomic (CA) actions has been developed at Newcastle University for designing and structuring complex concurrent and distributed applications. Certain successful experience has been gained in applying them in several application areas. The purpose of the research, some initial results of which we report here, is twofold: to show how CA actions can be used in a new application area (a railway control system) and to analyse how the design patterns which have been developed using our previous experience can help in designing such system using CA actions.