1999-thesis-grolleau.. - DOCTEUR DE L'UNIVERSITE DE POITIERS ...

THESE
Pour l'obtention du grade de
DOCTEUR DE L'UNIVERSITE DE POITIERS
Ecole Nationale Supérieure de Mécanique et d’Aérotechnique
Faculté des Sciences Fondamentales et Appliquées
Ecole Doctorale des Sciences pour l’Ingénieur
(Diplôme National – Arrêté du 30 Mars 1992)
Secteur de Recherche : INFORMATIQUE
Présentée et soutenue publiquement par
Emmanuel GROLLEAU
Le 29 Novembre 1999
Ordonnancement temps réel hors-ligne optimal
à l’aide de réseaux de Petri
en environnement monoprocesseur et multiprocesseur.
Directeurs de Thèse : Francis COTTET, Annie CHOQUET-GENIET
JURY
Président : P. Estraillier Professeur, Université de La Rochelle, L3I
Rapporteurs : G. Juanole Professeur, Université Paul Sabatier, LAAS
G. Vidal-Naquet Professeur, Supélec, LRI
Examinateurs : A. Choquet-Geniet Maître de Conférences, Université de Poitiers, LISI
F. Cottet Professeur, ENSMA, LISI
A-M. Deplanche Maître de Conférences, Université de Nantes, IRCyN
LABORATOIRE D'INFORMATIQUE SCIENTIFIQUE ET INDUSTRIELLE
Ecole Nationale Supérieure de Mécanique et d'Aérotechnique
Téléport 2 - 1, avenue Clément Ader - BP 40109 - 86961 Futuroscope
Tél: 05.49.49.80.63 - Fax: 05.49.49.80.64Remerciements
J’exprime mes plus vifs remerciements à Annie Choquet-Geniet pour avoir encadré mon
travail de thèse. Ses conseils constants m’ont été une aide inestimable et ont largement contri-
bué à ma formation de chercheur.
Je tiens à remercier le Professeur Francis Cottet, qui m’a permis d’intégrer l’équipe Temps
Réel, pour les ...