IMT - MINES ALES - IMT - MINES ALES (IMT - Mines Ales École des Mines
Site de Clavières : 6 avenue de Clavières, 30319 Alès Cedex
Site de Croupillac : Rue Jules Renard, 30100 Alès
Site de Pau : Hélioparc (bâtiment Einstein 1), 2 avenue du Président-Pierre-Angot, 64053 Pau Cedex 9 - France)
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.
https://hal-lirmm.ccsd.cnrs.fr/lirmm-00576934 Contributor : Christophe DonyConnect in order to contact the contributor Submitted on : Tuesday, March 15, 2011 - 5:14:03 PM Last modification on : Friday, August 5, 2022 - 3:03:19 PM Long-term archiving on: : Thursday, November 8, 2012 - 11:50:36 AM