An approach to modelling and analysis of coordinated atomic actions

Author

Veloudis, Simeon ; Nissanke, Nimal

Author_Institution

Inst. for Comput. Res., London South Bank Univ.

Volume

1

fYear

2005

fDate

19-22 Sept. 2005

Lastpage

872

Abstract

Coordinated atomic (CA) action is a widely used approach to structuring concurrent activities in distributed embedded applications. Recovery from failures is one of its major concerns. Despite the intuitive simplicity, reasoning about failure recovery in CA actions is rather complex because of the interaction between various system components. This paper proposes an approach based on timed CSP for modelling CA actions and reasoning about different forms of interaction between system components, addressing issues such as failure modes, means of fault-tolerance and fail-safe mechanisms

Keywords

communicating sequential processes; embedded systems; fault tolerant computing; system recovery; coordinated atomic action; distributed embedded application; fail-safe mechanism; failure recovery; fault-tolerance; timed CSP; Aerospace control; Aerospace safety; Air safety; Concurrent computing; Control systems; Distributed computing; Embedded computing; Fault tolerant systems; Real time systems; Yarn; CA actions; Critical real-time embedded systems; fault tolerance; safety; timed CSP;

fLanguage

English

Publisher

ieee

Conference_Titel

Emerging Technologies and Factory Automation, 2005. ETFA 2005. 10th IEEE Conference on

Conference_Location

Catania

Print_ISBN

0-7803-9401-1

Type

conf

DOI

10.1109/ETFA.2005.1612616

Filename

1612616