Table 2: Average (avg.) and standard deviation (atd. dev.) of the time taken in seconds by a run of the model-based constraints analysis, computed using 100 runs of the analysis of the trace tk-preempt (1).

ConstraintsTime (in s)
State system buildModel build & constraint verif.Total

Deadline
 Avg.3.85000.343524.1935
 Std. dev.0.230750.0248530.23532
CPU usage
 Avg.3.85920.729524.5888
 Std. dev.0.204320.0477650.21079
Preemption
 Avg.3.82710.461624.2887
 Std. dev.0.177920.0437900.18840
All three
 Avg.3.86091.12514.9860
 Std. dev.0.223940.0427460.22484
None
 Avg.3.83120.157893.9891
 Std. dev.0.179020.0178630.17954