Premium
Using coordinated atomic actions to design safety‐critical systems: a production cell case study
Author(s) -
Zorzo A. F.,
Romanovsky A.,
Xu J.,
Randell B.,
Stroud R. J.,
Welch I. S.
Publication year - 1999
Publication title -
software: practice and experience
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.437
H-Index - 70
eISSN - 1097-024X
pISSN - 0038-0644
DOI - 10.1002/(sici)1097-024x(19990710)29:8<677::aid-spe251>3.0.co;2-z
Subject(s) - structuring , scheduling (production processes) , computer science , java , fault tolerance , object oriented programming , production (economics) , distributed computing , reliability engineering , engineering , programming language , operations management , finance , economics , macroeconomics
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. Copyright © 1999 John Wiley & Sons, Ltd.