Section: Bilateral Contracts and Grants with Industry

GLOSE

The simulation of system-level models requires synchronizing, at simulation-time, physical models with software models. These models are developed and maintained by different stakeholders: physics engineers, control engineers and software engineers. Models designed by physics engineers are either detailed 3D finite-elements models, with partial differential equations (PDEs), or finite-dimension 0D models (obtained by model reduction techniques, or by empirical knowledge) expressed in modeling languages such as Simulink (with ordinary differential equations, or ODEs), Modelica (with differential algebraic equations, or DAEs), or directly as a C code embedding both the differential equations and its discretization scheme. Control engineers favor Matlab/Simulink, mainly because of its toolboxes and ease of use. Computer scientists program or model real-time reactive software, either with a dedicated language, for instance SCADE, hierarchical state machines or sequence/activity diagrams (as in UML/SysML) or directly in C. Coupling together heterogeneous models and programs, so that they can be co-simulated, is not only a technological challenge, but more importantly raises several deep and difficult questions: Can we trust simulations? What about their reproducibility? Will it be possible to simulate large systems with hundreds to thousands of component models?

The objective of the GLOSE project is to address these objectives, and propose both sound foundations and practical technological solutions to system level modeling and simulation. The GLOSE project has started in December 2017 and is funded by Safran, in the realm of the DESIR joint Safran-Academia research network. The academic teams contributing to GLOSE are the Hycomes, Diverse and Kairos Inria teams, and IRIT/CNRS in Toulouse.