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

Proceedings of the ACM Symposium on Applied Computing

Volumn 13-17-April-2015, Issue , 2015, Pages 1940-1947

  Cremona, Fabio ^a   Morelli, Matteo ^a   Di Natale, Marco ^a  

^a SCUOLA SUPERIORE SANT ANNA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

SCHEDULING;

AUTOMATIC SYNTHESIS; COMMUNICATION DELAYS; CONCURRENT SYSTEMS; CONTROL SIMULATION; EARLY VERIFICATION; MODEL BASED DEVELOPMENT; MODULAR REPRESENTATIONS; PHYSICAL SYSTEMS;

CONCURRENCY CONTROL;

EID: 84955513907     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2695664.2695876     Document Type: Conference Paper

References (22)

1. RTSim. A Simulator for Real-Time Systems. http://rtsim.sssup.it.
2. T-Res. Time- & Resource-Aware Simulations in Simulink. http://retis.sssup.it/tres.
3. A. Aminifar, E. Bini, P. Eles, and Z. Peng. Designing bandwidth-efficient stabilizing control servers. In Real-Time Systems Symposium (RTSS), 2013 IEEE 34th, pages 298-307. IEEE, 2013.
4. K. J. Åström and B. Wittenmark. Computer-controlled systems: theory and design. Courier Dover Publications, 2011.
5. N. C. Audsley, A. Burns, M. F. Richardson, and A. J. Wellings. Stress: A simulator for hard real-time systems. Software: Practice and Experience, 24(6):543-564, 1994.
6. G. C. Buttazzo. Hard real-time computing systems: predictable scheduling algorithms and applications, volume 24. Springer, 2011.
7. A. Cervin, D. Henriksson, B. Lincoln, J. Eker, and K.-E. Årzén. How does control timing affect performance? IEEE control systems magazine, 23(3):16-30, 2003.
8. A. Cervin, M. Velasco, P. Martí, and A. Camacho. Optimal online sampling period assignment: theory and experiments. Control Systems Technology, IEEE Transactions on, 19(4):902-910, 2011.
9. Y. Chandarli, F. Fauberteau, D. Masson, S. Midonnet, M. Qamhieh, et al. Yartiss: A tool to visualize, test, compare and evaluate real-time scheduling algorithms. In Proceedings of the 3rd International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems, pages 21-26, 2012.
10. D. Decotigny and I. Puaut. Artisst: An extensible and modular simulation tool for real-time systems. In 5th IEEE ISORC Symposium, pages 365-372, 2002.
11. M. Di Natale, M. Bambagini, M. Morelli, A. Passaro, D. Di Stefano, and G. Arturi. Enabling model-based development of distributed embedded systems on open source and free tools. WATERS workshop at Euromicro ECRTS, 2012.
12. E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design patterns: elements of reusable object-oriented software. Pearson Education, 1994.
13. C. Lozoya, P. Martí, M. Velasco, J. M. Fuertes, and E. X. Martin. Resource and performance trade-offs in real-time embedded control systems. Real-Time Systems, 49(3):267-307, 2013.
14. Y. Matsubara, Y. Sano, S. Honda, and H. Takada. An open-source exible scheduling simulator for real-time applications. In 15th IEEE ISORC Symposium, 2012.
15. J. Matsumura, Y. Matsubara, H. Takada, M. Oi, M. Toyoshima, and A. Iwai. A simulation environment based on omnet++ for automotive can-ethernet networks. Analysis Tools and Methodologies for Embedded and Real-time Systems.
16. M. Morelli, F. Cremona, and M. Di Natale. A system-level framework for the evaluation of the performance cost of scheduling and communication delays in control systems. WATERS workshop at Euromicro ECRTS, 2014.
17. NS-3. Discrete-event network simulator for internet systems https://www.nsnam.org.
18. OMNeT. An extensible, modular, component-based c++ simulation library and framework for building network simulators http://www.omnetpp.org.
19. SimEvents. A discrete-event simulation engine and component library for simulink http://www.mathworks.it/products/simevents/.
20. F. Singhoff, J. Legrand, L. Nana, and L. Marcé. Cheddar: a exible real time scheduling framework. In ACM SIGAda Ada Letters, volume 24, pages 1-8. ACM, 2004.
21. R. Urunuela, A. Deplanche, and Y. Trinquet. Storm a simulation tool for real-time multiprocessor scheduling evaluation. In IEEE ETFA Conference, 2010.
22. A. Varga et al. The omnet++ discrete event simulation system. In Proceedings of the European Simulation Multiconference (ESM 2001), 2001.