Testing Cases

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.