Scientific Programming / 2016 / Article / Fig 11

Research Article

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

Figure 11

State machine representation of tk-preempt’s work using constraints to check if our process spent at most 45 ms working, used 100% of the CPU time, and was not preempted during its critical real-time task.

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