Using Coordinated Atomic Actions to Design Complex Safety-Critical Systems: The Production Cell Case Study A.F.Zorzo
|
Abstract:
Coordinated Atomic actions (CA actions) are a unified approach to structuring complex concurrent activities and supporting error recovery between multiple interacting objects in an dependable object-oriented system. This paper explains how we have used the CA action concept to design and implement a safety-critical application. We have used the Production Cell model that was developed in the Forschungszentrum (FZI) Informatik, Karlsruhe, Germany, to present a realistic industry-oriented problem, where safety requirements play a significant role. Our design consists of two levels: the first level deals with the scheduling of CA actions, and the second level of design deals with the interactions of the devices. Both the scheduling mechanism and the device interactions are enclosed by CA actions. Exception handling and error recovery are incorporated into CA actions in order to satisfy high safety and fault tolerance requirements. Based on the design, a controlling software was developed in the Java language to drive a graphical simulator provided by the FZI.
Citations
| 120 | An Overview of the ARJUNA Distributed Programming System – Shrivastava, Dixon, et al. - 1991 |
| 80 | Fault Tolerance in Concurrent Object-Oriented Software through Coordinated Error Recovery – Xu, Randell, et al. - 1995 |
| 77 | Error recovery in asynchronous systems – Campbell, Randell - 1986 |
| 59 | Formal Development of Reactive Systems - Case Study Production Cell – Lindner - 1995 |
| 42 | Zorzo, “Coordinated atomic actions: from concept to implementation,” Special Issue of – Randell, Romanovsky, et al. - 1997 |
| 36 | Toward a discipline of real-time programming – Wirth - 1977 |
| 35 | Exception handling and resolution in distributed object-oriented systems – Romanovsky, Xu, et al. - 1996 |
| 28 | Interacting Processes: A Multiparty Approach to Coordinated Distributed Programming – Francez, Forman - 1996 |
| 23 | Exception handling – Cristian - 1989 |
| 1 | Temporal Firewalls – Kopetz - 1997 |
