Un algorithme pour l'ordonnancement de tâches temps-réel sur des ressources non-préemptives

Résumé : Ce document est la synthèse des travaux menés pour la résolution d'un problème d'ordonnancement, celui posé par le système temps-réel spectre (divers types de ressources, plusieurs ressources par type, relations de précedence, arrivées échelonnées, dates critiques...) La méthode utilisée pour parvenir a la solution et les réflexions successives y sont décrites et analysées. de plus, ce travail décrit l'algorithme solution depuis sa définition jusqu'à sa programmation, en passant par la démonstration de sa validité.