Combining Exception Handling and Replication for Improving the Reliability of Agent Software

Christophe Dony 1 Selma Kchir 2 Chouki Tibermacine 1 Christelle Urtado 3 Sylvain Vauttier 3 Sylvain Ductor 4 Zahia Guessoum 4
1 MAREL - Models And Reuse Engineering, Languages
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
2 LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
3 LGI2P - Laboratoire de Génie Informatique et Ingénierie de Production
4 LIP6 - Laboratoire d'Informatique de Paris 6
Abstract : Exception handling and replication are two complementary mechanisms that increase software reliability. Exception handling helps programmers in controlling situations in which the normal execution flow of a program cannot continue. Replication handles system fail- ures through redundancy. Combining both techniques is a first step to- wards building a trustworthy software engineering framework. This paper presents some of the results from the Facoma project. It proposes the specification of an exception handling system for replicated agents as an adaptation of the Sage proposal. It then describes its implementation in the Dimax replicated agent environment.
Keywords : Exception handling replication agent component
Type de document :
Rapport
RR-11009, 2010, pp.10
Liste complète des métadonnées

Littérature citée [22 références]  Voir  Masquer  Télécharger
https://hal-lirmm.ccsd.cnrs.fr/lirmm-00576934
Contributeur : Christophe Dony <>
Soumis le : mardi 15 mars 2011 - 17:14:03
Dernière modification le : mercredi 21 mars 2018 - 18:57:05
Document(s) archivé(s) le : jeudi 8 novembre 2012 - 11:50:36

Fichier

exc-FacomaReport08.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : lirmm-00576934, version 1

Collections

UPMC | LIP6 | MAREL | LIRMM | LARA | MIPS | UNIV-MONTPELLIER | EM-ALES

Citation

Christophe Dony, Selma Kchir, Chouki Tibermacine, Christelle Urtado, Sylvain Vauttier, et al.. Combining Exception Handling and Replication for Improving the Reliability of Agent Software. RR-11009, 2010, pp.10. 〈lirmm-00576934〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

408

Téléchargements de fichiers

237

Contact

support.ccsd.cnrs.fr
hal.support@ccsd.cnrs.fr
Logo CCSD