Thèse

Bibliographie d’introduction a l’ordonnancement dans lessystemes informatiques temps-reelDavid DecotignyNovembre 20022IntroductionUn point commun entre une usine, un avion, une centrale nucleaire, une machinea laver, une auto, et un appareil multimedia de salon, est qu’ils possedent tous, denos jours, un ou plusieurs processeur(s) ou microcontr^ oleur(s) pour les gerer. Un autrepoint commun entre ces systemes, est que le logiciel qui y est deroule, a conscience del’ecoulement du temps, et prend des decisions en fonction de celui-ci. On parle alors desysteme temps-reel, sachant que ce terme rev^et un sens extr^emement large (chapitre1).Dans ce travail, la notion de temps-reel dans les systemes que nous etudions possededeux caracteristiques (chapitre 2) : i) elle correspond a une serie de contraintes tempo-relles (absolues, relatives, moyennes) que le systeme doit absolument veri er, sous peinede consequence catastrophique sinon (perte de vies humaines, destruction de materiel,impact nancier important, ...), ii) le temps est per cu comme une grandeur physiquemesurable, et le systeme a conscience qu’elle a ecte tous les traitements logiciels ef-fectues.Dans ce contexte, la problematique qui nous interesse est celle qui consiste a veri erque le systeme respectera toutes les contraintes temporelles speci ees avant touteexecution reelle du systeme ; on parle d’approche par analyse ( a la di erence d’ap-proches par ...