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

Figure 18

Time (in s) to build the instances and check their constraints as a function of the number of userspace events. Lines represent linear regressions of the data.