BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//wp-events-plugin.com//7.2.3.1//EN
BEGIN:VEVENT
UID:23@lincs.fr
DTSTART;TZID=Europe/Paris:20120126T140000
DTEND;TZID=Europe/Paris:20120126T150000
DTSTAMP:20190122T131143Z
URL:https://www.lincs.fr/events/robustesse-temporelle-dans-les-systemes-em
 barques-mono-et-multiprocesseur/
SUMMARY:Robustesse temporelle dans les systèmes embarqués mono et
 multiprocesseur
DESCRIPTION:\nLe respect de contraintes temporelles strictes dans un
 système temps réel peut être garanti par l’établissement de
 conditions de faisabilité pires cas. Ces conditions de faisabilité sont
 établies pour un système temps réel spécifié par différents modèles
 (modèle de taches exécutées\, modèle d’ordonnancement\, modèle
 d’architecture\,…). Nous nous intéressons dans cette présentation au
 modèle sporadique et aux ordonnancements préemptifs à  priorités fixes
 et dynamiques (Earliest Deadline First) pour des architectures mono et
 multiprocesseur. Le modèle sporadique est défini par ses hypothèses
 pires cas (pire durée d’exécution\, inter-arrivée minimale et
 échéance minimale de terminaison au plus tard associées aux tâches).
 Les conditions de faisabilité permettant de garantir la ponctualité des
 traitements sont parfois jugées restrictives car elles se basent sur des
 modèles de systèmes pessimistes. Nous nous intéressons dans cette
 présentation à  la robustesse temporelle d’un système en cas de
 déviation de ses spécifications (hors-ligne dans une phase de
 dimensionnement ou en-ligne). Nous nous focalisons sur la sensibilié des
 pires durées d’exécution (WCETs) et montrons comment caractériser
 leurs déviations maximales acceptables ne remettant pas en cause
 l’ordonnancabilité des tâches. Les causes de déviation sont
 multiples\, elle proviennent soit de problèmes de conception (fautes
 logicielles ou matérielles)\, de l’imprécision du modèle de système
 (pas de prise en compte du coËšt système\, du coËšt de la
 préemption ou de migration)\, ou de l’adaptation du système aux
 conditions opérationnelles de son utilisation : changement des paramètres
 pour obtenir plus de précision\, contraintes d’énergie conduisant à 
 changer la fréquence du processeur ou à  augmenter les périodes. Un
 système temps réel\, dans ce contexte\, se doit d’être beaucoup plus
 robuste à  ces variations. Nous étudions dans cet exposé la robustesse
 temporelle des systèmes temps réel en contexte monoprocesseur puis en
 contexte multiprocesseur selon l’approche semi-partitionnée\, approche
 hybride entre l’approche partitionnée et l’approche globale. Nous
 terminons cette présentation par des perspectives d’applications de ces
 travaux aux systèmes distribués pour des modèles de tâches dont les
 durées d’exécution sont probabilistes.\n
CATEGORIES:Seminars
LOCATION:LINCS Meeting Room 40\, 23\, avenue d'Italie\, Paris\, 75013\,
 France
GEO:48.8283983;2.3568972000000485
X-APPLE-STRUCTURED-LOCATION;VALUE=URI;X-ADDRESS=23\, avenue d'Italie\,
 Paris\, 75013\, France;X-APPLE-RADIUS=100;X-TITLE=LINCS Meeting Room
 40:geo:48.8283983,2.3568972000000485
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:STANDARD
DTSTART:20111030T020000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
END:STANDARD
END:VTIMEZONE
END:VCALENDAR