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
Thumbnail PDF

Artifact Description

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

Document Identifiers

Author Details

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

Cite AsGet 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

Artifact

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.

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
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