A residual service curve computable in quadratic time for network calculus - Archive ouverte HAL Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2024

A residual service curve computable in quadratic time for network calculus

Une courbe se service résiduelle calculable en temps quadratique pour le calcul réseau

Résumé

Computing response times for resources shared by periodic workloads (tasks or data flows) can be very time consuming as it depends on the least common multiple of the periods. In a previous study, a quadratic algorithm was provided to upper bound the response time of a set a periodic tasks with fixed-priority scheduling. This paper generalises this result by giving not only a response time but a residual curve, that can be used in other contexts. It also provides a formal proof in the Coq language.
Fichier principal
Vignette du fichier
DTIS2023-139-DTIS2023-139-Soumise-Soumise.pdf (641.77 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04674908 , version 1 (21-08-2024)

Identifiants

  • HAL Id : hal-04674908 , version 1

Citer

Marc Boyer, Pierre Roux. A residual service curve computable in quadratic time for network calculus. 2024. ⟨hal-04674908⟩

Collections

ONERA DTIS_ONERA
0 Consultations
0 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More