Scientific Programming / 2016 / Article / Fig 6

Research Article

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

Figure 6

State machine representation of a constraint validating that our process has not been preempted between the states “” and “.”

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