Participants : Konstantinos Kapellos, Roger Pissard-Gibollet, Jean-Jacques Borrelly
Au niveau implémentation, l'approche étudiée a été mise en oeuvre en deux applications robotiques complexes en collaboration avec d'autre axes de recherche de notre équipe et avec l'équipe Bip. Ainsi, grâce au développement du logiciel temps-réel pour le robot ANIS [13], le formalisme de la Procédure-robot a été utilisé pour le développement complet, de la spécification-vérification jusqu'à l'implémentation, d'une application de déplacement d'un robot mobile dans un environnement structuré à l'aide de tâches référencées capteurs. Par ailleurs, nous avons participé [10] à l'élaboration d'une application de conduite automatique d'un train `virtuel' de véhicules électriques (Projet PRAXITèLE). Finalement, l'étude d'une application sous-marine mettant en oeuvre la collaboration bras-véhicule, est en cours en collaboration avec IFREMER dans le cadre du projet UNION.