Précédent : Contrats industriels (nationaux, européens et Remonter : Contrats industriels (nationaux, européens et Suivant : Action TWO
Précédent : Contrats industriels (nationaux, européens et
Remonter : Contrats industriels (nationaux, européens et
Suivant : Action TWO
Participants : Mireille Ducassé, Erwan Jahier.
Mots clés : Environnement de programmation, Mercury, Programmation logique, Débogage .
Le projet LANDE participe au projet industriel européen ARGo (Ruggedized and High performance logic Programming for the Real World, Industrial RTD Project No 25503, ref. Inria: 1 97 C 843) qui a été lancé en novembre 1997 pour une durée de 18 mois.
Les déclarations de type, de mode et de déterminisme font de Mercury un langage produisant un code à la fois plus efficace et plus sûr que les langages de programmation logique actuels. Les parties déterministes des programmes sont aussi rapides que leurs équivalents en C. De plus, beaucoup de fautes sont détectées dès la compilation. L'expérience de nos partenaires industriels montre, cependant, que les fautes résiduelles sont d'autant plus difficiles à localiser et comprendre qu'elles sont peu nombreuses. Un outil de débogage de haut niveau est donc nécessaire.
L'objectif du projet ARGo est de mettre en oeuvre un environnement industriel de développement de programmes logiques Mercury. Deux applications industrielles existantes seront portées sur le nouvel environnement afin de le valider. Ces applications concernent la facturation hospitalière et le diagnostic de matériel défectueux. LANDE est plus particulièrement concerné par les problèmes de débogage.
Nous avons mis en oeuvre un prototype d'analyse de trace (cf. module 6.1.6). Un manuel utilisateur et des démonstrations ont été présentés à la revue officielle du projet en décembre 1998. Les partenaires industriels du consortium sont Mission Critical (Belgique) et Dassault Electronique (France). Mission Critical est le coordinateur du projet. Nos partenaires universitaires sont Katholieke Universiteit Leuven (Belgique), University of Melbourne (Australie), Facultés Universitaires Notre Dame de la Paix à Namur (Belgique).