DARTS.8.1.7.pdf
- Filesize: 344 kB
- 2 pages
Document
Foundational Response-Time Analysis as Explainable Evidence of Timeliness (Artifact)
Authors
-
Part of:
Issue:
Special Issue of the 34th Euromicro Conference on Real-Time Systems (ECRTS 2022)
Volume: DARTS, Volume 8 (ECOOP 2022)
Conference: Euromicro Conference on Real-Time Systems (ECRTS)
Journal: Dagstuhl Artifacts Series (DARTS) - License:
Creative Commons Attribution 4.0 International license
- Publication Date: 2022-06-28
Artifact Description
Document Identifiers
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
Artifact
DARTS-8-1-7-artifact-441f79e266ae76a6001175de36c9852c.zip
(Filesize: 23.63 MB)
MD5 Sum:
441f79e266ae76a6001175de36c9852c
(Get MD5 Sum)
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.
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)
0PDF Downloads