Using Coordinated Atomic Actions to Design Production Cell Case Study
We have used Production Cell case study to demonstrate our approach to structuring complex concurrent activities and to supporting error recovery between multiple interacting objects in object-oriented systems. To do this we designed a control program using Coordinated Atomic (CA) actions (a list of papers and reports on CA actions) and implemented it in Java language. The control program was then slightly extended to cope with some simple fault situations such as transient software or hardware faults. It was assumed that if the controlled system is returned to a previously correct state following a transient fault and the operation is repeated, there is a high degree of probability that the same fault will not occur again. The developed program was applied to a Tcl/Tk simulator, demonstrating how functional and safety-related requirements could be satisfied by controlled multi-threaded cooperation and the strict enclosure of interaction between cooperating devices. The last paper reports the results of the verification of this design; it was performed by our colleagues in Ulm University.
This research was supported by Design for Validation (DeVa) Basic ESPRIT Project.
Publications:
- A.F. Zorzo, A. Romanovsky, J. Xu, B. Randell, R.J. Stroud, I.S. Welch. Using Coordinated Atomic Actions to Design Complex Safety-Critical Systems: The Production Cell Case Study. Software: Practice & Experience. , Vol. 29, No. 7, 1999, pp. 1-21. A preliminary version: Technical Report, TR No. 37, Design for Validation ESPRIT Project. University of Newcastle upon Tyne, 1997. ps file
- A.F. Zorzo, A. Romanovsky, J. Xu, B. Randell, R. Stroud, I. Welch, "Using Coordinated Atomic Actions to Design Dependable Distributed Object Systems", Presented on OOPSLA'97 Workshop on Dependable Distributed Object Systems. USA. 1997. A preliminary version: Computing Dept., University of Newcastle upon Tyne, TR 619, 1997. ps file
- E. Canver. Formal Verification of the CAA Design of the Production Cell. Design for Validation (DeVa) Basic ESPRIT Project. Second Year Report, Volume 2, University of Newcastle, UK, February, 1998. ps file
Last updated by Alexander Romanovsky on September 28, 1999 (email: alexander.romanovsky@newcastle.ac.uk)