article

Free access

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

Authors:

R. J. StroudAuthors Info & Claims

ACM SIGOPS Operating Systems Review, Volume 34, Issue 4

Pages 21 - 31

https://doi.org/10.1145/506106.506109

Published: 01 October 2000 Publication History

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.

References

[1]

D. Beder, C. Rubira, "A Meta-Level Software Architecture based on Patterns for Developing Dependable Collaboration-based Designs", Proc. 2nd Brazilian Workshop on Fault Tolerance (WTF'00), Curitiba, Brazil, 2000.

[2]

F. Buschmann, R. Meunier, H. Rohnert, P. Sommerlad, M. Stal, "A System of Patterns: Patterns-Oriented Software", John Wiley & Sons, 1996.

Digital Library

[3]

R. Campbell, B. Randell, "Error Recovery in Asynchronous Systems", IEEE TSE, SE-12, 8, 1986, 811-826.

Digital Library

[4]

E. Gamma, R. Helm, R. Johnson, J. Vlissides, "Design Patterns: Elements of Reusable Object-Oriented Software", Addison-Wesley, 1995.

Digital Library

[5]

A. Garcia, D. Beder, C. Rubira, "A Software Architecture Based on Patterns for Exceptional Condition Handling", Submitted to 5th IEEE Int. Symp. on High Assurance Systems Engineering (ISHASE'2000).

[6]

J. Gray & A. Reuter, "Transaction Processing: Concepts and Techniques", Morgan Kaufmann Publ., 1993.

Digital Library

[7]

W. Janssen, D. Severson, M. Spreitzer, "ILU 1.8 reference Manual", Xerox Corporation, 1995.

[8]

A. Oliva & L. Buzato, "Composition of Meta-Objects in Guaranáá", Proc. OOPSLA Workshop on Reflective Programming in C++ and Java, Vancouver, Canada, 86-90, 1998.

[9]

A. Romanovsky, J. Xu, B. Randell, "Coordinated Exception Handling in Real-Time Distributed Object Systems", Computer Systems Science and Engineering, 14, 4, 1999, 197-208.

[10]

A. Romanovsky, A. Zorzo, "Coordinated Atomic Actions as a Technique for Implementing Distributed Gamma Computation", Journal of Systems Architecture, 45, 15, 1999, 1357-1374.

Digital Library

[11]

C. Rubira, "Structuring Fault-Tolerant Object-Oriented Systems Using Inheritance and Delegation", PhD Thesis, Department of Computing Science, University of Newcastle upon Tyne, 1994.

[12]

C. Snow, "Distributed Real-Time Control of a Distributed Model Railway Layout", in preparation.

[13]

J. Vachon, D. Buchs, M. Buffo, G. Serugendo, B. Randell, A. Romanovsky, R. Stroud, J. Xu, "COALA --- A Formal Language for Co-ordinated Atomic Actions", 3rd Year Report, ESPRIT LTR Project on Design for Validation, 1998.

[14]

J. Xu, B. Randell, A. Romanovsky, C. Rubira, R. Stroud, Z. Wu, "Fault Tolerance in Concurrent Object-Oriented Software through Co-ordinated Error Recovery", Proc. 25th Int. Symp. on Fault-Tolerant Computing, Pasadena, USA, 1995, 499-508.

Digital Library

[15]

J. Xu, A. Romanovsky, B. Randell, "Coordinated Exception Handling in Distributed Object Systems: from Model to System Implementation", Proc. 18th Int. Conf. Distributed Computing Systems, Amsterdam, 1998, 26-29.

Digital Library

[16]

J. Xu, B. Randell, A. Romanovsky, R. J. Stroud, A. Zorzo, E. Canver, F. von Henke, "Rigorous Development of a Safety-Critical System Based on Coordinated Atomic Actions", Proc. 29th Int. Symp. on Fault-Tolerant Computing, Madison, USA, 1999, 68-75.

Digital Library

[17]

A. Zorzo, A. Romanovsky, J. Xu, B. Randell, R. Stroud, I. Welch, "Using Coordinated Atomic Actions to Design Complex Safety-Critical Systems: The Production Cell Case Study", Software: Practice & Experience, 29, 7, 1999, 1-21.

Digital Library

Cited By

Hanazumi Sde Melo A(2017)A Formal Approach to implement java exceptions in cooperative systemsJournal of Systems and Software10.1016/j.jss.2016.07.033131:C(475-490)Online publication date: 1-Sep-2017
https://dl.acm.org/doi/10.1016/j.jss.2016.07.033
Lloyd J(2013)Special Issue on Dependable Software SystemsThe Computer Journal10.1093/comjnl/bxt01656:6(671-673)Online publication date: 1-Jun-2013
https://dl.acm.org/doi/10.1093/comjnl/bxt016
Hanazumi Sde Melo A(2012)Coordinating Exceptions of Java SystemsProceedings of the 2012 Eighth International Conference on the Quality of Information and Communications Technology10.1109/QUATIC.2012.26(108-113)Online publication date: 2-Sep-2012
https://dl.acm.org/doi/10.1109/QUATIC.2012.26
Show More Cited By

Recommendations

Atomic actions in concurrent systems (fault-tolerance, control)
On distribution of coordinated atomic actions

The concept of coordinated atomic (CA) actions was introduced about two years ago. Since then this research has addressed many new problems and, in particular, problems of CA action distribution and implementation. Recently we have gained some ...
DISCONNECTED ACTIONS: AN ASYNCHRONOUS EXTENSION TO A NESTED ATOMIC ACTION SYSTEM

Comments

Information & Contributors

Information

Published In

cover image ACM SIGOPS Operating Systems Review

ACM SIGOPS Operating Systems Review Volume 34, Issue 4

October 2000

90 pages

ISSN:0163-5980

DOI:10.1145/506106

Issue’s Table of Contents

Copyright © 2000 Authors.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 October 2000

Published in SIGOPS Volume 34, Issue 4

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

16
Total Citations
View Citations
405
Total Downloads

Downloads (Last 12 months)15
Downloads (Last 6 weeks)8

Reflects downloads up to 15 Sep 2024

Other Metrics

View Author Metrics

Citations

Cited By

Hanazumi Sde Melo A(2017)A Formal Approach to implement java exceptions in cooperative systemsJournal of Systems and Software10.1016/j.jss.2016.07.033131:C(475-490)Online publication date: 1-Sep-2017
https://dl.acm.org/doi/10.1016/j.jss.2016.07.033
Lloyd J(2013)Special Issue on Dependable Software SystemsThe Computer Journal10.1093/comjnl/bxt01656:6(671-673)Online publication date: 1-Jun-2013
https://dl.acm.org/doi/10.1093/comjnl/bxt016
Hanazumi Sde Melo A(2012)Coordinating Exceptions of Java SystemsProceedings of the 2012 Eighth International Conference on the Quality of Information and Communications Technology10.1109/QUATIC.2012.26(108-113)Online publication date: 2-Sep-2012
https://dl.acm.org/doi/10.1109/QUATIC.2012.26
Narayanaswami SRangaraj N(2012)Scheduling and Rescheduling of Railway Operations: A Review and Expository AnalysisTechnology Operation Management10.1007/s13727-012-0006-x2:2(102-122)Online publication date: 7-Jun-2012
https://doi.org/10.1007/s13727-012-0006-x
Pereira Dde Melo A(2010)Formalization of an architectural model for exception handling coordination based on CA action conceptsScience of Computer Programming10.1016/j.scico.2009.12.00675:5(333-349)Online publication date: 1-May-2010
https://dl.acm.org/doi/10.1016/j.scico.2009.12.006
Castor Filho FRomanovsky ARubira C(2009)Improving reliability of cooperative concurrent systems with exception flow analysisJournal of Systems and Software10.1016/j.jss.2008.12.01582:5(874-890)Online publication date: 1-May-2009
https://dl.acm.org/doi/10.1016/j.jss.2008.12.015
Cai CQiu ZYang HZhao X(2009)Global-to-local approach to rigorously developing distributed system with exception handlingJournal of Computer Science and Technology10.1007/s11390-009-9220-924:2(238-249)Online publication date: 1-Mar-2009
https://dl.acm.org/doi/10.1007/s11390-009-9220-9
Pérez-Serrano PSánchez-Alonso M(2007)COPA-CASEProceedings of the 2007 OTM confederated international conference on On the move to meaningful internet systems - Volume Part I10.5555/1780909.1780965(255-264)Online publication date: 25-Nov-2007
https://dl.acm.org/doi/10.5555/1780909.1780965
Ebnenasir ACheng B(2007)A pattern-based approach for modeling and analyzing error recoveryArchitecting dependable systems IV10.5555/1768283.1768291(115-141)Online publication date: 1-Jan-2007
https://dl.acm.org/doi/10.5555/1768283.1768291
Mili ASheldon F(2007)Measuring Reliability as a Mean Failure CostProceedings of the 10th IEEE High Assurance Systems Engineering Symposium10.1109/HASE.2007.47(403-404)Online publication date: 14-Nov-2007
https://dl.acm.org/doi/10.1109/HASE.2007.47
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Media

Figures

Other

Tables

View Issue’s Table of Contents