Scientific Programming / 2016 / Article / Tab 1

Research Article

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.

NameNumber of eventsSize (MiB)
USTKernelTotal

tk-preempt (1)20 015932 778952 79335.40
tk-preempt (2)800 01510 961 88111 761 896508.8
modelbench (3)102 40013 510 48913 612 889352.6

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