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

Table 1

Number of events and sizes of the traces used to benchmark our analysis.

Name	Number of events			Size (MiB)
	UST	Kernel	Total
tk-preempt (1)	20 015	932 778	952 793	35.40
tk-preempt (2)	800 015	10 961 881	11 761 896	508.8
modelbench (3)	102 400	13 510 489	13 612 889	352.6