A residual service curve of rate-latency server used by sporadic flows computable in quadratic time for network calculus

DOI10.4230/LIPICS.ECRTS.2021.14MaRDI QIDQ6099657zbMATH OpenFDO

Authors Marc Boyer, Pierre Roux

Publication date 20 June 2023

Full work available at URL https://doi.org/10.4230/LIPICS.ECRTS.2021.14

zbMATH Keywords

Coqformal proofnetwork calculusrate-latency serverresidual curveresponse timesporadic workload

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20)

Recommendations

• Approximation techniques for response-time analysis of static-priority tasks
• Improved response-time bounds in fixed priority scheduling with arbitrary deadlines
• Evaluation and improvement of response time bounds for real-time applications under non-pre-emptive Fixed Priority Scheduling
• An algorithmic toolbox for network calculus
• Efficient computation of response time bounds for preemptive uniprocessor deadline monotonic scheduling

This page was built for publication: A residual service curve of rate-latency server used by sporadic flows computable in quadratic time for network calculus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6099657)