POP ART - Programming languages, operating systems, parallelism & aspects for real-time
Ancienne Equipe-projet de recherche commune INRIA et CNRS, Grenoble INP, UGA
Responsable : 
Téléphone/Fax : 
Tel 04.76.61.53.51
Fax 04.76.61.54.77
Bâtiment : 

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.

Mots clés : 

Historique

L’équipe POP ART s’est terminée le 31/12/2012.

S'abonner à RSS - POP ART