Description
Date depot: 1 janvier 1900
Titre: L'étude des systèmes embarqués en présence de contraintes temporelles et de sécurité
Directrice de thèse:
Liliana CUCU-GROSJEAN (Inria-Paris (ED-130))
Domaine scientifique: Sciences et technologies de l'information et de la communication
Thématique CNRS : Non defini
Resumé:
Les systèmes embarqués actuels nécessitent souvent la vérification des contraintes temporelles de ces systèmes. Cette vérification, faite tout au long du cycle de développement, doit prendre en compte des architectures de plus en plus complexes, ainsi que des nouvelles contraintes de sécurité liées à l'interconnexion entre les différents sous-systèmes. Ces architectures rendent certaines techniques déterministe trop pessimistes, voire impossibles, à cause des scénarios pire cas sur lesquels elles s'appuient. Une alternative à ces problèmes est l’approche probabiliste qui est, en général, plus adaptée pour la prise en compte des aléas et elle permet un dimensionnement plus fin des systèmes.
Les contraintes temps réel sont souvent étudiées séparément des contraintes de sécurité mais les communications accrues forcent les deux communautés à s'approcher. Dans le cadre de cette thèse nous regardons l'impact des protocoles de sécurité sur le comportement temporel des systèmes embarqués communicants (connus également sous le nom de cyber-physical systems).
Doctorant.e: Ntaryamira Evariste