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

Figure 20

Time (in ms) to build the instances as a function of the number of successive states in the model.