This page contains the detailed experiments info about the schedulability test in the technical report.
Each file is formatted as follows:
file name represent the alpha value, which is the total system load.
number of domains
domain's budget, domain's period, # of tasks in this domain
task 1's cost, task 1's period
task 2's cost, task 2's period
ARINC 653 workload
ARINC workloads contain 7 different workloads which is used in real avionics system. These workload are used in ARINC-653 workload experiments in the technical report.
Each directory indicate different workload in the ARINC workload
In each directory, dom.txt contain domain information.
In each directory, w1.txt, w2.txt, ... contain task information.