Section: Partnerships and Cooperations

Regional Initiatives

Région Hauts-de-France

CIRRUS

Participants : Stéphanie Challita, Guillaume Fieni, Alexandre Garnier, Christophe Gourdin, Philippe Merle [contact person] , Romain Rouvoy, Lionel Seinturier, Faiez Zalila.

CIRRUS is a 3-year (2017–20) joint team with the Scalair cloud operator and architect company funded by the Hauts-de-France region. The CIRRUS joint team is developing novel solutions in the domains of the on demand configuration of heterogeneous cloud resources, the management of cloud elasticity for all deployed services (SaaS, PaaS, IaaS) in order to guarantee quality of service and user quality of experience, and the taming of financial costs of cloud infrastructures.

Alloy@Scale

Participants : Abderrahman Lahiaouni, Philippe Merle [contact person] , Romain Rouvoy, Lionel Seinturier.

Alloy@Scale is a 12-month (2018–19) project funded in the context of CPER Data program. Alloy@Scale aims at overcoming the limits of the formal verification of large software systems specified with the Alloy formal specification language. For that, the program combines the Grid'5000 infrastructure and the Docker container technology.

Rigorous Component-Based Design of Correct-by-Construction Software and Systems: Application to Cloud Computing

Participants : Simon Bliudze [contact person] , Larisa Safina.

This 24-month (2019–20) project is funded in the context of the STaRS program. It aims at the development of methods and tools for rigorous design of cloud computing platforms and applications, which can be proven to be correct by construction. First results have been published in [17], [31], [3].

Indoor Analytics

Participants : Pierre Bourhis, Remy Raes, Romain Rouvoy [contact person] , Lionel Seinturier.

Indoor Analytics is a 32-month (2019–21) project funded in the context of CPER Data program. Indoor Analytics aims at collaborating with the Mapwize company on the development of novel analytics for indoor location systems. In particular, Mapwize and Spirals target the joint delivery of an open-source software solution devoted to the acquisition, storage and processing of location events at scale.

COMMODE

Participants : Pierre Bourhis, Laurence Duchien, Clément Quinton [contact person] .

COMMODE (Knowledge COMpilation for feature MODEls) is a 24-month (2019–21) project funded in the context of CPER Data program. COMMODE aims at using techiques from knowledge compilation, a subarea of artificial intelligence, for feature models, a representation of software products used in software engineering.

Inria Lille - Nord Europe

North European Lab LLEX

Participants : Benjamin Danglot, Martin Monperrus, Lionel Seinturier [contact person] .

North European Lab LLEX (2017–19) is an international initiative supported by the Inria Lille - Nord Europe Center that takes place in the context of a collaboration between Inria and KTH. LLEX deals with research on automated diagnosis and repair of software bugs. Automated software repair is the process of fixing software bugs automatically. An automated software repair system fixes software bugs with no human intervention. The goal of automated software repair is to save maintenance costs and to enable systems to be more resilient to bugs and unexpected situations. This research may dramatically improve the quality of software systems. This initiative led to several results that have been published [24], [21], [45], [36], [10] and to the PhD thesis of Benajamin Danglot [11] that have been defended in November 2019.

ADT FingerKit

Participants : Antoine Canda, Walter Rudametkin Ivey [contact person] , Antoine Vastel.

ADT FingerKit (2018–20) is a technology development initiative supported by the Inria Lille - Nord Europe Center that focuses on the design and development of a new and enhanced version of the AmIUnique platform. AmIUnique is a data collection and analysis platform to better understand, analyze and vulgarize the uses and threats of browser fingerprinting. This initiative led by Inria is a key asset to better understand novel techniques that threatens the user privacy on Internet. This ADT builds on our first results with the PhD thesis of Antoine Vastel [14].

ADT e-Lens

Participants : Arthur d'Azémar, Guillaume Fieni, Romain Rouvoy [contact person] .

ADT e-Lens (2018–20) is a technology development initiative supported by the Inria Lille - Nord Europe Center that aims at extending the PowerAPI energy monitoring library that we develop in the team since 2011. The extension deals with the integration of new power models (for GPU, disk, network interface), the implementation of a self-optimization algorithm, the port of the platform to embedded systems running with Raspberry Pi, ROS and Android, and the implementation of an active learning algorithm for power models. This ADT builds on our results with the defended PhD theses of Adel Noureddine [68] and Maxime Colmant [52], and with the ongoing PhD thesis of Guillaume Fieni.