Thème: Optimisation des systèmes logiciels/matériels en fonction des contraintes et aléas liés à leur environnement
Méthodes:
- Modélisation (conjointe) des architectures matérielles et logicielles
- Conception de systèmes Sw/Hw adaptables dynamiquement en fonction de l’environnement et de l’exigence des applications
- Vérification en ligne du comportement et des propriétés temporelles du système
- Mise en œuvre d’outils de conception, de simulation, de trace.
Cibles:
- système embarqué,
- système sur puce,
- réseau de capteurs,
- Infrastructure edge/cloud.
Domaines:
- véhicules autonomes,
- systèmes critiques,
- IoT,
- industrie du futur,
- spatial,
- Milieu marin,
- maintien à domicile