Scientific Programming / 2016 / Article / Tab 3

Research Article

Detection of Common Problems in Real-Time and Multicore Systems Using Model-Based Constraints

Table 3

Average (avg.) and standard deviation (std. 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 (2).

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

Deadline
 Avg.29.6636.975136.638
 Std. dev.0.842781.16351.5931
CPU usage
 Avg.29.59941.22370.821
 Std. dev.1.11281.08441.7550
Preemption
 Avg.29.46222.22051.682
 Std. dev.1.06880.599451.2692
All three
 Avg.29.76658.85588.620
 Std. dev.1.12751.25591.8220
None
 Avg.30.0495.223435.272
 Std. dev.0.980000.919951.3683

Article of the Year Award: Outstanding research contributions of 2020, as selected by our Chief Editors. Read the winning articles.