Annuaire des projets

VACSIM

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

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 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 et 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.