Scientific Programming / 2016 / Article / Tab 4

Research Article

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

Table 4

Average (avg.) and standard deviation (std. dev.) of the time taken in seconds to build the state system during the first run versus to verify if it exists in the subsequent runs, computed using 100 runs of the analysis of the traces.

TraceTime (in s)

tk-preempt (1)
 Std. dev.0.204040.00611
tk-preempt (2)
 Std. dev.1.04630.00764

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