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

Figure 6

State machine representation of a constraint validating that our process has not been preempted between the states “” and “.”