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

Figure 7

State machine representation of a constraint validating whether our process used at most 1% of the CPU time between states “” and “.”