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/
Go to the corresponding LIPIcs Volume Portal


Pollex, Victor ; Slomka, Frank

A Mathematical Comparison Between Response-Time Analysis and Real-Time Calculus for Fixed-Priority Preemptive Scheduling

pdf-format:
LIPIcs-ECRTS-2022-7.pdf (0.8 MB)


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


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI