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 (http://www.opencloudware.org ) 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) modelling 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.3 ) 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 (http://www.cluster-connexion.fr ) (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-machines interfaces formally using the LNT language and in verifying them using CADP (see §  6.5.6 ).

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) Mootwin 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.5.4 ) are the definition of GRL, the formal pivot language for describing the asynchronous behaviour of logic controller networks, and the automated verification of the behaviour using compositional model checking and equivalence checking techniques.

Other National Collaborations

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

  • OASIS (Inria Sophia-Antipolis – Méditerranée): Eric Madelaine and Ludovic Henrio,

  • TRISKELL (Inria Rennes – Bretagne Atlantique): Kevin Corre and Axel Legay,

  • MEXICO (Inria Saclay – Île-de-France): Alban Linard.

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

  • Gaëlle Calvary and Sophie Dupuy-Chessa (LIG, Grenoble),

  • Fabrice Kordon and Lom Messan Hillah (LIP6, Paris),

  • Alexandre Hamez and Jérôme Hugues (ISAE, Toulouse),

  • Noël De Palma and Fabienne Boyer (LIG, Grenoble),

  • Xavier Etchevers (Orange Labs, Meylan),

  • Matthias Güdemann (Systerel, Aix-en-Provence),

  • Meriem Ouederni (IRIT, Toulouse),

  • Pascal Poizat (LIP6, Paris).

H. Garavel, F. Lang, and R. Oliveira attended two training days on the Scade and Scade Display software (given by Luc Coyette, Esterel Technologies) on March 6 and 24, 2013.