Sujet de stage de Master ou d'Ingénieur

- Laboratoire d'accueil

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

- 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é 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 est de la faire cohabiter harmonieusement.
  Cette implantation est réalisée et demande à être validée sur un exemple significatif.
  

• finaliser l’implantation JAVA de de SAGE dans DIMAX et mettre en oeuvre une étude de cas de suivi du contrôle aérien dont la spécification sera fournie
• étudier et implanter de nouveaux protocoles d'interaction entre agents, intéraction prenant en compte les pannes et les fautes potentielles, utilisant l'implantation réalisée.
• participer à une rédaction d'article sur la base de l'étude de cas.

 - 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)

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

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