Research Article
Detection of Common Problems in Real-Time and Multicore Systems Using Model-Based Constraints
Figure 13
State machine representation of npt’s loop using constraints to check if our process used 100% of the CPU time between each loop iteration.