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

Figure 5

State machine representation of a constraint validating whether we spent at most 2 ms between the states “” and “.”