2026-08-03T14:36:51Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:16503 2024-03-06T11:05:14Z ddc:004 open_access

Foundational Response-Time Analysis as Explainable Evidence of Timeliness (Artifact) Maida, Marco Bozhko, Sergey Brandenburg, Björn B. hard real-time systems response-time analysis uniprocessor Coq Prosa fixed priority EDF preemptive non-preemptive verification 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Marco Maida and Sergey Bozhko and Björn B. Brandenburg 2022 Is Part Of DARTS, Volume 8, Issue 1, Special Issue of the 34th Euromicro Conference on Real-Time Systems (ECRTS 2022) Article Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DARTS.8.1.7 urn:nbn:de:0030-drops-165038 https://drops.dagstuhl.de/entities/document/10.4230/DARTS.8.1.7 eng https://creativecommons.org/licenses/by/4.0/legalcode