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

Figure 10

Preemption of a process by another higher priority ( versus ; the lower the value, the higher the priority).

(a) Screenshot of Trace Compass showing the preemption

(b) Trace event “sched_switch” happening to do the preemption