Team, Visitors, External Collaborators
Overall Objectives
Research Program
Highlights of the Year
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Dissemination
Bibliography
XML PDF e-pub
PDF e-Pub


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.

Table 1.
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:

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:

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].