Université de Poitiers Laboratoire d Informatique Scientifique et Industrielle E.A LISI - ENSMA et Université de Poitiers Responsables Francis Cottet Professeur ENSMA Annie Choquet-Geniet MdC HDR, UFR Sciences Permanents Dominique Geniet MdC, UFR Sciences Pascal Richard MdC, IUT GEA Emmanuel Grolleau MdC, ENSMA Doctorants Michaël Richard Bourse région - ATER Laurent David Bourse MENRT Gaëlle Largeteau Bourse MENRT Stéphane Pailler Bourse MENRT DEA T3IA 3 étudiants DEA Mécanique 1 étudiant PFE ENSMA 1 étudiant Maîtrise 1 stagiaire IUT et BTS 2 stagiaires Étudiants Problématique générale : Modélisation et Validation des applications temps réel Ordonnancement LISI - ENSMA - Téléport 2 - BP Avenue Clément Ader Chasseneuil Futuroscope cedex

Université de Poitiers Laboratoire d Informatique Scientifique et Industrielle E.A LISI - ENSMA et Université de Poitiers Relations South Bank University, Londres (Nimal Nissanke) Université libre de Bruxelles (Joël Goossens) Université de Rouen (Jean-Philippe Dubernard) Université de Nancy (René Schott) Université de Poitiers, IRCOM-SIC Universités françaises, thèmes temps réel Industrielles Contrat Plan État-Région, thème transport (informatique temps réel embarquée National Instrument (programmation graphique multitâches) Cyberdesign (spécification et conception formelles des automatismes industriels et temps réel) CG & Partners, Anvar (Contrôle en temps réel de la charge de travail d un laboratoire : application aux laboratoires pharmaceutiques) Universitaires

Université de Poitiers Laboratoire d Informatique Scientifique et Industrielle E.A LISI - ENSMA et Université de Poitiers Ordonnancement en ligne Objectif : ordonnancement conjoint de tâches et de messages Méthode Analyse de pires temps de réponse Recherche de priorités optimales, méthodologie arborescente Conditions analytiques dordonnançabilité Applicabilité et utilité de lordonnancement mixte : analyse expérimentale (simulation) Site 1 Site 2 Réseau Analyse holistique Étude de tâches à contraintes de régularité Contrôle de la gigue (DM, ED) Approche probabiliste (durées aléatoires et gigue) Ordonnancement mixte (RR et FPP) Programmation multitâche en environnement graphique flot de données

Université de Poitiers Laboratoire d Informatique Scientifique et Industrielle E.A LISI - ENSMA et Université de Poitiers Mise en œuvre - Modélisations Réseaux de Petri Automates Tâches à durées fixes ou variables Mono ou multi processeur Intégration de tâches sporadiques Systèmes répartis ? Taille ? Approche combinatoire (énumération, séries formelles) Approche géométrique (utilisation de cartes, géométrie discrète) Ordonnancement hors ligne Étude de faisabilité Étude des temps creux Date d entrée en régime permanent