Logiciels

ORCCAD : Un prototype de l'environnement de programmation, de validation et de génération de code temps-réel pour la robotique ORCCAD [10] a été développé en collaboration avec le projet BIP et le SERVICE ROBOTIQUE de l'U.R. Rhône-Alpes. Il est accessible par : http://www.inrialpes.fr/iramr/pub/Orccad/
SIMPARC est un logiciel de simulation hybride permettant de simuler en parallèle l'évolution d'un processus physique et de son contrôleur. Il permet aussi de modéliser et de simuler les services de base du système d'exploitation temps réel utilisé. Il est disponible sur demande pour Sun/Solaris, Dec-Alpha/OSF,et PC/Linux.
MAESTRO : un prototype de l'environnement MAESTRO [2] de spécification et de validation de la partie contrôle d'une application robotique a été réalisé avec l'outil CENTAUR (projet CROAP). Il est disponible sur demande et a été distribué au Robotics Laboratory de Stanford University.