Analyse monotonic de taux : la borne hyperbolique

Nous proposons une nouvelle analyse de planification pour vérifier la faisabilité de grands ensembles de tâches périodiques selon l'algorithme monotonic sur taux lorsque le test exact ne peut pas être appliqué en raison de temps d'exécution prohibitifs. Le test proposé a la même complexité que la borne originale de Liu et Layland (1973), mais il est moins pessimiste, permettant ainsi d'accepter des ensembles de tâches qui seraient rejetés avec l'approche originale. La performance de l'approche proposée est évaluée par rapport à la méthode classique de Liu et Layland et des bornes théoriques sont dérivées en fonction de n (le nombre de tâches) et pour le cas limite de n tendant vers l'infini. L'analyse est également étendue pour inclure des serveurs apériodiques et des temps de blocage dus aux protocoles de contrôle de la concurrence. Des simulations extensives sur des ensembles de tâches synthétiques sont présentées pour comparer l'efficacité du test proposé par rapport à la méthode Liu et Layland et à l'analyse exacte du temps de réponse.