Section: Contracts and Grants with Industry

ANR PEGASE

Participants : Abir Benabid, Anne Bouillard, Nadir Farhi.

TREC is a partner of the 3-year ANR project called PEGASE, jointly with ENS Lyon, the INRIA project-team MESCAL, ONERA, Real-Time-at-Work (start-up) and Thalès. This project is focused on the analysis of critical embedded networks using algebraic tools. The aim is to apply these techniques to AFDX and Spacewire architectures. Nadir Farhi was a post-doc hired through this grant until January 2011, and Abir Benabid was hired in March 2011.