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

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.
DARTS, Vol. 8, Special Issue of the 34th Euromicro Conference on Real-Time Systems (ECRTS 2022), pages 7:1-7:2