Validation de la commande des systèmes critiques par couplage simulation et méthodes d’analyse formelle – VACSIM

Le projet VACSIM (Validation de la commande des systèmes critiques par couplage simulation et méthodes d’analyse formelle) réunit deux industriels, un concepteur et exploitant de systèmes critiques (EDF R&D) et un éditeur de logiciels d’ingénierie numérique (Dassault Systèmes), et quatre laboratoires : un relevant de l’automatique (LURPA) et trois de l’informatique (I3S, INRIA Rennes, LaBRI). Ce partenariat pluridisciplinaire est nécessaire pour résoudre le problème posé dans ce projet qui consiste à tirer profit des avantages respectifs des techniques de simulation, en incluant des modèles des processus commandés, et des méthodes d’analyse formelles, pour la validation de la commande des systèmes critiques.

Ce projet fait suite au projet ANR TESTEC (TEst des Systèmes Temps réel Embarqués Critiques – 07 TLOG 022) dont le consortium était le même. Ce projet a fourni de nombreux et importants résultats tant académiques qu’industriels. Il a également montré que les seules approches formelles de test et de vérification n’étaient pas suffisantes pour la validation de commandes de systèmes critiques, mais qu’il convenait de s’intéresser à leur couplage avec des approches de simulation, ces deux approches ayant des avantages complémentaires, notamment en termes de capacité à passer à l’échelle et de maîtrise du taux de couverture de l’analyse.

Le nouveau projet vise à développer des contributions de nature à la fois méthodologique (définition de nouveaux modes d’utilisation des simulateurs, règles de couplage simulation/ méthodes formelles) et formelle (adaptation, extension ou création de méthodes formelles) qui permettront la réalisation d’un démonstrateur, sur la base de l’outil ControlBuild, outil d’ingénierie numérique de la société Dassault Systèmes, illustrant, sur la base d’études de cas industriels, les bénéfices du couplage.

Le but ultime du projet est de proposer un continuum de validation durant le cycle de vie de la commande des systèmes critiques basé sur des environnements d’ingénierie numérique.