Contrats

En cours (5)

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
Etude des caractères essentiels de la Qualimétrie appliquée au logiciel embarqué - développement et structure organisationnelle - incluant un aspect d'entropie logicielle. - Etude des caractères essentiels de la Qualimétrie appliquée au logiciel embarqué - développement et structure organisationnelle - incluant un aspect d'entropie logicielle. BARON Claude 1/3/2018 3 ans Collaboration // Collaboration de recherche
écurité des couches de communication bas niveau de véhicules connectés : analyse de vulnérabilité et protection - Contrat d'accompagnement CIFRE de M. Antoine MONTI ALATA Eric 1/10/2017 3 ans Collaboration CIFRE
sécurité par analyse comportementale de fonctions embarquées sur plateforme avioniques modulaires intégrées NICOMETTE Vincent 1/1/2017 3 ans Collaboration CIFRE
ALFS - Automatic Loading and Feeding System GUIOCHET Jérémie 19/4/2016 3 ans et 9 mois OSEO // FUI - Fonds Uniques Interministériels de soutien aux projets de R&D collaboratifs des pôles de compétitivité

Terminés (47)

(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
Systèmes Non Bloquants - SNOB ROY Matthieu 1/3/2017 1 an et 10 mois INPT - INSA - ISAE // Toulouse tech Interlab 2017
SNOB - Systèmes non bloquants ROY Matthieu 1/3/2017 1 an et 10 mois Convention de reversement
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
SVP - Sécurité et Vie Privée NICOMETTE Vincent 10/10/2016 2 ans FONDATION // STAE
ADAGE - Anonymous mobile traffic Data Generation KILLIJIAN Marc-Olivier 1/7/2016 2 ans OSEO // FUI - Fonds Uniques Interministériels de soutien aux projets de R&D collaboratifs des pôles de compétitivité
Intégration d'une couche de modélisation physique à une simulation fonctionnelle DEMMOU Hamid 1/7/2016 3 ans Collaboration CIFRE
Conférence DSN Systèmes et réseaux fiables KANOUN Karama 28/6/2016 2 mois REGION // Midi-Pyrénées
Etude : Techniques de supervision de la sûreté de fonctionnement de fonctions réseaux virtuelles (vNFs) dans une infrastructure NFVI KANOUN Karama 6/4/2016 1 an et 6 mois Collaboration // Collaboration de recherche
Recherche de chemin d'exécution dans le binaire à partir d'une boucle de réception de données NICOMETTE Vincent 13/8/2015 3 ans Collaboration // Collaboration de recherche
CPSeLabs - CPS Engineering Labs Expediting and accelerating the realization of cyber-physical systems WAESELYNCK Hélène 1/2/2015 3 ans EUROPE-PCRDT // H2020
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
box@pme - box@pme KILLIJIAN Marc-Olivier 13/11/2014 3 ans REGION // Midi-Pyrénées
Box@Pme - Box@PME KILLIJIAN Marc-Olivier 26/9/2014 3 ans OSEO // FUI - Fonds Uniques Interministériels de soutien aux projets de R&D collaboratifs des pôles de compétitivité
GePeTo - GePeTo: geo privacy-enhancing TOol kit KILLIJIAN Marc-Olivier 1/5/2014 11 mois Prestation de service
Optimisation système Programme R&T CNES " Système Bord/ Sol" AURIOL Guillaume 13/11/2013 2 ans Collaboration // Collaboration de recherche
Construction of a formal approach for abstraction relations between simulation models ALBERT Vincent DEMMOU Hamid 6/5/2013 3 ans Collaboration CIFRE
BRIEFCASE - Basic Research in System Engineering WAESELYNCK Hélène DAL ZILIO Silvano 1/1/2013 2 ans FONDATION // STAE
Moniteurs de sécurité multi-niveaux pour systèmes autonomes GUIOCHET Jérémie 1/10/2012 3 ans Collaboration
SMART DREAM - Développement d'une aRchitecture Electrique embArquée de rupture, Multifilaire distribuée (TRL2 à  TRL3) DEMMOU Hamid 1/9/2012 3 ans et 4 mois REGION // Midi-Pyrénées
SVC - Secured Virtual Cloud NICOMETTE Vincent ALATA Eric KAANICHE Mohammed 1/7/2012 3 ans et 4 mois NATIONAL // Investissements d'Avenir
Evaluation de la sécurité d'équipements grands publics connectés à  Internet NICOMETTE Vincent 1/6/2012 3 ans Collaboration CIFRE
Architecture et processus de sécurité de bout en bout dans les systèmes véhicules-infrastructure DESWARTE Yves 1/5/2012 3 ans Collaboration CIFRE
Méthodes et techniques d'injection de fautes pour une couverture optimale des exigences de sûreté des applications automobiles embarquées FABRE Jean-Charles 1/2/2012 3 ans Collaboration CIFRE
Architecture et processus de développement permettant la mise à jour dynamique de systèmes embarqués automobiles FABRE Jean-Charles 3/1/2012 3 ans Collaboration CIFRE
OpenETCS - Open Proofs Methodology for the European Train Control System DAL ZILIO Silvano 1/12/2011 3 ans NATIONAL // MINEFE
TOAST - Time-Oriented critic Al SysTems ROY Matthieu 28/11/2011 3 ans FONDATION // STAE
SAPHARI - Safe and Autonomous Physical Human-Aware Robot Interaction GUIOCHET Jérémie 1/11/2011 4 ans EUROPE-PCRDT // FP7 http://www.saphari.eu/
IFSE - Ingénierie Formelle des Systèmes Embarqués VERNADAT François 21/10/2011 3 ans et 2 mois FONDATION // STAE
AMORES - Architecture for MObiquitous REsilient Systems KILLIJIAN Marc-Olivier 1/10/2011 4 ans NATIONAL // ANR
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
MURPHY - Mécanismes d'évaluation de la robUstesse de Réseaux de capteurs par injection de fautes PHYsiques et logicielles ROY Matthieu 1/1/2011 3 ans et 8 mois NATIONAL // ANR
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
SOBAS - Securing On-Board Aerospace Systems ALATA Eric 1/11/2010 3 ans et 11 mois NATIONAL // ANR
Etude et définition de moyens d'accés aux données de composantes virtuelles et réelles de système sous test DEMMOU Hamid 18/1/2010 3 ans Collaboration CIFRE
Etude et définition de langages de test pour systèmes embarqués WAESELYNCK Hélène 25/12/2009 3 ans Collaboration CIFRE
QUARTEFT - Qualifiable Real TimE Fiacre Transformations VERNADAT François 2/6/2009 3 ans FONDATION // FRAE
enonymity - Anonymity Enhancement for Information Society DESWARTE Yves 1/6/2009 1 an et 4 mois EUROPE-PCRDT // FP7
IMAP - Systèmes avioniques ARLAT Jean 17/4/2009 1 an et 9 mois NATIONAL // MINDEF
@MOST - Energie, Controle et Maintenance. @MOST prototype KANOUN Karama 17/4/2009 1 an et 9 mois NATIONAL // MINDEF
CESAR - Cost-efficient methods and processes for safety relevant embedded systems BERTHOMIEU Bernard 1/3/2009 3 ans EUROPE-PCRDT // FP7
MIRAS - Multimodal Interactive Robot of Assistance in Strolling GUIOCHET Jérémie 1/1/2009 3 ans et 6 mois NATIONAL // ANR
ITEmIS - Sytèmes d'information embarqués et intégrés VERNADAT François 15/12/2008 3 ans NATIONAL // ANR
DALI - Conception et validation de systèmes de détection d'intrusion au niveau applicatif KAANICHE Mohammed 1/12/2008 3 ans et 7 mois NATIONAL // ANR
SIP - Systems Innovation Planet DESWARTE Yves 2/1/2008 1 an et 6 mois NATIONAL // MINDEF
Robustesse des exécutifs temps réel par une approche à composants ouverts : application aux systèmes embarqués dans l'automobile FABRE Jean-Charles 1/12/2006 3 ans Collaboration CIFRE