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

Figure 1

State machine representation that can be used to check metrics using traces.