Contrats

En cours (0)

Titre du Contrat Contact(s) Date début Durée Type de projet Site Web du projet

Terminés (12)

(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
Représentativité temporelle des virtualisations de protocoles de communication - Représentativité temporelle des virtualisations de protocoles de communication VERNADAT François BERTHOMIEU Bernard 1/2/2017 6 mois Collaboration // Collaboration de recherche
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
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