Requirement-Based Analysis of Self-Suspending Tasks under EDF (Artifact)

Aromolo, Federico; Biondi, Alessandro; Chen, Jian-Jia; Günzel, Mario

doi:10.5281/zenodo.17203679

Published September 25, 2025 | Version v1

Software Open

Requirement-Based Analysis of Self-Suspending Tasks under EDF (Artifact)

1. Scuola Superiore Sant'Anna
2. TU Dortmund University

Artifact for the paper: Mario Günzel, Federico Aromolo, Alessandro Biondi, and Jian-Jia Chen, "Requirement-Based Analysis of Self-Suspending Tasks under EDF," in Proceedings of the 46th IEEE Real-Time Systems Symposium (RTSS 2025), Boston, MA, USA, December 2–5, 2025. IEEE.

Files

ss-edf.zip

Files (26.2 kB)

Name	Size	Download all
ss-edf.zip md5:1acaf87cfa4948bab04ce55892d8dc2d	26.2 kB	Preview Download

Additional details

European Research Council
PropRT 865170
Ministero dell'università e della ricerca
SERICS PE00000014

Views

Downloads

Show more details

	All versions	This version
Views	91	91
Downloads	17	17
Data volume	446.2 kB	446.2 kB

More info on how stats are collected....

DOI

Resource type

Software

Publisher

Zenodo

Conference

46th IEEE Real-Time Systems Symposium (RTSS 2025), Boston, MA, USA, December 2–5, 2025

License: MIT License

A short and simple permissive license with conditions only requiring preservation of copyright and license notices. Licensed works, modifications, and larger works may be distributed under different terms and without source code. Read more
Copyright: Copyright (c) 2025 Federico Aromolo, Alessandro Biondi, Jian-Jia Chen, Mario Günzel; Copyright (c) 2022 Federico Aromolo, Alessandro Biondi, Geoffrey Nelissen

Technical metadata

Created: September 25, 2025
Modified: September 25, 2025

Requirement-Based Analysis of Self-Suspending Tasks under EDF (Artifact)

Creators

Description

Files

ss-edf.zip

Files (26.2 kB)

Additional details

Funding