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).

Constraints	Time (in s)
	State system build	Model build & constraint verif.	Total
Deadline
Avg.	29.663	6.9751	36.638
Std. dev.	0.84278	1.1635	1.5931
CPU usage
Avg.	29.599	41.223	70.821
Std. dev.	1.1128	1.0844	1.7550
Preemption
Avg.	29.462	22.220	51.682
Std. dev.	1.0688	0.59945	1.2692
All three
Avg.	29.766	58.855	88.620
Std. dev.	1.1275	1.2559	1.8220
None
Avg.	30.049	5.2234	35.272
Std. dev.	0.98000	0.91995	1.3683