Contrats

En cours (3)

Titre du Contrat Contact(s) Date début Durée Type de projet Site Web du projet
INGEQUIP - INGénierie des EQUIPements embarqués VERNADAT François 11/12/2014 3 ans et 6 mois NATIONAL // Investissements d'Avenir
OCE - Observation et compréhension de l'environnement VERNADAT François 11/12/2014 4 ans NATIONAL // Investissements d'Avenir
MOISE - MOdels and Information Sharing for System Engineering VERNADAT François 1/12/2014 3 ans et 3 mois NATIONAL // Investissements d'Avenir

Terminés (8)

(uniquement les contrats signés depuis le 1er janvier 2008)

Titre du Contrat Contact(s) Date début Durée Type de projet Site Web du projet
BRIEFCASE - Basic Research in System Engineering DAL ZILIO Silvano 1/1/2013 2 ans FONDATION // STAE
OpenETCS - Open Proofs Methodology for the European Train Control System DAL ZILIO Silvano 1/12/2011 3 ans NATIONAL // MINEFE
IFSE - Ingénierie Formelle des Systèmes Embarqués VERNADAT François 21/10/2011 3 ans et 2 mois FONDATION // STAE
Développement de méthodes et outils de modélisation et de vérification par modell-checking et application à  la vérification formelle d'un protocole de communication avionique VERNADAT François 1/10/2011 3 ans Collaboration CIFRE
RESPECTED - Real-time Executive Support with scheduling Policies for thErmally-Constrained mulTicore EmbeddeD systems HLADIK Pierre-Emmanuel 1/12/2010 3 ans et 6 mois NATIONAL // ANR
QUARTEFT - Qualifiable Real TimE Fiacre Transformations VERNADAT François 2/6/2009 3 ans FONDATION // FRAE
CESAR - Cost-efficient methods and processes for safety relevant embedded systems BERTHOMIEU Bernard 1/3/2009 3 ans EUROPE-PCRDT // FP7
ITEmIS - Sytèmes d'information embarqués et intégrés VERNADAT François 15/12/2008 3 ans NATIONAL // ANR