| 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 |
|
| 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 |
|
| 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 |
|
| 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 |
DAL ZILIO Silvano WAESELYNCK Hélène |
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 |
KAANICHE Mohammed NICOMETTE Vincent ALATA Eric |
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 |
|
English
Français
La recherche au LAAS
