Section: Partnerships and Cooperations
National Initiatives
Inria Project Lab (IPL): ModeliScale, Languages and Compilation for Cyber-Physical System Design
The project gathers researchers from three Inria teams, and from three other research labs in Grenoble and Paris area.
Name | Team | Inria Center or Laboratory |
Vincent Acary | Tripop | Inria Grenoble Rhône Alpes |
Bernard Brogliato | ||
Alexandre Rocca | ||
Albert Benveniste | Hycomes | Inria Rennes |
Benoît Caillaud | Bretagne Atlantique | |
Khalil Ghorbal | ||
Christelle Kozaily | ||
Mathias Malandain | ||
Benoît Vernay | ||
Marc Pouzet | Parkas | ENS & |
Tim Bourke | Inria Paris | |
Imsail Lakhim-Bennani | ||
Goran Frehse | SSH | ENSTA Paris-Tech. |
Antoine Girard | L2S-CNRS, Saclay | |
Eric Goubault | Cosynus | LIX, École Polytechnique, |
Sylvie Putot | Saclay |
The main objective of ModeliScale is to advance modeling technologies (languages, compile-time analyses, simulation techniques) for CPS combining physical interactions, communication layers and software components. We believe that mastering CPS comprising thousands to millions of components requires radical changes of paradigms. For instance, modeling techniques must be revised, especially when physics is involved. Modeling languages must be enhanced to cope with larger models. This can only be done by combining new compilation techniques (to master the structural complexity of models) with new mathematical tools (new numerical methods, in particular).
MiodeliScale gathers a broad scope of experts in programming language design and compilation (reactive synchronous programming), numerical solvers (nonsmooth dynamical systems) and hybrid systems modeling and analysis (guaranteed simulation, verification). The research program is carried out in close cooperation with the Modelica community as well as industrial partners, namely, Dassault Systèmes as a Modelica/FMI tool vendor, and EDF and Engie as end users.
In 2018, three general meetings have been organized, with presentations of the partners on new results related to hybrid systems modeling and verification. A two days workshop open to a larger community of researchers and engineers has been organized, with a focus on model-based system diagnosis (https://team.inria.fr/modeliscale/workshop-on-diagnostics-25-26-january-2018/). The programme of the workshop comprized invited talks by Erik Frisk and Mattias Krysander on the use of DAE Structural Analysis methods to generated automatically embedded diagnosers from a system model.
Two PhDs funded by the ModeliScale IPL have started in October 2018:
-
Christelle Kozaily has started a PhD, under the supervision of Vincent Acary (TRIPOP team at Inria Grenoble), Benoît Caillaud, Khalil Ghorbal on the structural and numerical analysis of non-smooth DAE systems. She is located in the Hycomes team at Inria Rennes.
-
Ismail Lahkim-Bennani has started a PhD under the supervision of Goran Frehse (ENSTA ParisTech.) and Marc Pouzet (PARKAS team, Inria/ENS Paris). His PhD topic is on random testing of hybrid systems, using techniques inspired by QuickCheck [33].
FUI ModeliScale: Scalable Modeling and Simulation of Large Cyber-Physical Systems
Participants : Albert Benveniste, Benoît Caillaud, Khalil Ghorbal, Mathias Malandain.
FUI ModeliScale is a French national collaborative project coordinated by Dassault Systèmes. The partners of this project are: EDF and Engie as main industrial users; DPS, Eurobios and PhiMeca are SME providing mathematical modeling expertise; CEA INES (Chambéry) and Inria are the academic partners. The project started January 2018, for a maximal duration of 42 months. Three Inria teams are contributing to the project : Hycomes, Parkas (Inria Paris / ENS) and Tripop (Inria Grenoble / LJK).
The focus of the project is on the scalable analysis, compilation and simulation of large Modelica models. One of the main contributions expected from Inria are:
-
A novel structural analysis algorithms for multimode DAE systems, capable of handling large systems of guarded equations, that do not depend on the enumeration of a possibly exponential number of modes.
-
The partitioning and high-performance distributed co-simulation of large Modelica models, based on the results of the structural analysis.
In 2018, two reports have been delivered: the first one is a state of the art on structural analysis methods for DAE systems (Modeliscale project, deliverable M2.1.1 1, Structural Analysis of Differential-Algebraic Equations (DAE), State-of-the-Art.), while the second details a structural analysis algorithm for multimode DAE systems (Modeliscale project, deliverable M2.1.2 1, Algorithms for the structural Analysis of Multi-Mode DAE Systems.). It is an improvement of the algorithm presented in [16].