Axe E.03 : Sciences et technologies du logiciel, réseaux du futur, informatique en nuage et en périphérie

Cet axe de recherche traite des propositions qui visent la levée de verrous de recherche fondamentale ou appliquée autour de trois grands domaines, parfois combinés ou non :

• les développements logiciels en tant qu’objet d’étude sur l’ensemble du cycle de vie du logiciel incluant les nouveaux langages de programmation, l’ingénierie des exigences, l’ingénierie logicielle de conception et de production dont l’ingénierie dirigée par les modèles, la gestion de la variabilité et de l’adaptabilité dans l’ensemble des couches, l’analyse de programmes, le test, la validation, la vérification, et la certification logicielle, etc. Ce domaine cible aussi la prise en compte des ressources, de la sûreté, de la sécurité et de la confiance dans les logiciels : logiciels éco- responsables, compilation et optimisations par exemple des modèles d’IA-Embarqués identification et correction de vulnérabilités en cyber-sécurité, adaptation dynamique et systèmes auto-adaptables, ... Ce domaine concerne également l’étude des processus de production du logiciel : infrastructure et intégration dans les systèmes cyber-physiques. Enfin, les approches utilisées relèvent des approches formelles et/ou empiriques par l’analyse des logiciels et des pratiques de production. Il vise également l’élaboration de technologies logicielles pour les systèmes embarqués intégrant leurs divers aspects et contraintes (temps-réel, criticités mixtes, logiciel prépondérant, cyber-physiques, contraintes non-fonctionnelles, etc.) ;
• les réseaux de communication en tant qu’objet d’étude sur l’ensemble des maillons les constituant, prenant en compte leurs multiples topologies (réseaux ad hoc, pair à pair, mesh, edge, réseaux de cœur, réseaux sans fil et cellulaires, etc.), débits (communications haut débit versus réseaux d’objets) et usages. L’ensemble des maillons part de la couche physique, incluant les antennes et ses interactions avec le réseau, jusqu’à l’exploration de conditions d’usage différenciés et en mobilité, justifiant des analyses en termes de sécurité, disponibilité et fiabilité, et autorisant des services sensibles au contexte. Ce domaine de recherches s’appuie également sur les avancées en matière de normalisation (5G, 5G+, 6G), de virtualisation et de réseaux du futur (air-sol, satellitaire, …) ;
• les infrastructures de communication et de calcul haute performance permettant le développement de modèles de calcul, d’algorithmes et l’exploitation d’un parallélisme massif, l’optimisation et la gestion dynamique des ressources en s’appuyant sur des propriétés et mesures quantitatives (performance, robustesse, mémoire, efficacité énergétique), les environnements de programmation et l’algorithmique pour l’exascale. Ce domaine cible aussi l’étude de la répartition de calcul sur diverses topologies et architectures de réseaux (« edge cloud », fog, cloud, cache, etc.) connectant des ressources de calcul ainsi que les divers aspects de

virtualisation d’applications, de serveurs, de réseaux (SDN), etc. sans omettre les aspects de sécurité.