Artifact for: Exact Schedulability Analysis for Hierarchical EDF Systems with Arbitrary Global Supply

# Artifact for "Exact Schedulability Analysis for Hierarchical EDF Systems with Arbitrary Global Supply" This directory contains the raw experimental data supporting thequantitative claims of the paper. Three datasets are included, each aJSON file with 450,000 test cases. Each JSON record contains all per-test attributes used in theexperiments (task-set size, total utilization, hyperperiod, slotdistribution strategy, number of critical sections, individual testoutcomes, and timings). This is more than the paper actuallyplots: the files are deliberately self-contained so thatreviewers can regenerate the figures of the paper as well asexplore alternative decompositions. ## Contents | File | Tests | Section in paper | Purpose ||---|---|---|---|| `wdt_results_raw.json` | 450,000 | Section 8.A (Without Shared Resources) | WDT vs. $msbf$/$gsbf$-based tests under arbitrary CPU supply || `srp_results_raw.json` | 450,000 | Section 8.B (With Shared Resources) | WDT-SRP v1/v2 vs. EDF+SRP simulator under arbitrary supply with critical sections || `Zhang2023_comparison_raw.json` | 450,000 | Section 8.B (Comparison with Zhang) | WDT-SRP v1/v2 vs. Zhang 2023 hierarchical EDF test under periodic supply with bound tasks |