Politiques (m,k)-firm et combinatoire des mots
Résumé
Dans ce papier, nous étudions les problèmes liés à l'ordonnançabilité temps réel d'ensembles de tâches dites sous contraintes (m,k). Ces ordonnancements seront effectués à partir de mots représentant les décisions appelés patterns. Dans un premier temps, nous allons montrer que les patterns introduits dans la littérature se caractérisent sous la forme de mots spécifiques, les mots sturmiens. Puis en considérant les défauts de ces patterns, nous proposons une nouvelle technique pour déterminer les patterns des tâches. Les résultats expérimentaux vont montrer que notre approche permet une amélioration des conditions d'ordonnançabilité. Enfin, nous nous intéressons à l'ordonnançabilité en prenant en compte un critère supplémentaire : l'ordonnançabilité du trafic à contraintes temps réel souple. || In this paper, we study the problem of scheduling task sets with (m,k) constraints of real-time systems. The real-time scheduling will be carried out from the words representing the decisions and called (m,k) patterns. First, we will show that the pattern