Title :
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.
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;
Conference_Titel :
Emerging Technologies and Factory Automation, 2005. ETFA 2005. 10th IEEE Conference on
Conference_Location :
Catania
Print_ISBN :
0-7803-9401-1
DOI :
10.1109/ETFA.2005.1612616
