A SimEvents Model for the Analysis of Scheduling and Memory Access Delays in Multicores

Model-based development of CPSs is based on the capability of early verification of system properties on a model of the controls and the controlled physical system. In the development of multicore systems, the scheduling and contention delays may significantly affect the behavior of the controls, and therefore need to be suitably represented and analyzed. We present a framework for adding the model of schedulers, tasks and multicore memory accesses to Simulink models and to verify by simulation the impact of scheduling and execution times delays on the performance of the controls. In our experiments, different memory access policies, including the use of the Logical Execution Time paradigm are tried and compared. Our framework is based on the commercial SimEvents package, which allows for a much faster simulation compared to other existing approaches; it is highly modular and extensible and can be applied to existing Simulink models with limited changes.