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.

[1]  Hiroaki Takada,et al.  An Open-Source Flexible Scheduling Simulator for Real-Time Applications , 2012, 2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing.

[2]  M. Abid,et al.  Notice of Violation of IEEE Publication PrinciplesThe co-simulation interface SystemC/Matlab applied in JPEG algorithm , 2011, 6th International Workshop on Reconfigurable Communication-Centric Systems-on-Chip (ReCoSoC).

[3]  Laurent Nana,et al.  Cheddar: a flexible real time scheduling framework , 2004, SIGAda.

[4]  Anne-Marie Déplanche,et al.  STORM a simulation tool for real-time multiprocessor scheduling evaluation , 2009, 2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010).

[5]  Ecnica De Catalunya.  RESOURCE AND PERFORMANCE TRADE-OFFS IN REAL-TIME EMBEDDED CONTROL SYSTEMS , 2011 .

[6]  Karl Johan Åström,et al.  Computer-controlled systems : theory and design (3. rev. Dover ed.) , 2011 .

[7]  Marco Di Natale,et al.  TRES: a modular representation of schedulers, tasks, and messages to control simulations in simulink , 2015, SAC.

[8]  Bran Selic,et al.  Modeling and Analysis of Real-Time and Embedded Systems , 2005, MoDELS.

[9]  Frédéric Fauberteau,et al.  YARTISS: A Tool to Visualize, Test, Compare and Evaluate Real-Time Scheduling Algorithms , 2012 .

[10]  Alan Burns,et al.  STRESS: A simulator for hard real‐time systems , 1994, Softw. Pract. Exp..

[11]  Ana Sokolova,et al.  The Logical Execution Time Paradigm , 2012, Advances in Real-Time Systems.

[12]  Anton Cervin,et al.  Optimal Online Sampling Period Assignment: Theory and Experiments , 2011, IEEE Transactions on Control Systems Technology.

[13]  M. Abid,et al.  A SystemC/Simulink Co-Simulation Framework for Continuous/Discrete-Events Simulation , 2006, 2006 IEEE International Behavioral Modeling and Simulation Workshop.

[14]  Manel Velasco,et al.  Resource and performance trade-offs in real-time embedded control systems , 2012, Real-Time Systems.

[15]  Pieter J. Mosterman,et al.  Simulating a multicore scheduler of real-time control systems in simulink , 2016, SummerSim.

[16]  Alberto L. Sangiovanni-Vincentelli,et al.  Improving the Size of Communication Buffers in Synchronous Models With Time Constraints , 2009, IEEE Transactions on Industrial Informatics.

[17]  Marco Di Natale,et al.  Achieving Predictable Multicore Execution of Automotive Applications Using the LET Paradigm , 2018, 2018 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS).

[18]  Andreas Naderlinger,et al.  Simulating preemptive scheduling with timing-aware blocks in Simulink , 2017, Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017.

[19]  K.-E. Arzen,et al.  How does control timing affect performance? Analysis and simulation of timing using Jitterbug and TrueTime , 2003, IEEE Control Systems.

[20]  Petru Eles,et al.  Designing Bandwidth-Efficient Stabilizing Control Servers , 2013, 2013 IEEE 34th Real-Time Systems Symposium.

[21]  Adam Milik,et al.  SystemC hardware-software design and simulation platform based on AMBA bus , 2011, Proceedings of the 18th International Conference Mixed Design of Integrated Circuits and Systems - MIXDES 2011.

[22]  Isabelle Puaut,et al.  ARTISST: an extensible and modular simulation tool for real-time systems , 2002, Proceedings Fifth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing. ISIRC 2002.