Scientific Programming / 2016 / Article / Fig 16

Research Article

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

Figure 16

Results of the analysis using the model-based constraints on userspace and kernel traces.
(a) Result shown following the analysis of both kernel and userspace traces when the constraints are satisfied
(b) Result shown following the analysis of both kernel and userspace traces when the constraints are not satisfied
(c) Result following the analysis of the userspace trace only to simulate a case where we would not have any kernel trace, thus making the state system unavailable for the analysis

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