Systèmes embarqués

Développer l’intelligence des moyens de transport et leur intégration dans le cadre des nouvelles mobilités à travers la conception logicielle de systèmes embarqués exigeants en termes de performances et sûreté de fonctionnement.

Systèmes d’aide à la conduite, véhicule autonome, véhicule électrique, systèmes avioniques critiques, drone autonome.

Cette équipe travaille sur la conception et la validation des systèmes embarqués communicants pour la mobilité.  Il s’agit de développer des architectures logicielles des systèmes embarqués notamment critiques dans le cadre des nouvelles mobilités, de modéliser et d’optimiser les performances (temporelles, énergies, fiabilité et coût) des architectures logicielles pour la qualité de service (QoS) d’un système embarqué temps réel. Les travaux s’étendent à l’étude des approches de co-conception matériel/logiciel face aux exigences d’optimisation et de sûreté de fonctionnement en prenant en considération les choix technologiques du marché les plus adaptés (bus de communication, calculateurs, capteurs embarqués, etc).

La prise en compte des architectures multi-cœurs dans la phase de conception/optimisation est étudiée dans ce contexte, notamment les problématiques liées au partitionnement heuristique du logiciel sur différents cœurs et la vérification formelle de sa sûreté d’exécution. Cette approche d’optimisation prend en compte l’intégration et la gestion efficace des informations V2X (véhicule-véhicule, véhicule-infrastructure…) pour la conception de systèmes embarqués modulaires et sûrs de fonctionnement (standard Autosar, ISO 26262, DO 178).

La démarche de recherche doit être fondés sur des méthodes et approches dédiées notamment l’ingénierie système dirigée par les modèles (MBSE), la réalité virtuelle et augmentée, ainsi que l’intelligence artificielle & Machine Learning.

Des moyens expérimentaux et logiciels spécifiques sont également mobilisés pour accompagner le développement et le prototypage de ces travaux.