License: Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.ECRTS.2022.7
URN: urn:nbn:de:0030-drops-163246
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2022/16324/
Pollex, Victor ;
Slomka, Frank
A Mathematical Comparison Between Response-Time Analysis and Real-Time Calculus for Fixed-Priority Preemptive Scheduling
Abstract
Fixed-priority preemptive scheduling is a popular scheduling scheme for real-time systems. This is accompanied by a vast amount of research on how to analyse and check whether these systems satisfy their real-time requirements. Two methods that emerged from this research are the response-time analysis and the real-time calculus. These two methods have been compared empirically on the basis of several abstract systems showing that for some systems one method gives better results than the other and for other systems both methods appear to give the same results. However, empirical analyses inherently contain uncertainty. To get a definitive answer we compare both methods mathematically and we show that both methods give the same results for systems that use fixed-priority preemptive scheduling and independent tasks.
BibTeX - Entry
@InProceedings{pollex_et_al:LIPIcs.ECRTS.2022.7,
author = {Pollex, Victor and Slomka, Frank},
title = {{A Mathematical Comparison Between Response-Time Analysis and Real-Time Calculus for Fixed-Priority Preemptive Scheduling}},
booktitle = {34th Euromicro Conference on Real-Time Systems (ECRTS 2022)},
pages = {7:1--7:25},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-239-6},
ISSN = {1868-8969},
year = {2022},
volume = {231},
editor = {Maggio, Martina},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/opus/volltexte/2022/16324},
URN = {urn:nbn:de:0030-drops-163246},
doi = {10.4230/LIPIcs.ECRTS.2022.7},
annote = {Keywords: real-time systems, fixed-priority scheduling, response-time analysis, real-time calculus}
}
Keywords: |
|
real-time systems, fixed-priority scheduling, response-time analysis, real-time calculus |
Collection: |
|
34th Euromicro Conference on Real-Time Systems (ECRTS 2022) |
Issue Date: |
|
2022 |
Date of publication: |
|
28.06.2022 |