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 , 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.
Type de document :
Rapport
[Research Report] RR-6444, INRIA. 2008, pp.18
Liste complète des métadonnées

Littérature citée [1 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00239449
Contributeur : Rapport de Recherche Inria <>
Soumis le : jeudi 7 février 2008 - 10:27:27
Dernière modification le : jeudi 11 janvier 2018 - 16:14:55
Document(s) archivé(s) le : mardi 21 septembre 2010 - 15:58:14

Fichiers

RR-6444.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • 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〉

Partager

Métriques

Consultations de la notice

219

Téléchargements de fichiers

201