Skip to Main content Skip to Navigation
Reports

An algorithm for safely stopping a component system

Ludovic Henrio 1 Marcela Rivera 1
1 OASIS - Active objects, semantics, Internet and security
CRISAM - Inria Sophia Antipolis - Méditerranée , Laboratoire I3S - COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
Abstract : This report proposes an algorithm for safely stopping a subsystem of a component assembly. More precisely, it safely stops a component and all its subcomponents in a distributed and hierarchical component model. Our components are distributed, autonomous, and communicating asynchronously. Thus, one of the great challenges addressed by this report is to synchronize those components during a process which involves their deactivation. This algorithm has been prototyped and experimented on a distributed component example. This report also describes the main properties of our algorithm (both correctness and termination) and its requirements on the component system to be stopped.
Complete list of metadata

Cited literature [1 references]  Display  Hide  Download

https://hal.inria.fr/inria-00239449
Contributor : Rapport de Recherche Inria <>
Submitted on : Thursday, February 7, 2008 - 10:27:27 AM
Last modification on : Monday, October 12, 2020 - 10:30:21 AM
Long-term archiving on: : Tuesday, September 21, 2010 - 3:58:14 PM

Files

RR-6444.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00239449, version 2

Collections

Citation

Ludovic Henrio, Marcela Rivera. An algorithm for safely stopping a component system. [Research Report] RR-6444, INRIA. 2008, pp.18. ⟨inria-00239449v2⟩

Share

Metrics

Record views

311

Files downloads

277