BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//LORIA - ECPv6.15.20//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:LORIA
X-ORIGINAL-URL:https://www.loria.fr
X-WR-CALDESC:Évènements pour LORIA
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:Europe/Paris
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20240331T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20241027T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20250330T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20251026T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20260329T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20261025T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20250307T090000
DTEND;TZID=Europe/Paris:20250307T100000
DTSTAMP:20260411T182905
CREATED:20250304T170353Z
LAST-MODIFIED:20250304T172756Z
UID:27697-1741338000-1741341600@www.loria.fr
SUMMARY:D3 Seminar : Analyse temporelle de systèmes temps réel complexes avec le Network Calculus
DESCRIPTION:Le prochain séminaire « Analyse temporelle de systèmes temps réel complexes avec le Network Calculus » sera présenté par Damien Guidolin-Pina (ISAE SUPAERO/ONERA/RTaW)\, le 7 mars à 9h en salle A008. \nRésumé\nLes systèmes temps réel sont aujourd’hui de plus en plus complexes et différentes technologies se mêlent. Afin de garantir que le système respecte les exigences temporelles (latences\, gigues\, etc.) sans surdimensionner\, il est nécessaire d’analyser le plus précisément possible un système. Pour ce faire\, différentes théories existent et permettent de calculer des bornes assez précises. Cependant\, elles ne le permettent que sur certaines parties du système (des bornes locales). \nPour calculer une borne globale\, une théorie est souvent soit pessimiste soit pas développée pour analyser toutes les parties d’un système. Ainsi\, il est commun d’utiliser plusieurs théories pour calculer les meilleures bornes locales et les sommer pour obtenir une borne globale. Cependant\, le peu d’information échangée entre les théories engendre du pessimisme dans le calcul des bornes globales. L’objectif ici est d’améliorer l’évaluation des bornes de délai globale (de bout en bout) des systèmes temps réel critiques. Deux approches sont étudiées : \n1. Améliorer la compatibilité du Network Calculus pour le lier avec par exemple Compositional Performance Analysis\, afin d’exploiter leurs forces respectives sans introduire de pessimisme excessif dû au manque de partage d’informations. Le défi majeur réside dans la gestion des différences de continuité des courbes utilisées dans ces théories\, et un mécanisme de conversion est proposé pour assurer une compatibilité formelle. \n2. Étendre le domaine d’application du Network Calculus pour modéliser directement des éléments typiques des systèmes temps réel\, notamment les tâches\, les\nchaînes de tâches déclenchées et les hyperviseurs. Une formalisation de l’exécution des tâches est introduite\, intégrant des concepts de mise à l’échelle et de packetization pour capturer la propagation des dépendances temporelles. L’analyse des hyperviseurs est faite en tenant compte de la synchronisation des partitions et de l’alignement des flux avec leurs fenêtres d’exécution. Une nouvelle approche permet de mieux intégrer ces contraintes temporelles dans le cadre du Network Calculus\, offrant ainsi une modélisation plus fidèle des architectures temps réel complexes. \nBio :\nDamien Guidolin-Pina a obtenu le diplôme d’ingénieur de l’ISAE ENSMA\, à Poitiers\, France\, en 2020. Il a ensuite rejoint RealTime-at-Work\, un éditeur de logiciels français aidant les OEMs et Tier1s à concevoir des architectures de communication électriques/électroniques (E/E) sûres et optimisées en termes de coûts.\nPendant dix mois\, en tant qu’ingénieur logiciel\, il a travaillé sur l’implémentation de fonctionnalités notamment autour de IEEE TSN dans RTaW-PEGASE\, une plateforme leader de l’industrie pour la conception\, la configuration et la simulation d’architectures de communication embarquées. Il a ensuite réalisé son doctorat chez RealTime-at-Work\, de 2021 à 2024\, au sein de l’ONERA Toulouse. Son directeur de thèse était Marc Boyer (ONERA/DTIS). Ses recherches portent sur l’analyse temporelle des systèmes de communication temps réel\, principalement en utilisant la théorie du calcul des réseaux et la configuration de mécanisme IEEE TSN.
URL:https://www.loria.fr/event/d3-seminar-analyse-temporelle-de-systemes-temps-reel-complexes-avec-le-network-calculus/
LOCATION:A008
CATEGORIES:Séminaire
END:VEVENT
END:VCALENDAR