Contrats

En cours ( 1 )

Acronyme Titre du Contrat Contact(s) Date début Durée
(mois)
IFSE Ingénierie Formelle des Systèmes Embarqués VERNADAT François 21/10/11 38

Terminés ( 20 )

Acronyme Titre du Contrat Contact(s) Date début Durée
(mois)
NEWCOM++ Network of Excellence in Wireless Communications ++ PERENNOU Tanguy 01/01/08 40
Intégrité du satellite dans les NGN QoS GAYRAUD Thierry 15/01/08 10
PLATSIM Plateforme de Simulateurs en Réseau GAYRAUD Thierry 01/09/08 36
ECODE Experimental COgnitive Distributed Engine OWEZARSKI Philippe 01/09/08 40
Architecture à qualité de service pour la mobilité dans les systèmes satellite DVB-S/ RCS GAYRAUD Thierry 01/10/08 15
Allocation de ressources autonome et distribuée pour la gestion des réseaux de service virtuels différenciés OWEZARSKI Philippe 27/10/08 36
Etude de la mise enoeuvre de la QoS réseau pour le partage de contenu multimedia entre groupe d'utilisateurs DIAZ Michel 24/11/08 36
Modalités de coopération scientifique DRIRA Khalil, DIAZ Michel, OWEZARSKI Philippe 05/12/08 48
ITEmIS Sytèmes d'information embarqués et intégrés VERNADAT François 15/12/08 36
Feel@Home QoS and Security in an Extended Digital Living @ Home DIAZ Michel 01/01/09 24
AMIC-TCP Architecture de Multiplexage Informatique Communication pour Transport en Commun de Personnes DRIRA Khalil, GAYRAUD Thierry 01/01/09 36
QUARTEFT Qualifiable Real TimE Fiacre Transformations VERNADAT François 02/06/09 36
A2NETS Autonomic Services in M2M Networks DRIRA Khalil 01/11/10 41
RESPECTED Real-time Executive Support with scheduling Policies for thErmally-Constrained mulTicore EmbeddeD systems HLADIK Pierre-Emmanuel 01/12/10 42
RESCUE RESeau Coordonné de sUbstitution mobilE OWEZARSKI Philippe 01/12/10 36
Amélioration des performances applicatives dans un contexte hybride réseau satellite/terrestre BERTHOU Pascal 10/12/10 11
NET-AL Etude des fonctionnalités de la couche d'accès et des interactions avec les couches adjacentes, exemples GAYRAUD Thierry 15/12/10 7
Analyse de risque, processus de sûreté, solutions et certification OWEZARSKI Philippe 01/03/11 36
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 01/10/11 36
OpenETCS Open Proofs Methodology for the European Train Control System DAL ZILIO Silvano 01/12/11 36