Contrats

En cours (1)

Titre du Contrat Contact(s) Date début Durée Type de projet Site Web du projet
DAEDALUS - Convention de soutien au projet DAEDALUS ("Debugging Architecture Description Languages") CDP-R051-L00-T00 réf. ISAE-SUPAERO 2018 CIF R 42 DAL ZILIO Silvano 3/9/2018 2 ans et 6 mois Collaboration // Collaboration de recherche

Terminés (14)

(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 BERTHOMIEU Bernard VERNADAT François 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/12/2013 1 an Convention d'acceuil
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
QUARTEFT - Qualifiable Real TimE Fiacre Transformations VERNADAT François 1/5/2009 3 ans Convention de reversement
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