EN FR
EN FR


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 chaos engineering principles to IoT Services frameworks to improve the robustness of the software-defined network services using this approach, to explore the concept of equivalence for software-defined network services, and to propose an approach to constantly alter the attack surface of the network services.

BCOM

  • Coordinator: UR1

  • Dates: 2018-2024

  • Abstract: The purpose 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 to work 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.

GLOSE

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

OneShotSoftware

  • 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 five locations 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.

Agileo

  • Partners: Inria/Agileo

  • Dates: 2017-2018

  • Abstract: In this project we mainly design a systematic mapping study on modeling for Industry 4.0 in order to share a common scientific roadmap.

Obeo

  • Partners: Inria/Obo

  • Dates: 2017-2020

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

OKWind

  • Partners: UR1/OKWind

  • Dates: 2017-2020

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

Orange

  • Partners: UR1/Orange

  • Dates: 2016-2019

  • Abstract: Security level modelling of user interface, Youssou Ndiaye's PhD Cifre project. .

Keolis

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

FaberNovel

  • Partners: UR1/FaberNovel

  • Dates: 2018-2021

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