Creative Commons Attribution 4.0 license (CC BY 4.0)when quoting this document, please refer to the following
DOI: 10.4230/DARTS.8.1.7
URN: urn:nbn:de:0030-drops-165038
URL: https://drops.dagstuhl.de/opus/volltexte/2022/16503/
Maida, Marco ; Bozhko, Sergey ; Brandenburg, Björn B.
Foundational Response-Time Analysis as Explainable Evidence of Timeliness (Artifact)
| pdf-format: |
|
|
| artifact-format: |
|
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.
BibTeX - Entry
@Article{maida_et_al:DARTS.8.1.7,
author = {Maida, Marco and Bozhko, Sergey and Brandenburg, Bj\"{o}rn B.},
title = {{Foundational Response-Time Analysis as Explainable Evidence of Timeliness (Artifact)}},
pages = {7:1--7:2},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2022},
volume = {8},
number = {1},
editor = {Maida, Marco and Bozhko, Sergey and Brandenburg, Bj\"{o}rn B.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/opus/volltexte/2022/16503},
URN = {urn:nbn:de:0030-drops-165038},
doi = {10.4230/DARTS.8.1.7},
annote = {Keywords: hard real-time systems, response-time analysis, uniprocessor, Coq, Prosa, fixed priority, EDF, preemptive, non-preemptive, verification}
}
| Keywords: | hard real-time systems, response-time analysis, uniprocessor, Coq, Prosa, fixed priority, EDF, preemptive, non-preemptive, verification | |
| Seminar: | DARTS, Volume 8, Issue 1, Special Issue of the 34th Euromicro Conference on Real-Time Systems (ECRTS 2022) | |
| Related Scholarly Article: | https://doi.org/10.4230/LIPIcs.ECRTS.2022.19 | |
| Issue date: | 2022 | |
| Date of publication: | 28.06.2022 |
