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

Figure 17

Examples of invalid sections as reported by our tool for other cases discussed in Section 4.

(a) Invalid section for the case presented in Section 4.2 when verifying the model represented in Figure 13, during which four (4) system calls were issued

(b) Invalid section for the case presented in Section 4.3 when verifying a deadline constraint of less than one (1) second for a task length, which lasted nearly five (5) seconds in this case

(c) Invalid section for the case presented in Section 4.4 when verifying a wait-blocked constraint of less than ten percent (10%) for a task, which spent more than fifteen percent (15%) of its time being blocked in this case