Sujet de stage de Master Recherche

Gestion des exceptions dans un langage d'agents avec réplication

- Encadrement et Contexte

• Encadrant : Christophe Dony
• Le travail sera réalisé dans le contexte de la suite du projet ANR  FACOMA (Fiabilisation Adaptative d'applications COopératives Multi-Agents) en partenariat avec l'université Paris VI-LIP6 et l'école des mines d'Ales-LGI2P (Christelle Urtado, Sylvain Vauttier).

- Mots clés

• Mécanisme de gestion des exceptions, réplication active/passive, agents logiciels, communications asynchrones.

- Sujet et Travail à réaliser

• Nous avons réalisé (voir publication 1 et 2 ci-dessous) un système de gestion des exceptions dédié aux programmeurs développant des applications multi-agents dans un contexte doté d'un système de réplication. La réplication est un mécanisme de tolérance aux pannes. La gestion des exceptions permet de définir des programmes tolérants aux fautes. Les deux mécanismes sont complémentaires et un des buts du projet FACOMA a été de les faire cohabiter harmonieusement. Cette implantation est réalisée et le but du stage est de travailler à son exploitation selon un des axes suivants.
• Mettre en oeuvre une étude de cas sur un exemple de suivi du contrôle aérien dont la spécification sera fournie. Participer à une rédaction d'un article sur la base de cette étude de cas.
• étudier et implanter de nouveaux protocoles d'interaction entre agents en présence d'exceptions ou de pannes.

 - Compétences requises

• Ce stage est destiné à un étudiant connaissant bien les systèmes multi-agent, les communications asynchrones et aimant la programmation.
• Maîtrise de la programmation orientée objets en JAVA.
• Maîtrise des mécanismes de gestion d'exceptions dans les langages à objets (appréciées)
• Connaissances de base sur la réplication (appréciées)

- Equipe d'accueil

• LIRMM (UMR 5506, Université Montpellier II et CNRS) - équipe D'OC (Données, Objets et Composants)

- Publications de l'équipe sur le thème

1.  C. Dony, Sylvain Ductor, Zahia Guessoum, Selma Kchir, C. Tibermacine, C. Urtado and S. Vauttier. An Exception Handling System for a Replicated Agent Environment and its Implementation in DimaX. 2010. Submitted for publication.
2. C. Dony, C. Tibermacine, C. Urtado and S. Vauttier. Specification of an Exception Handling System for a Replicated Agent Environment. In proceedings of the 4th International Workshop on Exception Handling (WEH.08), held in conjunction with ACM SIGSOFT 2008 / FSE 16, Atlanta, Georgia, USA, November 2008. ACM Digital Library.
3. C. Dony, C. Urtado and S. Vauttier. Exception handling and asynchronous active objects: Issues and proposal. In Advanced Topics in Exception Handling Techniques, C. Dony, J. Knudsen, A. Romanovsky and A. Tripathi, editors, LNCS 4119, chapter 5, Springer-Verlag, pages 81-100, 2006.
4. F. Souchon, C. Dony, C. Urtado, and S. Vauttier. A Proposition for Exception Handling in Multi-Agent Systems. In Proceedings of the 2nd International Workshop on Software Engineering for Large-Scale Multi-Agent Systems (SELMAS'03), Portland, Oregon, 2003.

- Informations pratiques

• Le stage se déroulera dans les locaux du LIRMM à l'adresse suivante : 161 rue Ada, 34000 Montpellier.
• Rémunération : indemnité de stage de 8 mois, 360 euros/mois. Durée extensible.
• Les personnes intéressées sont priées de prendre contact par courriel : dony@lirmm.fr