Document Open Access Logo

Foundational Response-Time Analysis as Explainable Evidence of Timeliness (Artifact)

Authors Marco Maida, Sergey Bozhko, Björn B. Brandenburg

PDF

Artifact Description

Thumbnail PDF
PDF
DARTS.8.1.7.pdf
  • Filesize: 344 kB
  • 2 pages

Document Identifiers

Subject Classification

ACM Subject Classification
  • Computer systems organization → Real-time systems
  • Software and its engineering → Formal software verification
Keywords
  • hard real-time systems
  • response-time analysis
  • uniprocessor
  • Coq
  • Prosa
  • fixed priority
  • EDF
  • preemptive
  • non-preemptive
  • verification

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 “Foundational Response-Time Analysis as Explainable Evidence of Timeliness”. The artifact demonstrates how to (i) generate task sets needed to run the experiments, (ii) prepare and run POET on the generated input, (iii) plot the figures presented in the paper, and (iv) visually inspect the generated certificates.

Cite As Get BibTex

Marco Maida, Sergey Bozhko, and Björn B. Brandenburg. Foundational Response-Time Analysis as Explainable Evidence of Timeliness (Artifact). In Special Issue of the 34th Euromicro Conference on Real-Time Systems (ECRTS 2022). Dagstuhl Artifacts Series (DARTS), Volume 8, Issue 1, pp. 7:1-7:2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022) https://doi.org/10.4230/DARTS.8.1.7

Author Details

Marco Maida
  • Max Planck Institute for Software Systems (MPI-SWS), Kaiserslautern, Germany
Sergey Bozhko
  • Max Planck Institute for Software Systems (MPI-SWS), Kaiserslautern, Germany
  • Saarbrücken Graduate School of Computer Science, Universität des Saarlandes, Germany
Björn B. Brandenburg
  • Max Planck Institute for Software Systems (MPI-SWS), Kaiserslautern, Germany

Funding

This project has received funding from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme (grant agreement No 803111), and from the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) - 391919384.

Artifact

  MD5 Sum: 441f79e266ae76a6001175de36c9852c (Get MD5 Sum)

Related Article

  • Marco Maida, Sergey Bozhko, and Björn B. Brandenburg, "Foundational Response-Time Analysis as Explainable Evidence of Timeliness", in 34th Euromicro Conference on Real-Time Systems (ECRTS 2022), LIPIcs, Vol. 231, pp. 19:1-19:25, 2022. https://doi.org/10.4230/LIPIcs.ECRTS.2022.19
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