An algorithm for safely stopping a component system - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 2008

An algorithm for safely stopping a component system

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.
Fichier principal
Vignette du fichier
RR-6444.pdf (261.89 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

inria-00239449 , version 1 (05-02-2008)
inria-00239449 , version 2 (07-02-2008)

Identifiers

  • HAL Id : inria-00239449 , version 2

Cite

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

Share

Gmail Facebook Twitter LinkedIn More