Soutenance d'HDR de M. Luca SANTINELLI

Luca Santinelli du laboratoire DTIS/ONERA soutiendra son HDR le 20 mai 2019 à 10h30 à Toulouse INP-ENSEEIHT, salle des thèses.

 

Laboratoire: DTIS/ONERA
Date et lieu: le 20 mai 2019 à 10h30 - INP-ENSEEIHT - salle des thèses

Thématiques de recherche:

Toute l'activité de recherche est le résultat de besoins théoriques et de besoins industriels issus des projets recherche et projets industriel auxquels j'ai participé. Chaque travail consiste à garantir les performances des systèmes embarqués temps réel, critiques et non critiques. Trois phases principales caractérisent ma production scientifique:

 

1. L'étude de la théorie de l'ordonnancement appliquée aux systèmes embarqués temps réel critiques simple-coeur. Les mécanismes de réservation de ressources, et les politiques d'adaptation ont été développés et garantis avec des approches déterministes. Les approches déterministes ont été également proposées pour des systèmes embarqués distribués.

 

2. Développement des approches probabilistes pour l'analyse temporelle et l'analyse d’ordonnançabilité. La formalisation de l'analyse temporelle probabiliste basée sur mesure pour garantir les estimations probabilistes du temps d'exécution pire cas. L’analyse probabiliste de l’ordonnançabilité, à partir de modèles de tâches probabilistes, et inspirés du calcul temps réel, a été conçue, validée et appliquée à des études industrielles et recherche.

 

3. Étude de systèmes embarqués temps réel « multi-core » et « many-core ». Utilisation et développement des approches déterministes et probabilistes pour les problèmes adaptatifs et criticité mixtes. Analyse de sensibilité et méthodes formelles appliquées aux garanties d’ordonnançabilité à la construction correcte des systèmes.

Contactez Toulouse INP

6 allée Emile Monso - BP 34038
31029 Toulouse Cedex 4

+33 (0)5 34 32 30 00

Contacts

  • Logo MENESR
  • Logo UTFTMP
  • Logo INP