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 |
|
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 |
|