EN FR
EN FR


Section: Partnerships and Cooperations

European Initiatives

FP7 & H2020 Projects

EoCoE
  • Title: Energy oriented Centre of Excellence for computer applications

  • Programm: H2020

  • Duration: October 2015 - October 2018

  • Coordinator: CEA

  • Partners:

    • Barcelona Supercomputing Center - Centro Nacional de Supercomputacion (Spain)

    • Commissariat A L Energie Atomique et Aux Energies Alternatives (France)

    • Centre Europeen de Recherche et de Formation Avancee en Calcul Scientifique (France)

    • Consiglio Nazionale Delle Ricerche (Italy)

    • The Cyprus Institute (Cyprus)

    • Agenzia Nazionale Per le Nuove Tecnologie, l'energia E Lo Sviluppo Economico Sostenibile (Italy)

    • Fraunhofer Gesellschaft Zur Forderung Der Angewandten Forschung Ev (Germany)

    • Instytut Chemii Bioorganicznej Polskiej Akademii Nauk (Poland)

    • Forschungszentrum Julich (Germany)

    • Max Planck Gesellschaft Zur Foerderung Der Wissenschaften E.V. (Germany)

    • University of Bath (United Kingdom)

    • Universite Libre de Bruxelles (Belgium)

    • Universita Degli Studi di Trento (Italy)

  • Inria contact: Michel Kern

  • Corse contact: Jean-François Méhaut

  • Corse participants: Jean-François Méhaut, Frédéric Desprez and Francieli Zanon Boito

  • The aim of the present proposal is to establish an Energy Oriented Centre of Excellence for computing applications, (EoCoE). EoCoE (pronounce “Echo”) will use the prodigious potential offered by the ever-growing computing infrastructure to foster and accelerate the European transition to a reliable and low carbon energy supply. To achieve this goal, we believe that the present revolution in hardware technology calls for a similar paradigm change in the way application codes are designed. EoCoE will assist the energy transition via targeted support to four renewable energy pillars: Meteo, Materials, Water and Fusion, each with a heavy reliance on numerical modeling. These four pillars will be anchored within a strong transverse multidisciplinary basis providing high-end expertise in applied mathematics and HPC. EoCoE is structured around a central Franco-German hub coordinating a pan-European network, gathering a total of 8 countries and 23 teams. Its partners are strongly engaged in both the HPC and energy fields; a prerequisite for the long-term sustainability of EoCoE and also ensuring that it is deeply integrated in the overall European strategy for HPC. The primary goal of EoCoE is to create a new, long lasting and sustainable community around computational energy science. At the same time, EoCoE is committed to deliver high-impact results within the first three years. It will resolve current bottlenecks in application codes, leading to new modeling capabilities and scientific advances among the four user communities; it will develop cutting-edge mathematical and numerical methods, and tools to foster the usage of Exascale computing. Dedicated services for laboratories and industries will be established to leverage this expertise and to foster an ecosystem around HPC for energy. EoCoE will give birth to new collaborations and working methods and will encourage widely spread best practices.

  • Francieli Zanon Boito started in November 2017 as post-doc for the EoCoe project. She is working with Frédéric Desprez, Thierry Deutsch (CEA INAC) and Jean-François Méhaut. Francieli is investigating the data storage issues for the scientific workflows on the nano-scale characterization center (PFNC@Minatec http://inac.cea.fr/en/Phocea/Vie_des_labos/Ast/ast_technique.php?id_ast=217).

PRACE-5IP
  • Title: PRACE-5IP (PRACE Fifht Implementation Phase)

  • Program H2020

  • Duration: 01/01/2013 - 30/04/2019

  • Inria partners: Hiepacs team (Inria Bordeaux Sud-Ouest), Storm team (Inria Bordeaux Sud-Ouest), Nachos team (Inria Sophia Antipolis Méditerranée), Corse team (Inria Grenoble Rhône Alpes) Inria contact: Stéphane Lanteri (Nachos, Sophia Antipolis)

  • Corse contact: Jean-François Méhaut

  • Corse participants: François Broquedis, Jean-François Méhaut

    The objectives of PRACE-5IP are to build on and seamlessly continue the successes of PRACE and start new innovative and collaborative activities proposed by the consortium. These include:

    • assisting the transition to PRACE2 including analysis of TransNational Access;

    • strengthening the internationally recognized PRACE brand;

    • continuing and extend advanced training which so far provided more than 18800 person-training days;

    • preparing strategies and best practices towards Exascale computing;

    • coordinating and enhancing the operation of the multi-tier HPC systems and services;

    • supporting users to exploit massively parallel systems and novel architectures.

    The Inria contribution is in the prolongation of involvement (jointly with CINES) in PRACE 4IP – WP7. The participation of Inria’s researchers has been enlarged to include project-teams that were all involved in the C2S@Exa Inria Project Lab. The Inria teams will contribute to the WP7 and the following sub-tasks:

    • Task 7.1: Applications Enabling Services for PRACE systems

    • Task 7.4 Provision of Numerical Libraries for Heterogeneous/Hybrid Architectures

    The activities are organized along two complementary lines

    • Generic (or transverse) technologies for simulation software

    • Specific (or vertical) technologies i.e. simulation software

    The Corse activities for PRACE-5IP will start with the hiring of one year postdoc in 2018. We will work on the DIOGENEs (DisOntinous GalErkin Nanoscale Solvers) software suite developed in the Nachos team. The post-doc will investigate the new vectorization features of processors.

Collaborations in European Programs, Except FP7 & H2020

  • Program: COST

  • Project acronym: ArVI

  • Project title: Run-Time Verification beyond Monitoring

  • Duration: December 2014 - Dec 2018

  • Coordinator: Martin Leucker, University of Lubeck

  • Abstract: Run-Time verification (RV) is a computing analysis paradigm based on observing a system at run-time to check its expected behavior. RV has emerged in recent years as a practical application of formal verification, and a less ad-hoc approach to conventional testing by building monitors from formal specifications.

    There is a great potential applicability of RV beyond software reliability, if one allows monitors to interact back with the observed system, and generalizes to new domains beyond computers programs (like hardware, devices, cloud computing and even human centric systems). Given the European leadership in computer based industries, novel applications of RV to these areas can have an enormous impact in terms of the new class of designs enabled and their reliability and cost effectiveness.

    This Action aims to build expertise by putting together active researchers in different aspects of run-time verification, and meeting with experts from potential application disciplines. The main goal is to overcome the fragmentation of RV research by (1) the design of common input formats for tool cooperation and comparison; (2) the evaluation of different tools, building a growing sets benchmarks and running tool competitions; and (3) by designing a road-map and grand challenges extracted from application domains.