Fiche de ZAGALO Kevin

Informations professionnelles


Statut: Docteur ED
ED: EDITE
Unité de recherche: Inria-Paris (ED-130)
Employeur: INRIA


Date de debut de thèse: 1 janvier 2020
Date soutenance de thèse: 28 septembre 2023
Directeur de thèse: Avner BAR-HEN (CEDRIC)
Directrice de thèse: Liliana CUCU-GROSJEAN (Inria-Paris (ED-130))
Sujet de thèse: Statistical-oriented predictability of cyber-physical systems Thématique : Systèmes et architectures intégrés matériel-logiciel



Soutenance de thèse

Données générales

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

Rapporteurs/ Rapporteuses

Personne Qualité Etablissement
Mme. Bouillard Anne Industrielle (HDR) HUAWEI France
M. Song Ye-qiong Professeur des universités Laboratoire Lorrain de Recherche en Informatique et ses Applications

Composition du jury

Personne Qualité Etablissement
Mme. Bouillard Anne Industrielle (HDR) HUAWEI France
M. Song Ye-qiong Professeur des universités Laboratoire Lorrain de Recherche en Informatique et ses Applications
M. Girault Alain Directeur de recherche Inria Grenoble - Rhône-Alpes
Mme. Munier Alix Professeure des universités LIP6, Sorbonne Université
Mme. Cucu-grosjean Liliana Directrice de recherche (HDR) Institut National de recherche en informatique et en automatique - Paris centre, Sorbonne Université
M. Bar-hen Avner Professeur des universités Centre d’études et de recherche en informatique et communication, CNAM