Research Article
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 |