Project directory

VACSIM

Validation of the control of critical systems by simulation coupling and formal analysis methods.

The VACSIM project (Validation of the control of critical systems by simulation coupling and formal analysis methods) brings together two industrialists, a designer and operator of critical systems (EDF R & D) and a digital engineering software publisher (Dassault Systèmes), and four laboratories: one under the automatic system (LURPA) and three laboratories (I3S, INRIA Rennes, LaBRI). This multi-disciplinary partnership is necessary to solve the problem posed in this project which consists in taking advantage of the respective advantages of the simulation techniques, including models of the controlled processes, and formal analysis methods, for the validation of the control of the systems criticism. This project aims to develop contributions of a methodological nature (definition of new modes of use of simulators, simulation / formal methods coupling rules) and formal (adaptation, extension or creation of formal methods) which will allow the realization of a demonstrator and propose a validation continuum during the critical systems control life cycle based on digital engineering environments.