Les systèmes temps réel implémentent des fonctionnalités qui doivent produire leurs résultats dans une fenêtre de temps donnée. Certaines de ces fonctionnalités peuvent être critiques. Si une fonctionnalité critique produit un résultat erroné ou produit un bon résultat au-delà d’une certaine limite temporelle, une défaillance se produit. Lorsqu’une défaillance se produit, des événements catastrophiques peuvent s’ensuivre, comme la perte d’une vie humaine. Les systèmes de transport intelligents sont un bon exemple de systèmes temps réel dotés de fonctionnalités critiques. Ces véhicules intègrent des fonctionnalités qui améliorent la conduite en aidant le conducteur, comme les systèmes avancés d’assistance au conducteur (ADAS). Ces fonctionnalités doivent produire de bons résultats dans une fenêtre de temps précise comme pour la détection d’objets pour éviter de blesser des usagers de la route. Une analyse précise du comportement de ces systèmes est par conséquent nécessaire pour garantir que les contraintes de temps sont respectées. Pour les véhicules modernes, les cartes électroniques choisies pour ces systèmes doivent être très performantes, et doivent intégrer toutes les fonctionnalités critiques et non critiques sur la même carte afin de réduire les coûts. Avec la miniaturisation des circuits électronique et la réduction de la tension électrique, les systèmes peuvent subir des fautes transitoires pendant leur durée de vie, provoquant des erreurs dans leurs comportements. Il est donc nécessaire d’avoir une analyse prenant en compte à la fois la fiabilité et le respect des contraintes temporelles. Dans cette thèse, nous avons proposé un ensemble de solutions qui se positionnent à deux niveaux : 1. Nous avons mis au point des modèles d’analyse de temps d’exécution des systèmes temps-réels intégrants des mémoires caches. La contribution scientifique majeure de la thèse à ce niveau est une meilleure analyse de l’impact des préemptions entre les tâches sur les temps d’accès à la mémoire dans un système ordonnancé par Earliest Deadline First. 2. Nous avons aussi conçu des techniques pour augmenter la fiabilité des systèmes temps-réel intégrant des mémoires caches. Notre approche est nouvelle dans le sens où nous proposons une méthode qui permet de protéger le code des tâches des fautes transitoires dans la mémoire cache en ajoutant des mécanismes de protection au code des tâches tout en respectant les contraintes temporelles. Comme on peut le voir, notre travail est original du fait qu’il se trouve à l’intersection de plusieurs domaines : 1. Le domaine des systèmes temps-réel critiques; 2. Le domaine des architectures de systèmes de processeurs en général et celui des systèmes embarqués programmables intégrant des mémoires caches en particulier; 3. Le domaine de la fiabilité et de la robustesse des systèmes temps-réels critiques.
M. Giuseppe LIPARI Université de Lille Directeur de thèse M. Smail NIAR Université Polytechnique Hauts-de-France Co-Directeur de thèse Mme Christine ROCHANGE Université Toulouse III-Paul Sabatier Rapporteure M. Olivier SENTIEYS Université de Rennes 1 Rapporteur M. Florian BRANDNER Télécom Paris Examinateur M. Alberto BOSIO Ecole Centrale de Lyon Examinateur
Thesis of the team SyCoMoRES defended on 18/10/2022
français
English