Participants : Laurent George, Paul Mühlethaler, Nicolas Rivierre
L'étude du problème de l'ordonnancement non-préemptif sur un monoprocesseur a été poursuivie. Dans la classe des ordonnancements non-oisifs, et pour des lois d'arrivées périodiques ou apériodiques, l'optimalité de l'algorithme d'ordonnancement EDF a été démontrée. Des conditions de faisabilité nécessaires et suffisantes sont données. Elles résultent de l'extension de résultats établis pour le cas préemptif. Dans la classe des ordonnancements oisifs, pour des arrivées concrètes apériodiques, un algorithme de génération d'ordonnancement optimal basé sur l'optimalité de EDF a été développé. Sa complexité est exponentielle en pire cas.