Section: Bilateral Contracts and Grants with Industry

Bilateral Contracts with Industry

Nokia Bell Labs - ADR SAPIENS

Several researchers of SUMO are involved in the joint research lab of Nokia Bell Labs France and Inria. We participate in the common research team SAPIENS (Smart Automated and Programmable Infrastructures for End-to-end Networks and Services), previously named “Softwarization of Everything.” This team involves several other Inria teams : Convecs, Diverse and Spades. SUMO focuses on the management of reconfigurable systems, both at the edge (IoT based applications) and in the core (e.g. virtualized IMS systems). In particular, we focus on control and diagnosis issues for such systems. Two PhD students are involved in the project. Erij Elmajed (2nd year), on the topic of Diagnosis of virtualized and reconfigurable systems supervised by Éric Fabre and Armen Aghasaryan (Nokia Bell Labs). Abdul Majith (to start in January 2019) on Controller Synthesis of Adaptive Systems, supervised by Hervé Marchand, Ocan Sankur, and Dinh Thai Bui (Nokia Bell Labs).

Orange Labs

SUMO is participating in IOLab, the common lab of Orange Labs and Inria, dedicated to the design and management of Software Defined Networks. Our activities concern the diagnosis of malfunctions in virtualized multi-tenant networks. This collaboration supports one Cifre PhD student, Sihem Cherrared (2nd year), supervised by Eric Fabre, Gregor Goessler (Inria team Spades in Grenoble) and Sofiane Imadali (Orange Labs).

Alstom Transport - P22

Joint Alstom-Inria research lab: Several researchers of SUMO are involved in the joint research lab of Alstom and Inria, in a common research team called P22. On Alstom side, this joint research team involves researchers of the ATS division (Automatic Train Supervision). The objective of this joint team is to evaluate regulation policies of urban train systems, to assess their robustness to perturbations and failures, to design more efficient regulation policies and finally to provide decision support for human regulators. The project started in march 2014. A second phase of the project started in 2016, for a duration of three years. This covers in particular the CIFRE PhD of Karim Kecir.

Mitsubishi Electric Research Center Europe (MERCE)

Several researchers of SUMO are involved in a collaboration with the formal verification team of MERCE on model checking of real-time systems. The members of the formal verification team at MERCE work on different aspects of formal verification and participate to academic collaborations.

The SUMO team and MERCE have jointly supervised an M1 internship (Ludovic Landuré), and are supervising a Cifre PhD student (Emily Clement) funded by MERCE, started this fall. Reiya Noguchi, a member of MERCE will be hosted by the SUMO team in 2019.