Cette équipe de recherche fait suite à l'équipe de recherche TICK
Cette équipe de recherche fait suite à l'équipe de recherche OSTRE
Présentation de l’équipe-projet
Equipe-projet commune avec le laboratoire I3S (UNSA et CNRS), bilocalisée à Sophia Antipolis et à Rocquencourt.
L'équipe-projet AOSTE poursuit les travaux antérieurs des équipes INRIA TICK et OSTRE, ainsi que l'équipe SPORTS de l'I3S, UMR associée entre le CNRS et l'Université de Nice. AOSTE devrait devenir une équipe-projet commune avec l'UNSA et le CNRS.
Description détaillée de nos objectifs
Axes de recherche
Notre programme de recherche couvre le domaine de la conception des Systèmes Temps Réel Embarqués. Par "conception" nous réunissons des activités de :
- Modélisation de haut niveau
- Transformation et Analyse
- Implantation sur des Plates-formes embarquées
Pour couvrir ce spectre en évitant la dispersion nous devons spécialiser le type de formalismes que nous considérons. Nous nous attachons aux formalismes réactifs synchrones, tels Esterel et les SyncCharts, et à la méthodologie de conception conjointe AAA/SynDEx.
Une partie de nos activités nouvelles sera consacrée à enrichir les types de diagrammes UML concernés avec les principes de modélisation efficaces et utiles à la représentation et à l'analyse de spécifications synchrones. Nous insisterons également sur l'existence d'une sémantique opérationnelle complète pour nos constructions, qui permet de définir et de justifier des techniques puissantes pour l'analyse, la vérification, l'optimisation et la compilation/synthèse sur des plates-formes distribuées avec des contraintes temps réel embarquées.
Relations internationales et industrielles
Nous participons activement au niveau national et international aux activités de la communauté "Synchrone", en particulier avec les équipes-projets INRIA S4, ESPRESSO et POP-ART, le laboratoire CNRS VERIMAG, l'université de Columbia (New York), Bamberg, Karlsruhe (Allemagne)...
Nous avons essaimé la société Esterel Technologies, qui commercialise les environnements Esterel Studio et SCADE Suite basés sur des technologies synchrones.
Dans le contexte de la collaboration CARROLL entre l'INRIA, le CEA et Thales nous avons initié le projet PROTES pour supporter la standardisation à l'OMG d'un profil UML RTES (pour Real-Time Embedded Systems) développant notre approche. Ce travail est commun avec les projets INRIA Espresso et DaRT.
La méthodologie AAA et le logiciel SynDEx sont utilisés par dans un contexte industriel par les sociétés MBDA, Mitsubishi ITE et Robosoft.
Logiciels
Esterel, SynDEx, SyncCharts
Responsable scientifique
Robert DE SIMONE
[page personnelle] (en anglais)
+33 4 92 38 79 41
Robert.de_Simone@sophia.inria.fr
Secrétariat : +33 4 97 15 53 80
