POP ART : Contrôle-commande temps réel sûr (équipe-projet)

En savoir plus sur l’équipe-projet : Site de l’équipe-projet Rapport d'activité Rapports de recherche Thèses Thème : Com Systèmes communicants Centre de recherche Grenoble - Rhône-Alpes

Cette équipe de recherche fait suite à l'équipe de recherche BIP

Présentation de l’équipe-projet

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, destinés aux spécialistes des applications. Nous 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 automatique d'exécutifs temps-réel sûrs pour le contrôle-commande.

Axes de recherche

• les mises en oeuvre de programmes réactifs synchrones, générées automatiquement par compilation, particulièrement des points de vue de la distribution (en lien avec le langage Esterel) et de la tolérance aux pannes (en lien avec l'environnement SynDEx);
• la conception conjointe commande/ordonnancement, avec les interactions croisées entre techniques de régulation et de systèmes d'exploitation temps-réel, pour obtenir un ordonnancement adaptatif vis-à-vis de la qualité de service (en lien avec l'environnement ORCCAD);
• la génération automatique de contrôleurs corrects, à partir de schémas génériques de modèles de composants (typiquement des tâches de contrôle) et de propriétés de leurs interactions, en utilisant la synthèse de contrôleurs discrets (en lien avec le langage des Automates de modes et Signal, et l'outil de synthèse SIGALI);
• la compositionalité pour la vérification et la synthèse, particulièrement dans les systèmes temporisés.

Nos applications sont en systèmes embarqués, typiquement : robotique, automobile, et télécommunications.

Relations internationales et industrielles

• Participation au projet Européen ITEA EAST-EEA, consacré à l'électronique embarquée pour l'automobile.
• Participation au réseau d'excellence Européen IST AOSD-Europe sur la programmation orientée aspects.
• Participation au réseau d'excellence Européen IST ARTIST 2, sur les systèmes temps-réels avancés.
• Participation à l'ACI Sécurité DISPO, sur la disponibilité de services dans des composants logiciels.
• Participation à l'ACI Sécurité ALIDECS, sur la conception de programmes réactifs de grande taille à base de composants.
• Coopérations avec ST Microelectronics et France Telecom Recherche & Développement.

Logiciels

ORCCAD, OCREP

Responsable scientifique

Alain GIRAULT     [page personnelle]
+33 4 76 61 53 51
Alain.Girault@inrialpes.fr
Secrétariat : +33 4 76 61 53 34