Research Article

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

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

 Std. dev.0.230750.0248530.23532
CPU usage
 Std. dev.0.204320.0477650.21079
 Std. dev.0.177920.0437900.18840
All three
 Std. dev.0.223940.0427460.22484
 Std. dev.0.179020.0178630.17954