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.

Trace	Time (in s)
	Build	Access
tk-preempt (1)
Avg.	3.8457	0.0516
Std. dev.	0.20404	0.00611
tk-preempt (2)
Avg.	29.708	0.0539
Std. dev.	1.0463	0.00764