Testing Cases

This page contains the detailed experiments info about the schedulability test in the technical report.

download

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

download 

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.