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

 Std. dev.0.842781.16351.5931
CPU usage
 Std. dev.1.11281.08441.7550
 Std. dev.1.06880.599451.2692
All three
 Std. dev.1.12751.25591.8220
 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.