TITRE: « Contrôle d’erreurs pour communications : évolutif pour de très hautes exigences d’intégrité »
DATE LIMITE DE CANDIDATURE : 4 mai 2012 DATE DE DÉBUT de thèse : Septembre 2012
LABORATOIRE : LAAS-CNRS (http://www.laas.fr/), dans l'équipe TSF
(http://www.laas.fr/TSF/ - Tolérance aux fautes et Sûreté de Fonctionnement informatique)
MOTS CLES : sûreté de fonctionnement, intégrité des données, contrôle d’erreurs, réseaux de communication, théorie des codes, probabilités, évaluation de performances, outils de modélisation et de simulation réseaux
FINANCEMENT : le sujet bénéficie d'un financement de type Contrat Doctoral (détails de ce type de contrat : http://www.etudiant.gouv.fr/pid20439/contrats-doctoraux.html, ou http://www.enseignementsup-recherche.gouv.fr/cid20185/le-doctorat.html)
RÉSUMÉ (sujet détaillé : ICI)
L’importance croissante des réseaux de communication dans les systèmes distribués temps réels critiques exige de garantir un très haut niveau d’intégrité pour les messages échangés. Dans certains systèmes, le niveau d'intégrité peut être considérée sur un lot de messages, et non, comme habituellement, sur un message unique. On cherche alors à se protéger de la répétition de la non-protection vis-à-vis d’altérations : il faut garantir que la probabilité de non-détection de X messages erronés dans un lot de N messages soit inférieure au seuil de criticité visé.
Pour certaines erreurs, le niveau d’intégrité visé n’est pas toujours atteint lorsqu’on utilise des fonctions classiques de contrôle d’erreur (ex. : codes CRC, Cyclic
Redundancy Check). Un début de solution a été donné avec la définition d’une fonction évolutive de contrôle d’erreur dont le principe original consiste, pour un lot de N
messages, à utiliser M (M<= N) fonctions de contrôle différentes, au lieu de la même fonction pour chaque message.
Les objectifs de la thèse sont de compléter et d’étendre les résultats déjà obtenus dans ce cadre.
- Affiner les mécanismes de la fonction évolutive de contrôle ; en particulier, il faudra définir précisément les mécanismes de synchronisation permettant aux abonnés d’utiliser à un instant donné la même fonction de contrôle d’erreur.
- Approfondir et étendre l’étude des propriétés mathématiques (pouvoirs de détection cumulatifs) sur lesquelles se base cette fonction, pour déterminer si des codes autres que les codes CRC, permettraient d’augmenter encore plus le pouvoir de détection de la solution.
- Déterminer si des politiques de changements, autres que cycliques, seraient pertinentes.
- Déterminer l’existence et l’importance de la classe de systèmes considérée
actuellement, dans d’autres domaines (automobile, robotique, …) que le domaine de l’avionique.
- Les mécanismes et modèles développés devront être évalués et validés, vis-à-vis d’objectifs d’intégrité et de respect de contraintes temporelles pour les systèmes ciblés.
DOCUMENTS à FOURNIR pour POSTULER : 1) Dans un premier temps
- un CV détaillé,
- une lettre de motivation circonstanciée (pourquoi ce sujet et pas un autre);
2) Dans un second temps,
- les relevés de notes des 3 à 5 dernières années d’études (et si disponible, les rangs de classement dans la promotion)
- une ou deux lettres de recommandation (classiquement : du responsable de stage de Master, du responsable de stage de Master)
INSCRIPTION en thèse (ultérieurement) : elle se se fera :
- Établissement : Université P. Sabatier : http://www.univ-tlse3.fr/
- Ecole doctorale : SYSTEMES (EDSYS) - http://www.laas.fr/EDSYS/
Pour postuler et/ou avoir des renseignements complémentaires, contacter les deux directeurs de thèse :
1. Agnan de BONNEVAL : agnan@laas.fr - 05 61 33 69 44 2. Yves CROUZET : crouzet@laas.fr - 05 61 33 62 34
