previous up next contents
Précédent : Commande référencée capteur Remonter : Actions de recherche Suivant : Vérification logique et

Atelier de génie logiciel pour la robotique

 

Les systèmes robotiques sont des exemples de processus décentralisés, multitâches et à dynamiques rapides. La programmation de ces systèmes est complexe, difficile et fait l'objet de nombreuses études. Aux aspects classiques de convivialité des interfaces et de réutilisabilité du logiciel s'ajoutent des contraintes d'efficacité à l'exécution en temps réel et de fiabilité des programmes produits. Ce dernier point est particulièrement critique dans le cas de robots autonomes opérant en milieu hostile.
L'atelier de génie logiciel ORCCAD est développé au sein du projet dans cette optique. Il doit permettre à des utilisateurs de compétences différentes de prendre en compte dans une démarche de développement cohérente ces différents aspects, relevant de l'automatique et de l'informatique. Le travail mené cette année a consisté à la fois à l'enrichissement des concepts utilisés dans ORCCAD et à leur confrontation à des expérimentations effectives.