L’objectif de l’équipe NaoMod est de proposer des modèles dynamiques pour la construction continue de logiciels. En d’autres termes, nous souhaitons faire vivre des modèles pendant l’exécution de logiciels, pour vérifier la correction de leur exécution ainsi que, comme retour d’information, pour améliorer la qualité des modèles de conception.

Les principales questions de recherche posées par l’équipe sont :
1 – Comment mettre à jour et exploiter les modèles dynamiques pendant la construction continue de logiciels ?
2 – Comment utiliser les flots de données générés par des dispositifs CPS ou IoT pour mettre à jour les modèles dynamiques ?
3 – Comment vérifier dynamiquement les modèles ?