Le pôle Science du Logiciel et des Systèmes Distribués (SLS) se concentre sur la conception, la spécification, la vérification et le déploiement de systèmes logiciels fiables, couvrant les systèmes distribués, les méthodes formelles, les assistants de preuve et les technologies logicielles.

Le pôle est structuré autour de 5 équipes de recherche principales et bénéficie également des travaux de l’équipe Systèmes Temps Réel (STR), dont les recherches, à l’interface entre les systèmes embarqués et les technologies logicielles, conduisent à un rattachement conjoint aux pôles Science du Logiciel et des Systèmes Distribués (SLS) et Conception et Conduite de Systèmes (CCS).

Les 5 composantes du pôle sont : l’équipe Gallinette, équipe-projet INRIA, qui œuvre au développement d’une nouvelle génération d’assistants à la preuve, alliant investigations fondamentales et expérimentations pratiques, principalement au travers du développement du démonstrateur Rocq ; l’équipe Gestion de Données Distribuées (GDD), qui mène des recherches théoriques et pratiques sur les systèmes distribués, le Web des données et les graphes de connaissances décentralisés pour le requêtage de données ; l’équipe Nantes Software Modeling Group (NaoMod), qui travaille à de nouvelles méthodes génératives fiables et vérifiables pour l’ingénierie des logiciels et des systèmes complexes concourant à une ingénierie responsable couvrant les strates métier et l’architecture logicielle ; l’équipe Software — Stack — for Massively Geo-Distributed Infrastructures (STACK), équipe-projet Inria, qui mène des recherches relatives à la gestion et aux usages avancés des infrastructures numériques (Cloud, Fog, Edge, Computing Continuum) en développant une pile logicielle unifiée pour le continuum numérique et en relevant les défis de l’hétérogénéité, de la géo-distribution et des réseaux intermittents ; l’équipe Systèmes Temps Réel (STR) développe des méthodes de conception, de vérification et d’optimisation de systèmes embarqués, en s’intéressant plus particulièrement à leurs propriétés extra-fonctionnelles (temps réel, autonomie énergétique, sûreté de fonctionnement, cybersécurité) ainsi qu’à l’interface entre le logiciel et le matériel ; l’équipe Vérification pour l’Environnement et le LOgiciel (VELO), qui adresse les défis scientifiques théoriques et pratiques de la modélisation et de la vérification des logiciels, des systèmes complexes et d’environnements naturels (biologie, santé, océans, forêts), adressant ainsi ces systèmes à la frontière du logiciel et des interactions avec leur environnement.