Using coordinated atomic actions to design safety-critical systems: A production cell case study

Software - Practice and Experience

Volumn 29, Issue 8, 1999, Pages 677-697

  Zorzo, A F ^a   Romanovsky, A ^a   Xu, J ^a   Randell, B ^a   Stroud, R J ^a   Welch, I S ^a  

^a NEWCASTLE UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER GRAPHICS; COMPUTER SIMULATION; FAULT TOLERANT COMPUTER SYSTEMS; OBJECT ORIENTED PROGRAMMING;

COORDINATED ATOMIC (CA) ACTIONS; SAFETY CRITICAL SYSTEMS;

COMPUTER SYSTEMS PROGRAMMING;

EID: 0345534552     PISSN: 00380644     EISSN: None     Source Type: Journal    
DOI: 10.1002/(SICI)1097-024X(19990710)29:8<677::AID-SPE251>3.0.CO;2-Z     Document Type: Article

References (15)

1. J. Xu, B. Randell, A. Romanovsky, C. Rubira, R. Stroud and Z. Wu, 'Fault tolerance in concurrent object-oriented software through coordinated error recovery', Proc. of the 25th Int. Symp. on Fault-Tolerant Computing, IEEE CS Press, Pasadena, USA, 1995, pp. 450-457.
2. B. Randell, A. Romanovsky, R. J. Stroud, J. Xu and A. F. Zorzo, 'Coordinated Atomic Actions: from Concept to Implementation', Department of Computing Science. Technical Report TR595, University of Newcastle upon Tyne, 1997.
3. J. N. Gray and A. Reuter, Transaction Processing: Concepts and Techniques, Morgan Kaufmann, 1993.
4. F. Cristian, 'Exception handling', in T. Anderson (ed.), Dependability of Resilient Computers, Blackwell Scientific, Oxford, UK, 1989, pp. 68-97.
5. R. H. Campbell and B. Randell, 'Error recovery in asynchronous systems', IEEE Transactions on Software Engineering, SE-12(8), 811-826 (1986).
6. A. Romanovsky, J. Xu and B. Randell, 'Exception handling and resolution in distributed object-oriented systems', Proc. of 16th IEEE Int. Conference on Distributed Computing Systems, Hong Kong, May 1996, pp. 545-552.
7. B. Randell, 'System structure for software fault tolerance', IEEE Transactions on Software Engineering, SE-1(2), 220-232 (1975).
8. C. Lewerentz and T. Lindner, 'Formal development of reactive systems: Case study production cell', Vol 891 of Lectures Notes in Computer Science, Springer-Verlag, January 1995.
9. N. Wirth, 'Toward a discipline of real-time programming', CACM, 20(8) (August 1977).
10. S. Shrivastava, G. N. Dixon and G. D. Parrington, 'An overview of the Arjuna distributed programming system', IEEE Software, 8(1) 66-73 (1991).
11. A. F. Zorzo, A. Romanovsky, J. Xu, B. Randell, R. J. Stroud and I. S. Welch, 'Using Coordinated Atomic Actions to Design Safety-Critical Systems: The Production Cell Case Study', in DeVa - Design for Validation - Technical Report number 37, ESPRIT Long Term Research Project 20072, 1997.
12. A. F. Zorzo, A. Romanovsky, J. Xu, B. Randell, R. J. Stroud and I. S. Welch, 'Using Coordinated Atomic Actions to Design Dependable Distributed Object Systems', in DeVa - Design for Validation - Second Year Report, ESPRIT Long Term Research Project 20072, December 1997, pp. 241-260.
13. E. Canver, 'Formal Verification of the CAA-Design of the Production Cell', in DeVa - Design for Validation - Second Year Report, ESPRIT Long Term Research Project 20072, December 1997, pp. 357-383.
14. J. Xu, A. Romanovsky, A. F. Zorzo, B. Randell, R. J. Stroud and E. Canver, 'Developing Control Software for Production Cell II: Failure Analysis and System Design using CA Actions', in DeVa - Design for Validation - Third Year Report, ESPRIT Long Term Research Project 20072, December 1998.
15. A. Lötzbeyer and R. Muhlfeld, 'Task Description of a Fault-Tolerant Production Cell', FZI Technical Report, Karsruhe, Germany, 1996. http://www.fzi.de/divisions/prost/projects/korsys/korsys.html