Section: Bilateral Contracts and Grants with Industry

Bilateral Contracts with Industry

ADR Nokia

  • Coordinator: Inria

  • Dates: 2017-2021

  • Abstract: The goal of this project is to integrate a chaos engineering principles to IoT Services frameworks to improve the robustness of the software-defined network services using this approach and to explore the concept of equivalence for software-defined network services and propose an approach to constantly evolve the attack surface of the network services.


  • Coordinator: UR1

  • Dates: 2018-2024

  • Abstract: The aim of the Falcon project is to investigate how to improve the resale of available resources in private clouds to third parties. In this context, the collaboration with DiverSE mainly aims at working on efficient techniques for the design of consumption models and resource consumption forecasting models. These models are then used as a knowledge base in a classical autonomous loop.


  • Partners: Inria/CNRS/Safran

  • Dates: 2017-2021

  • Abstract: The GLOSE project develops new techniques for heterogeneous modeling and simulation in the context of systems engineering. It aims to provide formal and operational tools and methods to formalize the behavioral semantics of the various modeling languages used at system-level. These semantics will be used to extract behavioral language interfaces supporting the definition of coordination patterns. These patterns, in turn, can systematically be used to drive the coordination of any model conforming to these languages. The project is structured according to the following tasks: concurrent xDSML engineering, coordination of discrete models, and coordination of discrete/continuous models. The project is funded in the context of the network DESIR, and supported by the GEMOC initiative.

GLOSE Demonstrator

  • Partners: Inria/Safran

  • Dates: 2019-2020

  • Abstract: Demonstrator illustrating the technologies involved in the WP5 off the GLOSE project. The use case chosen for the demonstrator is the high-level description of a remote control drone system, whose the main objective is to illustrate the design and simulation of the main functional chains, the possible interactivity with the model in order to raise the level of understanding over the models built, and possibly the exploration of the design space.


  • Partners: Inria/Orange

  • Dates: 2017-2019

  • Abstract: The OSS project investigates an extreme version of moving target defense where a slightly different version of the application is deployed each time it is used (e.g., for crypto functions or payment services). We investigate the analysis, synthesis and transformation techniques to support diversification at 5 points of a software construction pipeline, which, once combined yield up to billions of variants. We also evaluate the support of diversification as a first class property in DevOps.


  • Partners: INSA Rennes/Kereval

  • Dates: 2019-2022

  • Abstract: Front-ends testing in a DevOps context, Romain Lebouc's PhD Cifre project.


  • Partners: Inria/Obéo

  • Dates: 2017-2020

  • Abstract: Web engineering for domain-specific modeling languages, Fabien Coulon's PhD Cifre project.


  • Partners: UR1/OKWind

  • Dates: 2017-2020

  • Abstract: Models@runtime to improve self-consumption of renewable energies, Alexandre Rio's PhD Cifre project.


  • Partners: UR1/Orange

  • Dates: 2016-2019

  • Abstract: Modelling and evaluating security of authentication paths, Youssou Ndiaye's PhD Cifre project.


  • Partners: UR1/Keolis

  • Dates: 2018-2021

  • Abstract: Urban mobility: machine learning for building simulators using large amounts of data, Gauthier LYAN's PhD Cifre project.


  • Partners: UR1/FaberNovel

  • Dates: 2018-2021

  • Abstract: Abstractions for linked data and the programmable web, Antoine Cheron's PhD Cifre project.