Laboratoire d’Analyse et d’Architecture des Systèmes
• CESAR
Cost-efficient methods and processes for safety relevant embedded systems
ARTEMIS JOINT UNDERTAKING
03/2009 - 36 months
• Spices Support for Predictable Integration of mission Critical Embedded Systems
ITEA
09/2006 - 39 mois
• Tapioca Timing Analysis and Program Implementation on Complex Architectures
CNRS Stic-AMSUD
01/2008 - 36 mois
• Quarteft: Qualifiable Real Time Fiacre Transformation
FNRAE
05/2009 - 36 months
• ITEmIS: IT and Embedded Integrated Systems
ANR Arpege
03/2009 - 36 months
• Topcased Toolkit in OPen-source for Critical Application SystEms Development
DGE + CRMIP - Pôle AE/SE
08/2006 - 48 mois
• Satrimmap Safety Time Critical Middleware for future Modular Avionics Platform
ANR- Technologies Logicielles
03/2008 - 36 mois