Ci-dessous, les différences entre deux révisions de la page.
Les deux révisions précédentesRévision précédenteProchaine révision | Révision précédenteProchaine révisionLes deux révisions suivantes | ||
fr:recherche [2011/03/16 09:57] – blussier | fr:recherche [2020/05/29 10:46] – [Tolérance aux fautes systèmique pour les systèmes autonomes] blussier | ||
---|---|---|---|
Ligne 30: | Ligne 30: | ||
==== Activités de recherche ==== | ==== Activités de recherche ==== | ||
- | En préparation : | + | |
- | * Stage de master | + | * Thèses |
- | * Sujet de thèse {{fr: | + | |
Ligne 48: | Ligne 47: | ||
==== Activités de recherche ==== | ==== Activités de recherche ==== | ||
- | En préparation | + | * Thèses de Majd Saïed et de Hussein Hamadi |
+ | |||
+ | |||
+ | |||
+ | |||
+ | ===== Tolérance aux fautes pour les mécanismes déclaratifs ===== | ||
+ | |||
+ | Les mécanismes déclaratifs, | ||
+ | |||
+ | Les travaux mis en place sur cet axe de travail ont pour but de proposer des méthodes permettant d' | ||
+ | |||
+ | ==== Activités de recherche ==== | ||
+ | |||
+ | * Travaux de thèse de Kaoutar Rhazali et de Augustin Viot | ||
+ | |||
+ | |||
+ | ===== Tolérance aux fautes systèmique pour les systèmes autonomes ===== | ||
+ | |||
+ | Les systèmes autonomes, de par leur complexité et la multitude de mécanismes impératifs et déclaratifs qui les composent, sont confrontés à des comportements émergents, c' | ||
+ | |||
+ | Le composant indépendant de sécurité, souvent nommé Safety-Bag, vérifie en cours d' | ||
+ | |||
+ | ==== Activités de recherche ==== | ||
+ | |||
+ | * Travaux de thèse de Manel Brini |