Beyond the weakly hard model: Measuring the performance cost of deadline misses

Leibniz International Proceedings in Informatics, LIPIcs

Volumn 106, Issue , 2018, Pages

  Pazzaglia, Paolo ^a   Pannocchi, Luigi ^a   Biondi, Alessandro ^a   Di Natale, Marco ^a  

^a SCUOLA SUPERIORE SANT ANNA   (Italy)

Author keywords

Control; Cyber physical systems; Deadline miss; Performance; Real time; Weakly hard

Indexed keywords

CONTROL ENGINEERING; CYBER PHYSICAL SYSTEM; EMBEDDED SYSTEMS; INTERACTIVE COMPUTER SYSTEMS;

DEADLINE MISS; PERFORMANCE; REAL TIME; SCHEDULABILITY ANALYSIS; STATE REPRESENTATION; THEORETICAL FOUNDATIONS; TIMING CONSTRAINTS; WEAKLY HARD;

REAL TIME SYSTEMS;

EID: 85049310215     PISSN: 18688969     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.4230/LIPIcs.ECRTS.2018.10     Document Type: Conference Paper

References (35)

1. Amir Aminifar, Petru Eles, Zebo Peng, and Anton Cervin. Control-quality driven design of cyber-physical systems with robustness guarantees. In Proceedings of the Conference on Design, Automation and Test in Europe, pages 1093-1098. EDA Consortium, 2013.
2. Amir Aminifar, Soheil Samii, Petru Eles, Zebo Peng, and Anton Cervin. Designing highquality embedded control systems with guaranteed stability. In Real-Time Systems Symposium (RTSS), 2012 IEEE 33rd, pages 283-292, 2012.
3. Karl-Erik Årzén, Anton Cervin, Johan Eker, and Lui Sha. An introduction to control and scheduling co-design. In Decision and Control, 2000. Proceedings of the 39th IEEE Conference on, volume 5, pages 4865-4870, 2000.
4. Karl Johan Åström and Björn Wittenmark. Computer-controlled systems: theory and design. Prentice-Hall, 1997.
5. Guillem Bernat, Alan Burns, and Albert Liamosi. Weakly hard real-time systems. IEEE transactions on Computers, 50(4):308-321, 2001.
6. Rainer Blind and Frank Allgöwer. Towards networked control systems with guaranteed stability: Using weakly hard real-time constraints to model the loss process. In Decision and Control (CDC), 2015 IEEE 54th Annual Conference on, pages 7510-7515. IEEE, 2015.
7. Tobias Bund and Frank Slomka. Controller/platform co-design of networked control systems based on density functions. In Proceedings of the 4th ACM SIGBED International Workshop on Design, Modeling, and Evaluation of Cyber-Physical Systems, pages 11-14, 2014.
8. Tobias Bund and Frank Slomka. Worst-case performance validation of safety-critical control systems with dropped samples. In Proceedings of the 23rd International Conference on Real Time and Networks Systems, pages 319-326, 2015.
9. Benjamin Seth Cazzolato and Zebb Prime. On the dynamics of the furuta pendulum. Journal of Control Science and Engineering, 2011:3, 2011.
10. A. Cervin, D. Henriksson, B. Lincoln, J. Eker, and K. E. Arzen. How does control timing affect performance? analysis and simulation of timing using jitterbug and truetime. IEEE Control Syst. Mag, 23 (3):16-30, 2003.
11. F. Cremona, M. Morelli, and M. Di Natale. Tres: A modular representation of schedulers, tasks, and messages to control simulations in simulink. In Proceedings of the 30th Annual ACM Symposium on Applied Computing, pages 1940-1947. ACM, 2015.
12. Goran Frehse, Arne Hamann, Sophie Quinton, and Matthias Woehrle. Formal analysis of timing effects on closed-loop properties of control software. In Real-Time Systems Symposium (RTSS), 2014 IEEE, pages 53-62. IEEE, 2014.
13. Katsuhisa Furuta, Masaki Yamakita, and Seiichi Kobayashi. Swing up control of inverted pendulum. In Industrial Electronics, Control and Instrumentation, 1991. Proceedings. IECON'91., 1991 International Conference on, pages 2193-2198. IEEE, 1991.
14. Madan Gopal. Digital control engineering. New Age International, 1988.
15. Dip Goswami, Reinhard Schneider, and Samarjit Chakraborty. Co-design of cyber-physical systems via controllers with flexible delay constraints. In Proceedings of the 16th Asia and South Pacific Design Automation Conference, pages 225-230. IEEE Press, 2011.
16. Zain AH Hammadeh, Sophie Quinton, and Rolf Ernst. Extending typical worst-case analysis using response-time dependencies to bound deadline misses. In Proceedings of the 14th International Conference on Embedded Software, page 10. ACM, 2014.
17. Thomas A Henzinger, Benjamin Horowitz, and Christoph M Kirsch. Giotto: A timetriggered language for embedded programming. Proceedings of the IEEE, 91(1):84-99, 2003.
18. Pavel Krcal and Wang Yi. Decidable and undecidable problems in schedulability analysis using timed automata. In proceedings of 10th International Conference, TACAS'04. IEEE, 2004.
19. Steffen Linsenmayer and Frank Allgower. Stabilization of networked control systems with weakly hard real-time dropout description. In Decision and Control (CDC), 2017 IEEE 56th Annual Conference on, pages 4765-4770. IEEE, 2017.
20. M. M Hamdaoui and P. Ramanathan. A dynamic priority assignment technique for streams with (m, k)-firm deadlines. In IEEE Transactions on Computers, 1995.
21. Tsutomu Mita. Optimal digital feedback control systems counting computation time of control laws. In Decision and Control, 1984. The 23rd IEEE Conference on, volume 23, pages 520-525. IEEE, 1984.
22. Marieke Posthumus-cloosterman, Cover Design, Gerda Cloosterman, and Paul Verspaget. Control over communication networks: Modelling, analysis and synthesis. PhD thesis, University of Eindhoven, 2008.
23. Sophie Quinton, Matthias Hanke, and Rolf Ernst. Formal analysis of sporadic overload in real-time systems. In Proceedings of the Conference on Design, Automation and Test in Europe, pages 515-520. EDA Consortium, 2012.
24. Parameswaran Ramanathan. Overload management in real-time control applications using (m, k)-firm guarantee. IEEE Transactions on Parallel and Distributed Systems, 10(6):549-559, 1999.
25. Kang G Shin and Hagbae Kim. Derivation and application of hard deadlines for real-time control systems. IEEE Transactions on Systems, Man, and Cybernetics, 22(6):1403-1413, 1992.
26. Damoon Soudbakhsh, Linh TX Phan, Anuradha M Annaswamy, and Oleg Sokolsky. Codesign of arbitrated network control systems with overrun strategies. IEEE Transactions on Control of Network Systems, 2016.
27. Damoon Soudbakhsh, Linh TX Phan, Oleg Sokolsky, Insup Lee, and Anuradha Annaswamy. Co-design of control and platform with dropped signals. In Cyber-Physical Systems (ICCPS), 2013 ACM/IEEE International Conference on, pages 129-140, 2013.
28. Martin Törngren. Fundamentals of implementing real-time control applications in distributed computer systems. In Real-Time Systems In Mechatronic Applications, pages 3-35. Springer, 1998.
29. Eelco P van Horssen, AR Baghban Behrouzian, Dip Goswami, Duarte Antunes, Twan Basten, and WPMH Heemels. Performance analysis and controller improvement for linear systems with (m, k)-firm data losses. In Control Conference (ECC), 2016 European, pages 2571-2577. IEEE, 2016.
30. Wenbo Xu, Zain AH Hammadeh, Alexander Kröller, Rolf Ernst, and Sophie Quinton. Improved deadline miss models for real-time systems using typical worst-case analysis. In Real-Time Systems (ECRTS), 2015 27th Euromicro Conference on, pages 247-256. IEEE, 2015.
31. Yang Xu, Karl-Erik Årzén, Enrico Bini, and Anton Cervin. Response time driven design of control systems. IFAC Proceedings Volumes, 47(3):6098-6104, 2014.
32. Yang Xu, Karl-Erik Årzén, Anton Cervin, Enrico Bini, and Bogdan Tanasa. Exploiting job response-time information in the co-design of real-time control systems. In Embedded and Real-Time Computing Systems and Applications (RTCSA), 2015 IEEE 21st International Conference on, pages 247-256, 2015.
33. Tatsuya Yoshimoto and Toshimitsu Ushio. Optimal arbitration of control tasks by job skipping in cyber-physical systems. In Proceedings of the 2011 IEEE/ACM Second International Conference on Cyber-Physical Systems, pages 55-64. IEEE Computer Society, 2011.
34. S. Youcheng and M. Di Natale. Weakly hard schedulability analysis for fixed priority scheduling of periodic real-time tasks. In EMSOFT Conference, Seoul, Korea. IEEE, October, 13-17, 2017.
35. Qiang Yu and Xudong Zhao. Stability analysis of discrete-time switched linear systems with unstable subsystems. Applied Mathematics and Computation, 273:718-725, 2016.