La conception de l'architecture système pour contrôler des millions de qubits dans un ordinateur quantique est un défi complexe en raison des contraintes strictes issues de domaines techniques hétérogènes (micro-électronique, information quantique, thermique). Elle requiert des formalismes et des outils dédiés pour permettre son automatisation et optimisation. Là où les approches traditionnelles restent cloisonnées, l'ingénierie système basée sur les modèles (MBSE) et le langage de modélisation standard SysML v2 apportent un cadre d'intégration unique pour l'analyse et l'exploration des espaces de conception de systèmes multi-physiques complexes.
Pour capturer ces architectures dans des modèles SysML v2, ce travail de recherche vise à proposer des adaptations de ce langage de modélisation au domaine quantique en créant des extensions dédiées (bibliothèques et métadonnées).
A partir de ces modèles, ces recherches exploreront comment les algorithmes quantiques ou hybrides de référence impactent ces architectures, notamment à l’aune de l’estimation des ressources nécessaires à ces applications et des mécanismes de correction d’erreurs employés.
La thèse entend développer une démarche pour l'automatisation et l'optimisation de l'exploration de ces architectures. Pour cela elle étudiera comment adapter des algorithmes de recherche opérationnelle à l’exploration de l’espace de conception, en y intégrant des analyses de sensibilité, des heuristiques de relaxation de contraintes et une prise en compte des incertitudes physiques.
Ce travail de recherche ambitionne d'identifier les paramètres les plus dimensionnants et d’apporter des connaissances nouvelles capables d’orienter vers les axes de R&D les plus prometteurs.
La thèse sera réalisée au CEA Grenoble.