Document Open Access Logo

Abstract Response-Time Analysis: A Formal Foundation for the Busy-Window Principle (Artifact)

Authors Sergey Bozhko, Björn B. Brandenburg

PDF

Artifact Description

Thumbnail PDF
PDF
DARTS.6.1.3.pdf
  • Filesize: 275 kB
  • 2 pages

Document Identifiers

Subject Classification

ACM Subject Classification
  • Computer systems organization → Real-time systems
  • Software and its engineering → Scheduling
  • Theory of computation → Scheduling algorithms
Keywords
  • hard real-time systems
  • response-time analysis
  • uniprocessor
  • busy window
  • fixed priority
  • EDF
  • verification
  • Coq
  • Prosa
  • preemptive
  • non-preemptive
  • limited-preemptive

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
    0
    Metadata Views

Abstract

This artifact provides the means to validate and reproduce the results of the associated paper "Abstract Response-Time Analysis: A Formal Foundation for the Busy-Window Principle". In this artifact we demonstrate how to compile the source code and automatically check the proofs of each theorem. We also provide references to all key results claimed to be proven in the paper (including Abstract RTA and all eight instantiations), so that readers may confirm that no proofs have been omitted.

Cite As Get BibTex

Sergey Bozhko and Björn B. Brandenburg. Abstract Response-Time Analysis: A Formal Foundation for the Busy-Window Principle (Artifact). In Special Issue of the 32nd Euromicro Conference on Real-Time Systems (ECRTS 2020). Dagstuhl Artifacts Series (DARTS), Volume 6, Issue 1, pp. 3:1-3:2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020) https://doi.org/10.4230/DARTS.6.1.3

Author Details

Sergey Bozhko
  • Max Planck Institute for Software Systems (MPI-SWS)
Björn B. Brandenburg
  • Max Planck Institute for Software Systems (MPI-SWS)

Artifact

  MD5 Sum: 5f10805963fcb235c83f7a7f0be07a52 (Get MD5 Sum)

Related Article

  • Sergey Bozhko and Björn B. Brandenburg, "Abstract Response-Time Analysis: A Formal Foundation for the Busy-Window Principle", in 32nd Euromicro Conference on Real-Time Systems (ECRTS 2020), LIPIcs, Vol. 165, pp. 22:1 - 22:24, 2020. https://doi.org/10.4230/LIPIcs.ECRTS.2020.22
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2025 Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact