Fiche de ZAGALO Kevin

Titre : Analyse stochastique des sytèmes temps réel stationnaires
Date : 28 septembre 2023
Heure: 10:00
Résumé : Dans cette thèse, nous définissons la notion de système temps réel probabiliste stationaire dans lesquels les temps inter-arrivées sont décrits par des variables aléatoires identiquement distribuées. Pour ces systèmes, nous prouvons une condition nécessaire d'ordonnançabilité et ainsi nous definissons un domaine de faisabilité, en tenant compte de l'incertitude présente dans l'exécution des tâches. Ensuite, nous approximons la loi des temps de réponse de ces systèmes avec la famille des lois inverse Gaussienne et nous introduisons une méthode d'inférence pour ces temps de réponse des systèmes probabilistes temps réel. Enfin, nous étudions le problème de l'ordonnancement en ligne multiprocesseur des systèmes probabilistes temps réel, en nous concentrant sur l'utilisation des probabilités de dépassement de délai comme métrique.
Lieu : Inria Paris 2, rue Simone Iff 75012 Paris