Section: Partnerships and Cooperations

National Initiatives

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


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

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, and was extended for 6 months until September 2016. In this project, CONVECS assisted another LIG team, IIHM, in specifying human-machine interfaces formally using the LNT language and in verifying them using CADP.

Competitivity Clusters

Bluesky for I-Automation

Participants : Hugues Evrard, 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 and was extended for nine months until June 2016. The main contributions of CONVECS to Bluesky (see § 6.1.6) 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

We had sustained scientific relations with the following researchers:

  • Pierre Boullier (Inria, team ALPAGE),

  • Pierre-Etienne Moreau (LORIA, team PAREO),

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

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

  • Xavier Etchevers (Orange Labs, Meylan),

  • Christophe Deleuze and Ioannis Parissis (LCIS, Valence),

  • Pascal Poizat (LIP6, Paris),

  • Lina Ye (LRI, Paris).