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

Figure 9

State machine representation of a constraint validating that our process has not done any system call between states “” and “.”