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