FEEVER Partners

• ARMINES (Project lead)
  
  
  Created in 1967, ARMINES is a 600-employee, non-profit research organization that operates under the framework of the law of April, the 18th, 2006, on the reform of research in France. Its 2009 revenues almost reached €50 millions. It is linked to its partner schools, among which MINES ParisTech is leader, for its contractual research activities.
  
  The CRI Computer Research Center at MINES ParisTech has been involved in programming language research for more than 20 years. Its main focus is the design and implementation of optimizing strategies for the compilation of imperative programming languages such as Fortran and C on parallel architectures. Annex activities have dealt, over the years, with the design of advanced Web systems and the use of new technologies such as e-learning or serious games for computer music applications
  

   
• CIEREC
  
  Created in 1969, the Centre interdisciplinaire d'études et de recherches sur l'expression contemporaine has been an équipe d'accueil since 1995. Its research focuses on the contempory arts (in particular, plastic arts, design, musicology), literature and linguistics. The development of research on computer music has been strong these last few years at CIEREC, as illustrated by the inauguration of a theater at Université de Saint-Etienne, two studios (for recording and research purposes) and the creation in 2011 of the first French professional Master of Réalisateur en informatique musicale (RIM). Research activities address mainly the analysis of electronic music and the design of real-time software products for sound synthesis, processing and spatialization. These efforts have led to many musical productions, including collaborations with GRAME, FIL (Saint-Etienne SMAC) and the Saint-Etienne opera house. 
   
• GRAME
  
  Created in 1982, in Lyon, and labeled Centre national de création musicale in 1996 by the Ministère de la culture. Located in the Rhône-Alpes region, GRAME activities cover music creation and the diffusion of works, as well as research in computer music.
  
  The focus of GRAME research work is music computation: how to describe, represent and implement properly music computations. The notion of music computation enables two approaches, whether one adopts the user's or the one of the machine. With the user's point of view, the issues of language, notation and representation of those computations are key. Machine-wise, one will more particularly look at their implementation, at efficiency constraints, at architecture concerns and at the real time issue.
  
  This approach led to many internationally recognized and significant developments, including the MidiShare real-time music operating system, which received many prizes, or more recently the collaboration and communication system for audio applications Jack (this is an open-source project to which GRAME is a frequent collaborator). GRAME also designed the INScore environment for the interactive, augmented display of scores and the synchronous programming language Faust for real-time processing of audio streams.
  
  If these projects target first music software designers, they have also been used in applications related to domains not linked to music.
   
• INRIA/IRISA
  
  Created in 1975, Institut de recherche en informatique et systèmes aléatoires is a joint research unit, including CNRS, University of Rennes 1 (main partner), INSA Rennes and ENS Cachan (for its Brittany site). IRISA, laboratory associated with INRIA, has numerous common teams with INRIA Rennes – Bretagne Atlantique research center.
  
  Espresso, part of IRISA is interested in the model-based engineering of embedded software architectures. ESPRESSO focuses on the system-level modeling and validation of software architecture, during which the benefits of formal design and validation technologies can be of most benefits to users to explore key design choices and validate user requirements. The research carried out in the project team covers all the necessary aspects of system-level design by providing a framework called Polychrony. Polychrony is a computer-aided design toolset that implements a multiclocked synchronous model of computation and communication to semantically capture the globally asynchronous and locally synchronous (GALS) structure of embedded architectures. It provides a representation of this model of computation through an Eclipse environment to facilitate its use and inter-operability with the heterogeneity of languages and diagrams commonly used in the targeted application domains: aerospace and automotive. The core of Polychrony provides a wide range of analysis, transformation, verification and synthesis services to assist the engineer with the necessary tasks leading to the simulation, test, verification and code-generation for software architectures, while providing guaranteed assurance of traceability and formal correctness.