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

Figure 2

State machine representation with late verification of constraints and a transitional state.

(a) The verifications will use initializations that only appears at state “”

(b) The verifications will use both initializations declared at different states