Scientific Programming / 2016 / Article / Fig 2

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

Article of the Year Award: Outstanding research contributions of 2020, as selected by our Chief Editors. Read the winning articles.