TELECOM ParisTech ETR'09![]() |
Bannière ETR'09
|
|
![]() |
Accueil |
||
![]() Vue panoramique de la Butte aux Cailles, quartier de Télécom ParisTech Télécom ParisTech organise l’Ecole d’Eté Temps Réel 2009 (ETR’09), avec le soutien du groupe MeFoSyLoMa, qui regroupe plusieurs équipes de recherche en informatique, provenant des laboratoires suivants : Cedric (Cnam), IBISC (Univ. Evry), LACL (Univ. Paris 12), Lamsade (Univ. Paris-Dauphine), LIP6 (UPMC), LIPN (Univ. Paris 13), LSV (École Normale Supérieure de Cachan) et LTCI (Télécom ParisTech). Cette école a eu lieu à Télécom ParisTech, 46, rue Barrault, Paris 13ème, du lundi 31 août au vendredi 4 septembre 2009. Objectifs scientifiquesLes systèmes temps réel sont caractérisés par la nécessité de respecter des contraintes temporelles imposées au système informatique par son environnement (par exemple, un procédé de fabrication, une automobile, un avion, etc.). Le développement d'un système temps réel (éventuellement embarqué) passe d'abord par la spécification de l'application et de ses contraintes fonctionnelles, comportementales et temporelles. Cette phase est suivie de la définition et du choix d'un support d'exécution capable de satisfaire cette spécification. Il faut enfin prouver que les options et décisions prises et la conception réalisée respectent les contraintes imposées par la dynamique du processus physique auquel sera associé le système informatique. L'Ecole d'Eté Temps Réel 2009 (ETR'09) a pour but de faire le point sur les avancées des méthodes, techniques et outils existants dans le domaine du temps réel et de présenter leurs possibilités, limites et complémentarités. Cette 6ème édition de l'école d'été Temps Réel est centrée sur les thèmes suivants : ![]()
Etant donnée la nature (criticité) des domaines d'application des systèmes temps réel et embarqués, l'accent est particulièrement mis sur l'utilisation (par les universitaires et industriels) des techniques formelles pour le développement de systèmes sûrs de fonctionnement. Les présentations prévues sont de trois types : cours de base, cours avancés, exposés de recherche et exposés d'industriels. Elles s'appuient sur des études de cas d'universitaires et des applications industrielles. |