Overall Objectives
Research Program
Application Domains
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
XML PDF e-pub
PDF e-Pub

Section: Partnerships and Cooperations

National Initiatives

FSN (Fonds national pour la Société Numérique)


Participants : Rim Abid, Hugues Evrard, Frédéric Lang, Gwen Salaün [correspondent] , Lina Ye.

OpenCloudware  ( ) is a project funded by the FSN. The project is led by France Telecom / Orange Labs (Meylan, France) and involves 18 partners (among which Bull, OW2, Thalès, Inria, etc.). OpenCloudware aims at providing an open software platform enabling the development, deployment and administration of cloud applications. The objective is to provide a set of integrated software components for: (i) modeling distributed applications to be executed on cloud computing infrastructures; (ii) developing and constructing multi-tier virtualized applications; and (iii) deploying and administrating these applications (PaaS platform) possibly on multi-IaaS infrastructures.

OpenCloudware started in January 2012 for three years and nine months. The main contributions of CONVECS to OpenCloudware (see §  6.5.4 ) are the formal specification of the models, architectures, and protocols (self-deployment, dynamic reconfiguration, self-repair, etc.) underlying the OpenCloudware platform, the automated generation of code from these specifications for rapid prototyping purposes, and the formal verification of the aforementioned protocols.


Participants : Hubert Garavel [correspondent] , Frédéric Lang, Raquel Oliveira.

Connexion  ( ) (COntrôle commande Nucléaire Numérique pour l'EXport et la rénovatION) is a project funded by the FSN, within the second call for projects “Investissements d'Avenir — Briques génériques du logiciel embarqué”. The project, led by EDF and supported by the Pôles de compétitivité Minalogic, Systematic, and Pôle Nucléaire Bourgogne, involves many industrial and academic partners, namely All4Tech, Alstom Power, ArevA, Atos Worldgrid, CEA-LIST, CNRS/CRAN, Corys Tess, ENS Cachan, Esterel Technologies, Inria, LIG, Predict, and Rolls-Royce. Connexion aims at proposing and validating an innovative architecture dedicated to the design and implementation of control systems for new nuclear power plants in France and abroad.

Connexion started in April 2012 for four years. In this project, CONVECS will assist another LIG team, IIHM, in specifying human-machine interfaces formally using the LNT language and in verifying them using CADP (see §  6.5.7 ).

Competitivity Clusters

Bluesky for I-Automation

Participants : Hubert Garavel, Fatma Jebali, Jingyan Jourdan-Lu, Frédéric Lang, Eric Léo, Radu Mateescu [correspondent] .

Bluesky for I-Automation is a project funded by the FUI (Fonds Unique Interministériel) within the Pôle de Compétitivité Minalogic. The project, led by Crouzet Automatismes (Valence), involves the SMEs (Small and Medium Enterprises) Motwin and VerticalM2M, the LCIS laboratory of Grenoble INP, and CONVECS. Bluesky aims at bringing closer the design of automation applications and the Internet of things by providing an integrated solution consisting of hardware, software, and services enabling a distributed, Internet-based design and development of automation systems. The automation systems targeted by the project are networks of programmable logic controllers, which belong to the class of GALS (Globally Asynchronous, Locally Synchronous) systems.

Bluesky started in September 2012 for three years. The main contributions of CONVECS to Bluesky (see §  6.1.3 and §  6.5.5 ) are the definition of GRL, the formal pivot language for describing the asynchronous behavior of logic controller networks, and the automated verification of the behavior using compositional model checking and equivalence checking techniques.

Other National Collaborations

Additionally, we collaborated in 2014 with the following Inria project-teams:

Beyond Inria, we had sustained scientific relations with the following researchers: