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 [2020/05/29 10:35] – [Activités de recherche] blussier | fr:recherche [2020/05/29 10:47] – [Activités de recherche] blussier | ||
---|---|---|---|
Ligne 28: | Ligne 28: | ||
- | ==== Activités de recherche ==== | + | ===== Activités de recherche |
Ligne 47: | Ligne 47: | ||
==== Activités de recherche ==== | ==== Activités de recherche ==== | ||
- | * 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 |