Vers l'ingénierie rigoureuse et scalable des jumeaux numériques

La recherche se concentre sur le développement de processus, méthodes et outils d'ingénierie formels pour le développement fiable des jumeaux numériques. Les jumeaux numériques reproduisent le comportement de systèmes hétérogènes complexes tout au long de leur cycle de vie, incluant la conception, la mise en œuvre, l'exploitation et le déclassement. Ces systèmes combinent généralement des composants physiques, cybernétiques, humains et parfois biologiques, interagissant dans des contextes opérationnels dynamiques. Le développement de tels jumeaux numériques nécessite des modèles multi-physiques et multi-échelles, souvent construits à partir de paradigmes de modélisation différents. Garantir la fidélité de ces modèles est essentiel, car les jumeaux numériques peuvent soutenir des décisions critiques pour la sécurité. En conséquence, la vérification, la validation et la quantification de l'incertitude (VVQI) jouent un rôle central dans le processus d'ingénierie. Bien que les méthodes formelles d'ingénierie soient largement utilisées pour la conception de systèmes dans des domaines tels que le transport, elles ne s'adaptent pas encore bien aux jumeaux numériques, où les modèles des environnements physiques, des interactions humaines et des contextes opérationnels doivent également être intégrés. Cette thèse vise à étendre les techniques formelles d'ingénierie pour permettre le développement rigoureux et évolutif de jumeaux numériques composés de paradigmes de modélisation hétérogènes. École doctorale : Ecole Doctorale de l'Institut Polytechnique de Paris Direction : Rabea AMEUR-BOULIFA Financement : ANR Financement d'Agences de financement de la recherche