Automatisation du continuum conception-exploitation des systèmes de systèmes cyber-physiques
Le projet ADEPTNESS vise à mettre en œuvre et à étudier un flux de travail simplifié et automatique qui permet d’utiliser les méthodes et les outils de manière transparente pendant les phases de conception et d’exploitation.
Nous explorerons la génération et la réutilisation de cas de test et d’oracles depuis les phases initiales du développement, jusqu’au système en fonctionnement et au retour au laboratoire pour la reproduction. Intégrées dans ce flux de travail, les situations imprévues seront également détectées en fonctionnement afin d’améliorer les modèles de développement pour accroître la résilience. Nous prendrons en compte plusieurs aspects des incertitudes (telles que les incertitudes dans l’environnement, l’incertitude produite par les aspects temporels du CPSoS, l’incertitude dans les réseaux, etc.) En outre, des techniques de déploiement automatique et synchronisé seront étudiées pour améliorer l’agilité de l’ensemble du flux de travail qui couvre le continuum conception-opération.
L’EGM a développé plusieurs options pour l’exploitation des résultats du projet. EGM prévoit d’étendre son offre de test avec un flux de travail automatisé et adaptable pour une application ultérieure sur le marché des CPSoS.
Partenaires
