Optimizing the Resource Requirements of Hierarchical Scheduling Systems

Abstract : Compositional reasoning on hierarchical scheduling systems is a well-founded formal method that can construct schedulable and optimal system configurations in a compositional way. However, a compositional framework formulates the resource requirement of a component, called an interface, by assuming that a resource is always supplied by the parent components in the most pessimistic way. For this reason, the component interface demands more resources than the amount of resources that are really sufficient to satisfy sub-components. We provide two new supply bound functions which provides tighter bounds on the resource requirements of individual components. The tighter bounds are calculated by using more information about the scheduling system. We evaluate our new tighter bounds by using a model-based schedulability framework for hierarchical scheduling systems realized as Uppaal models. The timed models are checked using model checking tools Uppaal and Uppaal SMC, and we compare our results with the state of the art tool CARTS.
Type de document :
Article dans une revue
ACM SIGBED Review, Association for Computing Machinery (ACM), 2016, 13 (3), pp.41-48. 〈10.1145/2983185.2983192〉
Liste complète des métadonnées

Littérature citée [17 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01406459
Contributeur : Nisrine Jafri <>
Soumis le : jeudi 1 décembre 2016 - 11:43:20
Dernière modification le : mercredi 16 mai 2018 - 11:24:11
Document(s) archivé(s) le : mercredi 22 mars 2017 - 23:50:19

Fichier

j56.pdf
Publication financée par une institution

Identifiants

Citation

Jin Hyun Kim, Axel Legay, Louis-Marie Traonouez, Abdeldjalil Boudjadar, Ulrik Nyman, et al.. Optimizing the Resource Requirements of Hierarchical Scheduling Systems. ACM SIGBED Review, Association for Computing Machinery (ACM), 2016, 13 (3), pp.41-48. 〈10.1145/2983185.2983192〉. 〈hal-01406459〉

Partager

Métriques

Consultations de la notice

579

Téléchargements de fichiers

63