Connexion utilisateur
Accueil | Quadriennal 2010-2013 | C. Proposition 2010-2013 | C.2. Structuration | C.2.3. Pôle Systèmes embarqués hautes performances
  • strict warning: Only variables should be passed by reference in /var/www/virtual/asr.univ-perp.fr/htdocs/modules/book/book.module on line 559.
  • strict warning: Non-static method view::load() should not be called statically in /var/www/virtual/asr.univ-perp.fr/htdocs/modules/views/views.module on line 1118.
  • strict warning: Declaration of views_handler_field::query() should be compatible with views_handler::query($group_by = false) in /var/www/virtual/asr.univ-perp.fr/htdocs/modules/views/handlers/views_handler_field.inc on line 1148.
  • strict warning: Declaration of views_handler_argument::options_validate() should be compatible with views_handler::options_validate($form, &$form_state) in /var/www/virtual/asr.univ-perp.fr/htdocs/modules/views/handlers/views_handler_argument.inc on line 917.
  • strict warning: Declaration of views_handler_argument::query() should be compatible with views_handler::query($group_by = false) in /var/www/virtual/asr.univ-perp.fr/htdocs/modules/views/handlers/views_handler_argument.inc on line 917.
  • strict warning: Declaration of views_handler_sort::options_validate() should be compatible with views_handler::options_validate($form, &$form_state) in /var/www/virtual/asr.univ-perp.fr/htdocs/modules/views/handlers/views_handler_sort.inc on line 165.
  • strict warning: Declaration of views_handler_sort::options_submit() should be compatible with views_handler::options_submit($form, &$form_state) in /var/www/virtual/asr.univ-perp.fr/htdocs/modules/views/handlers/views_handler_sort.inc on line 165.
  • strict warning: Declaration of views_handler_sort::query() should be compatible with views_handler::query($group_by = false) in /var/www/virtual/asr.univ-perp.fr/htdocs/modules/views/handlers/views_handler_sort.inc on line 165.
  • strict warning: Declaration of views_handler_filter::options_validate() should be compatible with views_handler::options_validate($form, &$form_state) in /var/www/virtual/asr.univ-perp.fr/htdocs/modules/views/handlers/views_handler_filter.inc on line 599.
  • strict warning: Declaration of views_handler_filter::query() should be compatible with views_handler::query($group_by = false) in /var/www/virtual/asr.univ-perp.fr/htdocs/modules/views/handlers/views_handler_filter.inc on line 599.
  • strict warning: Declaration of views_plugin_query::options_submit() should be compatible with views_plugin::options_submit($form, &$form_state) in /var/www/virtual/asr.univ-perp.fr/htdocs/modules/views/plugins/views_plugin_query.inc on line 181.
  • strict warning: Declaration of views_plugin_row::options_validate() should be compatible with views_plugin::options_validate(&$form, &$form_state) in /var/www/virtual/asr.univ-perp.fr/htdocs/modules/views/plugins/views_plugin_row.inc on line 136.
  • user warning: You have an error in your SQL syntax; check the manual that corresponds to your MySQL server version for the right syntax to use near 'FROM drupal_twitter twitter WHERE .uid = 1 ) count_alias' at line 2 query: SELECT COUNT(*) FROM (SELECT FROM drupal_twitter twitter WHERE .uid = 1 ) count_alias in /var/www/virtual/asr.univ-perp.fr/htdocs/modules/views/plugins/views_plugin_pager.inc on line 141.
  • user warning: You have an error in your SQL syntax; check the manual that corresponds to your MySQL server version for the right syntax to use near 'FROM drupal_twitter twitter WHERE .uid = 1 LIMIT 0, 10' at line 2 query: SELECT FROM drupal_twitter twitter WHERE .uid = 1 LIMIT 0, 10 in /var/www/virtual/asr.univ-perp.fr/htdocs/modules/views/plugins/views_plugin_query_default.inc on line 1191.

C.2.3. Pôle Systèmes embarqués hautes performances

Animation : S. Contassot-Vivier & O.(H.) Roux

Mots clés : Architecture, Compilation, Preuve, Sûreté de fonctionnement

Comité scientifique

Cette liste pourra évoluer en fonction des disponibilités de ses membres tout en conservant une bonne représentativité géographique et thématique du pôle.

  • Michel Auguin (LEAT)
  • Marc Daumas (U. Perpignan Via Domitia)
  • Daniel Etiemble (U. Paris Sud)
  • Suzanne Graf (Verimag)
  • Claude Jard (IRISA)
  • Dominique Lavenier (CNRS - IRISA)
  • Pascal Sainrat (U. Paul Sabatier)

Positionnement scientifique

Un système embarqué est un système qui interagit avec son environnement de manière autonome et qui doit être conçu et réalisé avec de très fortes contraintes. Parmi ces contraintes nous retrouvons celles liées à la criticité et la taille du système, sa consommation, son prix, la qualité de services (temps de réponse, continuité, tolérance aux pannes...), la réactivité en terme de conception et d'évolution, et enfin la déployabilité sur des architectures ou des systèmes d'exploitation spécifiques et/ou multiples.

Les domaines d'application couvrent les champs classiques comme l'aéronautique, le transport ou l'automobile, mais aussi la téléphonie mobile, les assistants électroniques, la monétique, la domotique... Les contributions scientifiques couvrent un large spectre de domaines scientifiques concernant la conception et le développement

  • Méthodes de développement, modélisation et transformation de modèles
  • Architecture des composants
  • Compilation
  • Systèmes d'exploitation
  • Automatique et contrôle
  • Middleware
  • Déploiement
  • Sécurité
  • Tolérance aux fautes
  • Protocoles, infrastructure de communication et réseaux
comme la validation.
  • Spécification et ingénieries des exigences
  • Vérification et test
  • Évaluation/gestion des performances et d'ordonnancement

L'objectif affiché du CNRS d'inscrire les systèmes embarqués dans les priorités nationales correspond à une analyse toujours en phase avec les activités de recherche et de R&D au niveau mondial et européen. La mise en œuvre de systèmes embarqués hautes performances est la source de nombreux défis technologiques (architecture, compilation, sûreté de fonctionnement, sécurité) mettant en avant de nouveaux verrous liés au coûts de conception (taille des circuits), d'exploitation (consommation électrique), de mise en œuvre (développements logiciels) et de maintenance au sens large (qualité de services, systèmes critiques).

Les appels à propositions des réseaux français et européens affichent également cette priorité. Enfin, des thèmes forts pour les systèmes embarqués sont proposés au niveau européen tels que:

  • Networked embedded systems (middleware, plateformes, réseaux ad-hoc, réseaux de capteurs)
  • Conception de systèmes (temps-réel, systèmes de composants, architecture, langage et outils haut niveaux, compilateurs,... )
  • Contrôle avancé (systèmes hybrides, contrôle adaptatif, autonomie,...)

Prospective

Ce pôle fait suite au pôle ASERT (Architecture, Systèmes Embarqués, Systèmes Temps Réel) du précédent GDR ASR (2006-2009), aux pôles Architecture des deux GDR ARP (1998-2005) et au PRC-GDR ANM (Architectures Nouvelles de Machines, 1988-1997). La recherche et les activités de R&D dans le domaine des processeurs sont totalement dominées par les industriels américains et Intel en particulier. Les systèmes embarqués constituent déjà depuis quelques années un espace d'innovation où des groupes de recherche européens peuvent suivre leurs idées jusqu'à leur finalisation en R&D en collaboration avec l'industrie, comme c'est le cas avec le foisonnement de recherches autour du processeur ARM. Les systèmes embarqués hautes performances constituent un nouvel espace d'innovation plus vaste où l'Europe peut encore jouer pleinement sont rôle en recherche comme en R&D.

On pourra finir de se convaincre en consultant le foisonnement de publications sur ce sujet comme par exemple un numéro spécial d'IEEE MICRO et les numéros précédents du journal ou encore un article de Computer.

Composition

La liste des participants ci-dessous ne se veut pas exhaustive. Elle représente un premier bilan des personnes potentiellement concernées.

  • CEA LIST (plusieurs équipes)
  • CNAM, laboratoire CEDRIC (surtout équipe RSM)
  • CRAN - UMR 7039, Centre de recherche en automatique de Nancy
  • EPFL (École Polytechnique Fédérale de Lausanne)
  • Ecole des Mines de Nantes
  • I3S - UMR 6070, Laboratoire informatique, signaux systèmes de Sophia Antipolis (surtout AOSTE et OASIS)
  • IMAG - CNRS FR 071, Institut d'Informatique et de Mathématiques Appliquées de Grenoble (plusieurs équipes dans les laboratoires LSR, TIMA, Verimag)
  • INRIA Lille (surtout DART et POPS)
  • INRIA Lorraine (surtout CASSIS, MOSEL et TRIO)
  • INRIA Rennes (surtout ACES, ALF, CELTIQUE, DISTRIBCOM, ESPRESSO et VERTECS)
  • INRIA Rhône Alpes (COMPSYS, GRAAL, POP-ART, SARDES et VAS-Y)
  • INRIA Rocquencourt (surtout AOSTE, ARLES, CONTRAINTES, ESTIME et MOSCOVA)
  • INRIA Saclay (surtout ALCHEMY, COMETE et SECSI)
  • INRIA Sophia (surtout APICS, EVEREST, MAESTRO, MIMOSA, OPALE et SMASH)
  • IRCCyN - UMR 6597, Institut de Recherche en Communications et en Cybernétique de Nantes , plusieurs équipes
  • IRIT - UMR 5505, Institut de recherche en informatique de Toulouse (plusieurs équipes)
  • LAAS - CNRS UPR 8001, Laboratoire d'Analyse et d'Architecture des Systèmes (plusieurs équipes)
  • LABRI - UMR 5800, Laboratoire Bordelais de Recherche en Informatique
  • LAMI - UMR 8042, Laboratoire de Méthodes Informatiques
  • LIAFA - UMR 7089, Laboratoire d'Informatique Algorithmique: Fondements et Applications
  • LIF - UMR 6166, Laboratoire d'Informatique Fondamentale de Marseille
  • LIFL - UMR8022, Laboratoire de Recherche en Informatique de l'Université des Sciences et Technologies de Lille
  • LIP - UMR 5668, Laboratoire de l'informatique du parallélisme
  • LIP6 - UMR 7606, Laboratoire d'Informatique de Paris 6
  • LIRIS, INSA Lyon
  • LIX - FRE 2653, Laboratoire d'informatique de l'école polytechnique
  • LRI - UMR 8623, Laboratoire de Recherche en Informatique
  • LSV - UMR 8643, Laboratoire spécification et vérification
  • LAB - UMR 6596, Laboratoire d'automatique de Besançon

Fonctionnement

Ce pôle travaillera par ses actions. L'action AFSEC (Approches Formelles des systèmes embarqués communicants) dont le bilan est très positif sera reconduite. L'action Manycœur a été validée sous cette forme par ASR après deux journées thème émergent qui ont montré l'intérêt de cette thématique.

Dans le cadre du renouvellement d'ASR, nous proposons d'amplifier la dynamique des actions inter-GDR déjà entamée par les actions AFSEC, IDM et MAO pour susciter l'émergence d'autres actions sur les systèmes embarqués ou émanciper des sous groupes de l'action AFSEC souhaitant devenir des actions. Le pôle embarqué va donc continuer à se construire à partir de la base par dynamique ascendante.

Le grand rendez-vous du pôle est la conférence conjointe RenPar-SympA-CFSE. Les thématiques du pôle sont en majorité reprises dans la conférence SympA, même si l'on retrouve à chaque édition des travaux et des sessions qui développent des thématiques du pôle dans les autres conférences. Ce rendez-vous est complété par l'école récurrente sur les architectures de machines et les écoles et événements propres aux actions.

Le pôle utilisera pleinement le nouveau portail d'ASR.

Collaborations

Certaines actions du pôle sont communes à plusieurs pôles d'ASR, d'autres sont communes à plusieurs GDR et nombre de rapprochements existent sans être finalisés par des tutelles communes.