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
Document type :
Reports
Complete list of metadatas

Cited literature [22 references]  Display  Hide  Download
https://hal-lirmm.ccsd.cnrs.fr/lirmm-00576934
Contributor : Christophe Dony <>
Submitted on : Tuesday, March 15, 2011 - 5:14:03 PM
Last modification on : Thursday, January 9, 2020 - 11:36:08 AM
Long-term archiving on: Thursday, November 8, 2012 - 11:50:36 AM

File

exc-FacomaReport08.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : lirmm-00576934, version 1

Collections

CNRS | UPMC | LIP6 | MAREL | LIRMM | LARA | MIPS | UNIV-MONTPELLIER | EM-ALES | SORBONNE-UNIVERSITE | SU-SCIENCES

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

637

Files downloads

411

Contact

Informations

CCSD