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

•  Lundi 07 - 15:00 - 16:30
•  Emmanuel Grolleau
•  B140

Session Doctorants

•  Lundi 07 - 17:00 - 18:45
•  B140

Programme détaillé du mardi

Automates Temporisés

•  Mardi 08 - 08:30 - 09:45
•  Gaëtan Staquet
•  B140

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

•  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 data-flow programming

•  Mardi 08 - 13:45 - 14:45
•  Julien Forget
•  B140

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.

TBA

•  Mardi 08 - 15:15 - 16:15
•  Benoit Caillaud
•  B140

Programme détaillé du mercredi

TBA

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

TBA

•  Mercredi 09 - 11:00 - 12:15
•  Hai Nam Tran
•  B140

TBA

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

Logiciel embarqué pour le spatial

•  Mercredi 09 - 13:45 - 15:45
•  Eliott Peron
•  B305

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

•  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

•  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.

TBA

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

WCET OTAWA

•  Jeudi 10 - 16:30 - 18:30
•  Thomas Carle
•  B305

Programme détaillé du vendredi

Introduction au calcul réticulaire

•  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

•  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é

TBA

Cocktail de Bienvenue

TBA

Soirée Jeux de Société

TBA

Déjeuner

TBA

Futuroscope

TBA

Gala

TBA

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