COMON

Minalogic, 2009-2012

An engineering chain for nuclear control-command.

 Introduction

COMON est un projet Minalogic financé par le FUI (Fonds Unique Interministériel) et les collectivités locales.

C’est un projet de R&D qui cible la réalisation des logiciels de Contrôle-Commande d’une centrale nucléaire, selon une approche innovante qui assure la maîtrise de la complexité et de la sûreté d’un tel projet.

Actuellement, le processus de réalisation d’un Contrôle-Commande est morcelé entre différents outils. Bon nombre d’opérations restent manuelles, formant des discontinuités sources d’interprétations et coûteuses en temps. Les vérifications et validations sont plus longues, avec des impacts très importants en coût et en délai. COMON propose de définir et d’implémenter une chaîne d’ingénierie pour le Contrôle-Commande de centrale nucléaire, qui comprendra toutes les étapes depuis la conception globale de la centrale jusqu’à la construction du système de Contrôle-Commande. Elle doit intégrer les méthodologies existantes, les compléter par de l’innovation, les intégrer et les automatiser afin de retirer les gains de productivité et la minimisation des risques de conception et de réalisation.

Le role de Verimag dans ce projet est essentiellement d’amener son expertise en validation (test, verification formelle) de systèmes critiques réactifs.

 Partners

 Verimag People Involved

  • Nicolas Halbwachs
  • Pascal Raymond
  • Erwan Jahier
  • Simplice Djoko-Djoko
  • Chaouki Maiza

 Funders

Minalogic Fonds Unique Interministériel (FUI)

 Publications

 [1], [2]

[1E. Jahier, N. Halbwachs, P. Raymond - Engineering Functional Requirements of Reactive Systems using Synchronous Languages - International Symposium on Industrial Embedded Systems, 2013. SIES’13. [JHR13]

[2E. Jahier, S. Djoko-Djoko, C. Maiza, and E. Lafont - Environment-Model Based Testing of Control Systems: Case Studies - International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2014) [JDM+4]