Toggle Main Menu Toggle Search

Open Access padlockePrints

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

Lookup NU author(s): Avelino Zorzo, Professor Alexander RomanovskyORCiD, Professor Brian RandellORCiD, Dr Robert Stroud, Ian Welch

Downloads

Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


Abstract

Coordinated Atomic actions (CA actions) are a unified approach to structuring complex concurrent activities and supporting error recovery between multiple interacting objects in object-oriented systems. 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 Informatik (FZI), 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 deals with the interactions between 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. A controlling program based on our design was developed in the Java language and used to drive a graphical simulator provided by the FZI.


Publication metadata

Author(s): Zorzo AF, Romanovsky A, Xu J, Randell B, Stroud RJ, Welch IS

Publication type: Article

Publication status: Published

Journal: Software - Practice and Experience

Year: 1999

Volume: 29

Issue: 8

Pages: 677-697

Print publication date: 10/07/1999

ISSN (print): 0038-0644

ISSN (electronic): 1097-024X

Publisher: Wiley-Blackwell

URL: http://dx.doi.org/10.1002/(SICI)1097-024X(19990710)29:8<677::AID-SPE251>3.0.CO;2-Z

DOI: 10.1002/(SICI)1097-024X(19990710)29:8<677::AID-SPE251>3.0.CO;2-Z


Altmetrics

Altmetrics provided by Altmetric


Share