Scientific Programming / 2016 / Article / Fig 8

Research Article

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

Figure 8

State machine representation of constraints validating whether the process spent at most 10% of the time period between states “” and “” waiting for a CPU and at most 15% of this same period being blocked.

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