PhD Defence Julie Roux

Vincent Beroulle, Katell Morin-Allory et Lilian Bossuet ont le plaisir de vous convier à la soutenance de thèse de Julie Roux

Evaluation de la sûreté des systèmes aéronautiques grâce aux plateformes virtuelles
Thèse en collaboration avec THALES et Aedvices

La soutenance aura lieu : 

le vendredi 7 janvier à 14h30
ESISAR Amphi A042 

Title: Safety Evaluation of Aircraft Systems using Virtual Platforms

Abstract: Embedded systems in critical applications are constrained by very strict standards, but safety analysis of these systems is often empirical and mainly relies on the engineers experience. Performing empirical analyses on complex designs is a major challenge that leads engineers to make very pessimistic assumptions and consequently to over-design multiple countermeasures.
Many fault injection techniques have been developed to evaluate the robustness of Register Transfer Level (RTL) hardware designs. With these techniques, robustness is evaluated by comparing the faulty circuit outputs with the circuit specifications or golden RTL fault-free simulations. However, these techniques are too circuit centered. Besides with complex hardware designs, fault simulations become very time-consuming. Some high-level or cross-layer fault injection techniques has been proposed, but none of them propose to take into account the specification. Furthermore, high-level fault simulation is fast to the detriment of the realism. In this thesis, we present a a new iterative cross-layer robustness analysis taking into account the overall critical system specifications andverifying the realism of high-level models. This flow is consistent with the traditional top-down flow and in compliance with standard recommandations. The first step of the flow is a high-level fault simulation that leads to extract critical parameter ranges. Then, these ranges are used to evaluate the robustness of each RTL block in the circuit. In the last step, we compute some metrics reflecting the realism of the high-level models. According to these metrics,we can determine if the high-level models must be improved. The thesis proposes an approach using this flow, based on a first round “quick and dirty” that permits to obtain an early evaluation of the high-level model, and a last round accurate to obtain a classification of RTL faults. We apply this flow to a case study of a real airborne system.

Les membres du jury délibérants seront :
Olivier Sentieys, Professeur des Universités, Université de Rennes
Sébastien Pillement, Professeur des Universités, Université de Nantes (Rapporteur)
Arnaud Virazel, Professeur des Universités, Université de Montpellier II (Rapporteur)
Régis Leveugle, Professeur des Universités, Université Grenoble Alpes.