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

Figure 8

State machine representation of constraints validating whether the process spent at most 10% of the time period between states “” and “” waiting for a CPU and at most 15% of this same period being blocked.