Méthodes, outils et technologies pour les systèmes embarqués

• Description de la thématique 2 : Méthodes, outils et technologies pour les systèmes embarqués

Cet axe concerne les méthodes, outils, composants, architectures et technologies pour le développement des différents types (critiques ou non) de systèmes embarqués (numériques, analogiques, mixtes), des systèmes plus complets intégrant de façon optimisée et évolutive des parties matérielles et logicielles. Cela inclut les systèmes d’exploitation, les systèmes cyber-physiques jusqu’au contrôle/commande et la robotique. Cet axe s’attache aux systèmes de calcul individuels dans les objets du quotidien (dispositifs/installations industriels, instruments de surveillance, de mesure, de commande…) et les machines (avions, voitures, robots, production…) et leurs fonctionnements collaboratifs (Internet des objets). Cet axe s’intéresse aux nouveaux paradigmes de programmation pour l’embarqué (calcul haute-performance pour l’embarqué…), les nouvelles architectures et leurs éléments (composants matériels et logiciels, composants de communication), le co-design matériel/logiciel, l’intégration et la coopération de systèmes embarqués hétérogènes (intergiciels spécialisés), le couplage entre parties logiciel/matériel d’une part et le système physique à piloter d’autre part (mécatronique). La qualité de service, de la conception à la maintenance via le déploiement et l’exécution, notamment la prise en compte et la maîtrise des exigences de sécurité, sûreté de fonctionnement, de temps réel, de déterminisme, d’optimisation énergétique et de tenue à l’environnement (résilience), est aussi un enjeu fort de cet axe thématique.

• Projets financés dans la thématique 2 :

-    INS 2011. ARDYT - Architecture Reconfigurable Dynamiquement Tolérante aux fautes
-    INS 2011. ASTREEA - Analyse statique de logiciels temps-réel asynchrones embarqués
-    INS 2011. COMPA
-    INS 2011. DEFIS - Conception de systèmes embarqués utilisant l'arithmétique virgule fixe
Image d’illustration (fichier séparé, préciser ici le nom du fichier) + crédits
-    INS 2011. MAGIC-SPS - Méthodes et Algorithmes Garantis pour le Contrôle d'Intégrité et la Surveillance Préventive des Systèmes
-    INS 2011. MARS - Systèmes embarqués fiables et faible consommation à base de Mémoires Magnétiques
-    INS 2011. ROBUST-FPGA - Conception d'un FPGA Tolérant aux Défauts
-    INS 2011. VACSIM - Validation de la commande des systèmes critiques par couplage simulation et méthodes d’analyse formelle
-    ARPEGE 2010    ARMS - Un système multi bras pour la séparation de muscles
-    ARPEGE 2010    COROUSSO - Modélisation et commande de robots d'usinage de pièces composites de grandes dimensions et de soudage FSW
-    ARPEGE 2010    EMYR - Rendement et Fiabilité des Mémoires en technologie MRAM
-    ARPEGE 2010    HERODOTOS - Horlogerie et alimentation Reconfigurables pour grandes plates-formes synchrones multiprocesseurs Sur puce
-    ARPEGE 2010.    RESPECTED - Support d'exécution temps réel avec stratégies d'ordonnancement pour systèmes embarqués multicoeur avec contraintes thermiques
-    Blanc SIMI 3 2010. PiCoq - Vérification Formelle de Composants Distribués
-    Blanc SIMI 3 2010. PiGS     - Stress électrique post irradiation des transistors MOS de puissance pour les systèmes embarqués spatiaux
-    ARPEGE 2009    ARDMAHN - Architecture Reconfigurable Dynamiquement et Méthodologie pour l'Auto-adaptation en Home Networking
-    ARPEGE 2009    CoGiRo - Commande des robots géants
-    ARPEGE 2009    FAMOUS - Flot de modélisation et de conception rapide pour les systèmes dynamiquement reconfigurables
-    ARPEGE 2009    FAUTOCOES - Contrôle tolérant aux pannes pour les systèmes embarqués
-    ARPEGE 2009    HELP - Modèles de haut niveau pour la réduction de la consommation d'énergie des systèmes embarqués
-    ARPEGE 2009    PEGASE - Performances Garanties pour les Systèmes Embarqués communicants
-    ARPEGE 2009    PROTEUS - Plate-forme pour la Robotique Organisant les Transferts entre Utilisateurs et Scientifiques
-    ARPEGE 2009    R2A2 - Robot humanoïde hydRaulique: Amélioration de l'Autonomie énergétique via la conception et la commande
-    ARPEGE 2009.    VEDECY     - Vérification et Conception de Systèmes Cyber-Physiques
-    ARPEGE 2008.    SAIPON - Système Audio In Package Pour Objets Nomades
-    ARPEGE 2008.    SESAM - Récupération adaptative des énergies ambiantes pour l'alimentation de microsystèmes autonomes
-    ARPEGE 2008    NANOGRAIN - Architectures reconfigurables à grain ultra-fin et à base de nanocomposants
-    ARPEGE 2008    Open-PEOPLE - Plateforme ouverte pour l'estimation et l'optimisation de la consommation en puissance et en énergie
-    ARPEGE 2008    ArHyCo - Architectures Hybrides et Contraintes