Section: Partnerships and Cooperations

National Initiatives


  • Program: ANR

  • Project acronym: Feever

  • Project title: Faust Environment Everyware

  • Duration: 2014-2016

  • Coordinator: Pierre Jouvelot, Mines ParisTech

  • Other partners: Grame, Inria Rennes, CIEREC

  • URL: http://www.feever.fr

  • Abstract: The aim of project FEEVER is to ready the Faust music synthesis language for the Web. In this context, we collaborate with Mines ParisTech to define a type system suitable to model music signals timed at multiple rates and to formally support playing music synthesized from different physical locations.


  • Program: PAI/CORAC

  • Project acronym: CORAIL

  • Project title: Composants pour l'Avionique Modulaire Étendue

  • Duration: July 2013 - May 2017

  • Coordinator: Thales Avionics

  • Other partners: Airbus, Dassault Aviation, Eurocopter, Sagem...

  • Abstract: The CORAIL project aims at defining components for Extended Modular Avionics. The contribution of project-team TEA is to define a specification method and to provide a generator of multi-task applications.