TRES: a modular representation of schedulers, tasks, and messages to control simulations in simulink

Model-based development of CPS is based on the capability of early verification of system properties on a model of the controls and the controlled physical system, and the capability of producing automatically an implementation of the model. Unfortunately, in the development of complex distributed or highly concurrent systems, the scheduling and communication delays may significantly affect the behavior of the controls. We present a framework for adding the model of schedulers, tasks and messages to Simulink models and to verify by simulation the impact of scheduling and execution times delays on the performance of the controls. Our toolset is highly modular and extensible and allows application to existing models with limited changes and even the automatic synthesis of the task and message model from an external specification.

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

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

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

[4]  Giorgio C. Buttazzo,et al.  HARD REAL-TIME COMPUTING SYSTEMS Predictable Scheduling Algorithms and Applications , 2007 .

[5]  Giorgio C. Buttazzo,et al.  Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications (Real-Time Systems Series) , 2010 .

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

[7]  Karl Johan Åström,et al.  Computer-Controlled Systems: Theory and Design , 1984 .

[8]  Ralph Johnson,et al.  design patterns elements of reusable object oriented software , 2019 .

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

[10]  A. Varga,et al.  THE OMNET++ DISCRETE EVENT SIMULATION SYSTEM , 2003 .

[11]  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).

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

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

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

[15]  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.

[16]  Giorgio Buttazzo,et al.  Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications , 1997 .

[17]  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.

[18]  M. Di Natale,et al.  Enabling Model-Based Development of Distributed Embedded Systems on Open Source and Free Tools , 2012 .

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

[20]  Morelli Matteo,et al.  A System-level Framework for the Evaluation of the Performance Cost of Scheduling and Communication Delays in Control Systems , 2014 .