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

Constraints	Time (in s)
	State system build	Model build & constraint verif.	Total
Deadline
Avg.	3.8500	0.34352	4.1935
Std. dev.	0.23075	0.024853	0.23532
CPU usage
Avg.	3.8592	0.72952	4.5888
Std. dev.	0.20432	0.047765	0.21079
Preemption
Avg.	3.8271	0.46162	4.2887
Std. dev.	0.17792	0.043790	0.18840
All three
Avg.	3.8609	1.1251	4.9860
Std. dev.	0.22394	0.042746	0.22484
None
Avg.	3.8312	0.15789	3.9891
Std. dev.	0.17902	0.017863	0.17954