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 | Bipop | Inria Grenoble Rhône Alpes |
Albert Benveniste | Hycomes | Inria Rennes |
Benoît Caillaud | Bretagne Atlantique | |
Khalil Ghorbal | ||
Marc Pouzet | Parkas | ENS |
Tim Bourke | Inria Paris | |
Goran Frehse | Tempo | Verimag-univ. Grenoble Alpes |
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.