Université de Poitiers Laboratoire d Informatique Scientifique et Industrielle E.A. 1232 LISI - ENSMA et Université de Poitiers Responsables Francis Cottet.

Présentation au sujet: "Université de Poitiers Laboratoire d Informatique Scientifique et Industrielle E.A. 1232 LISI - ENSMA et Université de Poitiers Responsables Francis Cottet."— Transcription de la présentation:

1 Université de Poitiers Laboratoire d Informatique Scientifique et Industrielle E.A. 1232 LISI - ENSMA et Université de Poitiers Responsables Francis Cottet Professeur ENSMA Cottet@ensma.fr 05 49 49 80 52 Annie Choquet-Geniet MdC HDR, UFR Sciences ageniet@ensma.fr 05 49 49 80 68 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 40109 - 1 Avenue Clément Ader - 86961 Chasseneuil Futuroscope cedex

2 Université de Poitiers Laboratoire d Informatique Scientifique et Industrielle E.A. 1232 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

3 Université de Poitiers Laboratoire d Informatique Scientifique et Industrielle E.A. 1232 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

4 Université de Poitiers Laboratoire d Informatique Scientifique et Industrielle E.A. 1232 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