POP ART - Programming languages, operating systems, parallelism & aspects for real-time
Ancienne Joint research project-team INRIA and CNRS, Grenoble INP, UGA
Leader: 
Phone: 
Tel 04.76.61.53.51
Fax 04.76.61.54.77

Nous abordons le problème de la conception sûre de systèmes de contrôle-commande temps-réel. C’est un thème à la rencontre de l’automatique et de l’informatique, dont les domaines d’application sont typiquement les systèmes à sécurité critique, par exemple de transport (avionique, trains), de production, médicaux ou de production d’énergie. Il y règne un besoin de méthodes et de modèles formels, capables de se concrétiser dans des outils automatisés d’assistance. Notre y contribuons en proposant des solutions tout au long de la chaîne de traitements entre spécification et mise en oeuvre : nous développons des techniques de spécification et génération d’exécutifs temps-réel sûrs pour le contrôle-commande. En particulier, nous étudions les mises en oeuvre réparties et tolérantes aux fautes de programmes synchrones, la conception conjointe commande/ordonnancement, et la génération automatique de contrôleurs corrects à base de synthèse de contrôleurs discrets. Nos applications sont en robotique, automobile, systèmes embarqués et télécommunications.

Keywords: 
Subscribe to RSS - POP ART