Programme

Vous trouverez ci-dessous le programme de la semaine ainsi que le détail jour par jour. Toutes les sessions sont détaillées ainsi que les événements. Cliquez sur les liens hypertextes pour obtenir plus de détails.

Programme de la semaine

8h00

Jeudi / 8:30 - 9:30 Solutions libres pour les systèmes temps réel P. Ficheux
Vendredi / 8:30 - 9:30 TSN dans les systèmes critiques P. Cuenot

9h00

Mardi / 9:00 - 10:00 Introduction méthodes formelles F. Herbreteau
Jeudi / 09:30 - 10:00 Pause Café
Vendredi / 09:30 - 10:00 Pause Café

10h00

Jeudi / 10:00 - 11:45 TP RTEMS, PREEMPT_RT et Xenomai P. Ficheux
Vendredi / 10:00 - 12:00 TP RT@W-Pegase D. Guidolin-Pina
Mardi / 10:00 - 10:30 Pause Café
Mercredi / 10:30 - 11:00 Pause Café
Mardi / 10:30 - 12:30 TP Tchecker F. Herbreteau

11h00

Mercredi / 11:00 - 12:00 J-L Bechennec
Jeudi / 11:45 - 13:15 Déjeuner

12h00

Vendredi / 12:00 - 12:15 Mot de Fin
Mercredi / 12:00 - 13:30 Déjeuner
Mardi / 12:30 - 14:00 Déjeuner

13h00

Lundi / 13:00 - 13:45 Accueil et Inscriptions
Jeudi / 13:15 - 14:45 NC + TSN M. Boyer
Mercredi / 13:30 - 15:00 T. Carle
Lundi / 13:45 - 14:00 Mot d'accueil

14h00

Lundi / 14:00 - 15:30 Présentation Généraliste Temps Réel E. Grolleau
Mardi / 14:00 - 15:00 Hippo et robotique P.E. Hladik
Jeudi / 14:45 - 16:15 Deterministic Networking G. Papadopoulos

15h00

Mercredi / 15:00 - 15:30 Consignes TP
Mardi / 15:00 - 16:00 Contrôle temporisé O. Sankur
Lundi / 15:30 - 16:00 Pause Café
Mercredi / 15:30 - 16:00 Pause Café

16h00

Lundi / 16:00 - 18:00 Session doctorants : Présentations + Posters
Mardi / 16:00 - 16:30 Pause Café
Jeudi / 16:15 - 20:00 Futuroscope
Mardi / 16:30 - 18:30 TP Cosmos B. Barbot
Jeudi 16:00 - 18:00
TP Otawa
T. Carle
Jeudi / 16:00 - 18:00
TP Trampoline
J-L Bechennec
Jeudi / 16:00 - 18:00 TP Cheddar N. Tram Haiqui

18h00

Lundi / 18:00 - 20:00 Coktail de Bienvenue

20h00

Jeudi / 20:00 - 22:30 GALA

22h00

Jeudi / À partir de 22:30 Soirée Jeux

Programme détaillé du lundi

Programme détaillé du mardi

Programme détaillé du mercredi

Ordonnancement temps réel : des origines à l'hétérogène

  • : Mercredi 22 - 08:30 - 10:30
  • : Antoine Bertout
  • : TBA

Ce séminaire est dédié aux algorithmes d'ordonnancement des tâches et à la vérification du respect des contraintes temporelles d'un système temps réel. Depuis le modèle fondateur de tâches indépendantes de Liu et Layland et des résultats classiques d'ordonnancement monoprocesseur, les modèles de tâches ont gagné en expressivité (dépendances, modes d'activation, parallélisme, etc.), de concert avec la complexité des méthodes d'ordonnancement multiprocesseur et des analyses qui s'y rapportent. Dans cette présentation, nous étudierons les résultats théoriques fondamentaux du domaine et nous dresserons un panorama des contributions visant à représenter plus fidèlement les applications et les plateformes d'exécution modernes, multiprocesseur et à architectures hétérogènes.

Trampoline, un RTOS compatible OSEK/VDX et AUTOSAR

  • : Mercredi 22 - 11:00 - 12:00
  • : Jean-Luc Bechennec
  • : TBA

Trampoline est un RTOS développé dans l'équipe STR du LS2N depuis 2005. Il s'agit d'un RTOS où les tâches sont ordonnancées selon une priorité fixe. Les cibles supportées sont nombreuses : ARM Cortex, PowerPC, AVR, RISC V et Posix. L'empreinte mémoire est faible: une dizaine de ko de ROM et quelques dizaines d'octets de RAM. Comme les autres RTOS AUTOSAR, sa configuration est statique et effectuée hors-ligne via un langage dédié. Tous les objets manipulés par l'OS sont donc connus à la compilation, ce qui permet d'obtenir une faible empreinte mémoire et d'effectuer des optimisations en fonction de l'application. Le but de cette session est de prendre en main Trampoline en construisant une application simple qui permettra de mettre en œuvre les composants principaux de l'OS : tâches, alarmes, événements et ressources.

A quick introduction to Worst-Case Execution Time analysis: from classic methods to open problems

  • : Mercredi 22 - 13:30 - 15:30
  • : Thomas Carle
  • : TBA

The scheduling algorithms and temporal validation techniques for Real-Time systems require the knowledge of the Worst-Case Execution Time (WCET) of the tasks composing the system. The WCET of a task is an upper bound on the duration of any of the possible executions of the task. In this talk, we will briefly present the models and methods used to statically derive safe WCET bounds for tasks running in isolation on single-core processors: the Implicit Path Enumeration Technique (IPET), micro-architecture modelling using execution graphs (ExeGraphs) and static cache analysis using abstract interpretation techniques.

We will then open on more complex problems such as cache related preemption delays (CRPD) computation, and on currently open problems such as timing anomalies in complex core architectures and timing interference in parallel hardware.

Programme détaillé du jeudi

Solutions libres pour les Systèmes Temps Réel

  • : Jeudi 23 - 08:30 - 09:30
  • : Pierre Ficheux
  • : TBA

Linux n'est pas nativement un OS temps réel mais l'utilisation des extensions PREEMPT_RT ou Xenomai permet de mettre en place des systèmes hybrides pour lesquels des applications Linux classiques cohabitent avec des applications TR dans le même environnement d'exécution.

Programme détaillé du vendredi