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.

Vue d'ensemble

Programme détaillé du lundi

Présentation Généraliste Temps Réel (cours)

•  Lundi 07 - 15:00 - 16:30
•  Emmanuel Grolleau
•  B140
•   e-grolleau-introduction-temps-reel.pdf

Emmanuel Grolleau est responsable de l'équipe Systèmes Embarqués Temps Réel du LIAS. Il a soutenu sa thèse en 1999, et son HdR en 2009. Son domaine d'expertise principal est l'ordonnancement temps réel, mais il s'intéresse aussi à son intégration dans le cycle de vie logiciel, et aux réseaux temps réel dirigés par le temps, ainsi qu'à l'optimisation en général.

Cette introduction au temps réel montre le lien entre sûreté de fonctionnement au sens industriel et contraintes temps réel. Puis elle met l'accent sur l'évolution matérielle vers plus de performances moyennes au prix du déterminisme temporel des microcontrôleurs simples au puces MPSoC actuelles. Elle se termine par des exemples d'architectures logicielles temps réel.

Session Doctorants

•  Lundi 07 - 17:00 - 18:45
• Yahya Hamdani (LIAS, ISAE-ENSMA) et Merlin Kooshmanian (ONERA)
•  B140

• 17:00 - 17:03 : Consignes et format de la session (Yahya Hamdani et Merlin Kooshmanian)
• 17:03 - 17:09 : Formal Modeling and Schedulability Analysis of HPC-DAGs Using Time Petri Nets (Houda Khadiri)
• 17:09 - 17:15 : An Architecture to Allow Dynamic Time-Sensitive Communications as a Service (Matthieu Amet)
• 17:15 - 17:21 : Ordonnancement et réflexion pour une prise en compte de la consommation énergétique (Maximilien Weinmann)
• 17:21 - 17:27 : Supporting Heterogeneous Space Applications on Linux through Container-Level Temporal Isolation (Merlin Kooshmanian)
• 17:27 - 17:33 : Learning-Assisted Configuration for Deterministic Communications in Time-Sensitive Networks (Mohamed-El Amine Chabane)
• 17:33 - 17:39 : Path Preselection and Warm-Start Strategies for Network-Calculus-Based Routing Optimization (Ouajih Mekni)
• 17:39 - 17:45 : Controlling Data Flows in Distributed Synchronous Logical Execution Time: the Control Depth Reading Approach (Sid-Ahmed Issolah)
• 17:45 - 17:51 : Preliminary Analysis of WCTT Pessimism in Meshed Networks with Round-Robin Scheduling and Cyclic Dependencies (Wassim Ben Jabria)
• 17:51 - 17:57 : An Open-Source Configurable Scenario Generator for Real-Time Ethernet Networks (Zakarya Halabi)
• 17:57 - 18:02 : Passage à l'espace posters
• 18:02 - 18:45 : Session posters

Les présentations sont disponibles en téléchargement dans la page Session doctorants.

Programme détaillé du mardi

Automates Temporisés (cours)

•  Mardi 08 - 08:30 - 09:45
•  Gaëtan Staquet
•  B140
•   j-staquet-introduction-timed-automata.pdf

Nous aborderons les automates temporisés qui sont des automates (des machines à états) finis auxquels on rajoute des horloges, capables de mesurer le temps continu qui s'écoule. Il est alors possible d'imposer des contraintes temporelles sur le comportement de l'automate. Par exemple, une action « enclencher » ne pourra être effectuée qu'entre 1 et 3 minutes après avoir démarré le système. Vu ces contraintes temporelles, déterminer si un état de l'automate est accessible est plus compliqué. Nous verrons une manière d'y arriver, en abstrayant le temps continu via des régions discrètes.

Automates Temporisés (TP)

•  Mardi 08 - 10:12 - 12:15
•  Gaëtan Staquet
•  B305

Nous modéliserons un système via un automate temporisé et nous vérifierons si un état est accessible, via l'outil UPPAAL https://uppaal.org.

Synchronous programming (partie 1) (cours)

•  Mardi 08 - 13:45 - 14:45
•  Benoit Caillaud
•  B140
•   b-caillaud-synchronous.pdf

In the Synchronous programming paradigm, the behaviour of a system is described as a succession of reactions, called instants, whose duration is abstract and not considered in the program. This simplifies the specification of the temporal behaviour of the system: the programmer focuses on describing how computations are stringed together throughout instants and abstracts away from the dates at which computations actually take place. This course will provide an introduction to the basics of synchronous data-flow programming. Examples and practical sessions will use the Heptagon language.

Synchronous Programming (partie 2) (cours)

•  Mardi 08 - 15:15 - 16:15
•  Benoit Caillaud
•  B140
•   b-caillaud-synchronous-extensions.pdf

In the Synchronous programming paradigm, the behaviour of a system is described as a succession of reactions, called instants, whose duration is abstract and not considered in the program. This simplifies the specification of the temporal behaviour of the system: the programmer focuses on describing how computations are stringed together throughout instants and abstracts away from the dates at which computations actually take place. This course will provide an introduction to the basics of synchronous data-flow programming. Examples and practical sessions will use the Heptagon language.

Programme détaillé du mercredi

Synchronous programming for cyberphysical systems modeling and design (TP)

•  Mercredi 09 - 08:30 - 10:30
•  Julien Forget et Benoit Caillaud
•  B305

This practical covers several aspects of the used of synchronous programming in cyberphysical systems design: (i) the programming a digital twin of a cyberphysical system and (ii) its use for the design and implementation of a digital control of this system. The practical is based on the heptagon language.

Simulation-Based Scheduling Analysis: Theoretical Problems & Practical Challenges (cours)

•  Mercredi 09 - 11:00 - 11:45
•  Hai Nam Tran
•  B140
•   n-tran-simulation-based-scheduling-analysis.pdf

This lecture presents simulation-based scheduling analysis for real-time systems. It covers the theoretical problems that must be addressed to ensure that simulation can be reliably used as a schedulability test, such as sustainability analysis and feasibility interval computation. It also discusses practical challenges and provides lessons learned from the development and use of the Cheddar scheduling simulator. The main objective is to provide guidelines for conducting scheduling simulations and interpreting the obtained data, while highlighting the strengths and limitations of simulation-based schedulability analysis.

The impact of inter-arrivals times and execution times on the length of a simulation interval (cours)

•  Mercredi 09 - 11:45 - 12:15
•  Liliana Cucu-Grosjean
•  B140

Within this lecture, we present the challenging calculation of a simulation interval length for a task set with parameters described by probabilistic distribution and/or time series of collected measures of these parameters. While (statistical) worst-case execution time becomes a mature area, the impact of inter-arrival times is a merging research topic with required understanding of the relation between the physical layers and cyber layer of a real-time system. We detail lessons learned as well as guidelines in building a simulation interval when (at least) hardware in the loop measures are available. Numerical examples on the open source KDBench programs are provided.

FreeRTOS (TP)

•  Mercredi 09 - 13:45 - 15:45
•  Jean-Luc Béchennec
•  B305

Logiciel embarqué pour le spatial

•  Mercredi 09 - 16:15 - 17:15
•  Eliott Peron
•  B305
•   e-peron-logiciel-emabarque-pour-spatial.pptx

La présentation portera sur les évolutions du logiciel de vol pour satellite : types d’applications, TSP, avec un exemple issu du projet rover IDEFIX et les évolutions vers Linux.

Programme détaillé du jeudi

Aidge : un framework open-source et collaboratif pour la conception, l'optimisation et le déploiement de l'IA embarquée (cours)

•  Jeudi 10 - 08:45 - 09:45
•  Iryna De Albuquerque Silva
•  B140

L'objectif de ce cours est de présenter aux participants Aidge https://eclipse.dev/aidge/, une plateforme open-source et collaborative hébergée par la Fondation Eclipse. Aidge fournit un riche écosystème d'outils et de méthodologies spécifiquement adaptés aux systèmes embarqués, permettant aux utilisateurs d'analyser, d'optimiser, de valider et de déployer efficacement des modèles d'IA dans des environnements distribués, temps réel critiques et à ressources contraintes. Le développement de la plateforme est soutenu par les projets DeepGreen (France 2030) et NEUROKIT2E (Europe ChipsJU), celle-ci est continuellement enrichie et validée en collaboration avec de nombreux partenaires académiques et industriels.

Tutoriels pratiques avec Aidge (TP)

•  Jeudi 10 - 10:15 - 12:15
•  Iryna De Albuquerque Silva
•  B305

Pour les travaux pratiques, l'ensemble du matériel sera fourni sous forme de notebooks Jupyter, exécutables directement en ligne via Binder. Au cours de cet séance, les participants seront guidés dans l'utilisation du framework Aidge et apprendront à :

• Créer ou importer des modèles de réseaux de neurones à partir de frameworks populaires (par exemple, ONNX)
• Appliquer une gamme de transformations et d'optimisations de graphes (telles que la quantification et la compression)
• Explorer leurs graphes de calcul, puis analyser et évaluer les modifications architecturales du modèle
• Générer du code déployable pour différentes cibles matérielles
• Générer du code C certifiable pour l'inférence en utilisant le module Export ACETONE.

WCET et introduction aux problématiques d'utilisation de GPU dans le temps-réel (cours)

•  Jeudi 10 - 13:45 - 15:00
•  Thomas Carle
•  B140

WCET OTAWA (TP)

•  Jeudi 10 - 15:30 - 17:30
•  Thomas Carle
•  B305

Programme détaillé du vendredi

Introduction au calcul réticulaire (cours)

•  Vendredi 11 - 08:15 - 09:30
•  Anne Bouillard
•  B140

Le calcul réticulaire (ou Network Calculus) est une théorie visant au calcul de bornes de performances dans le pire des cas. Cet exposé rappellera les bases de cette théorie, puis différentes manières d'analyser des réseaux complexes, soit basées sur des outils algébriques, soit sur la programmation linéaire.

Hands-on Network Calculus (TP)

•  Vendredi 11 - 10:00 - 12:00
•  Raffaele Zippo
•  B305

This tutorial shows how to move from DNC modelling equations to practical computations. We will use the nancy-playground CLI tool and the Nancy C# library to prototype worst-case performance models and analyses. Through a few exercises, we will see the impact of the models and techniques used on worst-case guarantees.

• https://github.com/rzippo/nancy-playground
• https://github.com/rzippo/nancy
• https://nancy.unipi.it/

Informations additionnelles

Accueil et Inscriptions

Lorsque vous arriverez à l'ISAE-ENSMA, entrez par l'entrée principale, puis dirigez-vous vers le bureau d'accueil et d'inscription de ETR 2026. Nous vous remettrons un badge nominatif. Pour la sécurité de tous, nous vous remercions de porter votre badge nominatif pendant toute la durée de l'école d'été ainsi que lors des événements qui y sont associés.

N'hésitez pas à contacter un membre de l'équipe d'organisation d'ETR 2026 si vous avez besoin d'informations complémentaires.

Pause café

Les pauses cafés seront servies au niveau zéro du bâtiment A de l'ISAE-ENSMA, le bâtiment d'accueil abritant les deux amphithéâtres. Du café, de la tisanne, du jus d'orange et des viennoiseries seront disponibles pendant les pauses.

Cocktail de Bienvenue

Un buffet de bienvenue sera organisé le lundi 07 septembre à partir de 18h45 au niveau zéro du bâtiment A de l'ISAE-ENSMA, le bâtiment d'accueil abritant les deux amphithéâtres (au même endroit que pour les pauses cafés).

Soirée Jeux de Société

Une séance de jeux de société se déroulera au même endroit que le cocktail de bienvenue, dans la continuité de la soirée. Cette animation sera assurée par trois animateurs de l'association Mipeul, qui proposeront petits et grands jeux pour permettre aux participants de se rencontrer et d'échanger dans une ambiance conviviale et détendue.

Déjeuner

Les déjeuners seront servis à l'hôtel Alteora les mardi, mercredi et jeudi, de 12h15 à 13h45. L'hôtel Alteora se situe à proximité de l'ISAE-ENSMA, à environ 5 minutes à pied. À la fin de chaque session de travail (salles B140 ou B305), un départ groupé sera organisé afin de rejoindre ensemble le lieu du déjeuner.

Futuroscope

Un accès libre au Futuroscope est proposé le mardi 08 septembre à partir de 17h. Un ticket par participant, remis lors de votre enregistrement, vous permet de profiter des attractions jusqu'à 20h ainsi que du spectacle du soir. Cet accès se fait de façon autonome, sans accompagnement des organisateurs. Veuillez noter que le diner n'est pas inclus le mardi 08 septembre.

Gala

Le dîner de gala se déroulera le jeudi soir à l'hôtel Alteora. Nous vous attendons à 20h devant l'établissement pour débuter la soirée ensemble.

Pour toutes questions concernant ETR2026, contactez le comité d'organisation :

• etr2026@ensma.fr
• +33 5 49 49 80 63
• Laboratoire LIAS, ISAE-ENSMA
  Téléport 2 , 1 avenue Clément Ader
  86360 Chasseneuil-du-Poitou
  France