DMAC: Deadline-miss-aware control

Leibniz International Proceedings in Informatics, LIPIcs

Volumn 133, Issue , 2019, Pages

  Pazzaglia, Paolo ^a,b   Mandrioli, Claudio ^b   Maggio, Martina ^b   Cervin, Anton ^b  

^a SCUOLA SUPERIORE SANT ANNA   (Italy)

^b LUND UNIVERSITY   (Sweden)

Author keywords

Control Design; Deadline Miss Handling; Weakly Hard Real Time Systems

Indexed keywords

INTERACTIVE COMPUTER SYSTEMS; REAL TIME CONTROL; TIME VARYING CONTROL SYSTEMS;

CONTROL DESIGN; DEADLINE MISS HANDLING; LOGICAL EXECUTION TIME; PROBABILISTIC GUARANTEES; REAL-TIME IMPLEMENTATIONS; TIME-VARYING CONTROLLERS; WEAKLY HARD REAL-TIME SYSTEMS; WORST CASE RESPONSE TIME;

CONTROLLERS;

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

References (56)

1. Leonie Ahrendts, Sophie Quinton, and Rolf Ernst. Finite ready queues as a mean for overload reduction in weakly-hard real-time systems. In Proceedings of the 25th International Conference on Real-Time Networks and Systems, pages 88-97. ACM, 2017.
2. Sebastian Altmeyer, Liliana Cucu-Grosjean, and Robert I Davis. Static probabilistic timing analysis for real-time systems using random replacement caches. Real-Time Systems, 51(1):77-123, 2015.
3. Sebastian Altmeyer and Robert I Davis. On the correctness, optimality and precision of static probabilistic timing analysis. In Proceedings of the conference on Design, Automation & Test in Europe, page 26. European Design and Automation Association, 2014.
4. Amir Aminifar, Soheil Samii, Petru Eles, Zebo Peng, and Anton Cervin. Designing high-quality embedded control systems with guaranteed stability. In 2012 IEEE 33rd Real-Time Systems Symposium, pages 283-292. IEEE, 2012.
5. Karl J Åström and Björn Wittenmark. Computer-controlled systems: theory and design. Courier Corporation, 2013.
6. Philip Axer, Maurice Sebastian, and Rolf Ernst. Probabilistic response time bound for CAN messages with arbitrary deadlines. In Design, Automation & Test in Europe Conference & Exhibition (DATE), 2012, pages 1114-1117. IEEE, 2012.
7. Guillem Bernat, Alan Burns, and Albert Liamosi. Weakly hard real-time systems. IEEE transactions on Computers, 50(4):308-321, 2001.
8. Enrico Bini and Giorgio C Buttazzo. Measuring the performance of schedulability tests. Real-Time Systems, 30(1-2):129-154, 2005.
9. Alessandro Biondi, Marco Di Natale, Giorgio C Buttazzo, and Paolo Pazzaglia. Selecting the transition speeds of engine control tasks to optimize the performance. ACM Transactions on Cyber-Physical Systems, 2(1):1, 2018.
10. 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.
11. Giuseppe C Calafiore and Marco C Campi. The scenario approach to robust control design. IEEE Transactions on Automatic Control, 51(5):742-753, 2006.
12. Francisco J Cazorla, Eduardo Quiñones, Tullio Vardanega, Liliana Cucu, Benoit Triquet, Guillem Bernat, Emery Berger, Jaume Abella, Franck Wartel, Michael Houston, et al. Proartis: Probabilistically analyzable real-time systems. ACM Transactions on Embedded Computing Systems (TECS), 12(2s):94, 2013.
13. Anton Cervin. Analysis of overrun strategies in periodic control tasks. In Proc. 16th IFAC World Congress, Prague, Czech Republic, page 137. Citeseer, 2005.
14. Anton Cervin. JitterTime 1.0 reference manual. Technical report, Department of Automatic Control, Lund University, 2019. Technical Report TFRT-7658.
15. Anton Cervin, Dan Henriksson, Bo Lincoln, Johan Eker, and K-E Arzen. How does control timing affect performance? Analysis and simulation of timing using Jitterbug and TrueTime. IEEE control systems, 23(3):16-30, 2003.
16. Anton Cervin, Bo Lincoln, Johan Eker, Karl-Erik Arzén, and Giorgio Buttazzo. The jitter margin and its application in the design of real-time control systems. In Proceedings of the 10th International Conference on Real-Time and Embedded Computing Systems and Applications, pages 1-9. Gothenburg, Sweden, 2004.
17. Kuan-Hsun Chen and Jian-Jia Chen. Probabilistic schedulability tests for uniprocessor fixed-priority scheduling under soft errors. In Industrial Embedded Systems (SIES), 2017 12th IEEE International Symposium on, pages 1-8. IEEE, 2017.
18. Kuan-Hsun Chen, Georg Von Der Brüggen, and Jian-Jia Chen. Analysis of deadline miss rates for uniprocessor fixed-priority scheduling. In 2018 IEEE 24th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), pages 168-178. IEEE, 2018.
19. Hoon Sung Chwa, Kang G Shin, and Jinkyu Lee. Closing the gap between stability and schedulability: a new task model for Cyber-Physical Systems. In 2018 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), pages 327-337. IEEE, 2018.
20. G. Darivianakis, A. Eichler, R. S. Smith, and J. Lygeros. A Data-Driven Stochastic Optimization Approach to the Seasonal Storage Energy Management. IEEE Control Systems Letters, 1(2):394-399, 2017.
21. Robert Davis, Tullio Vardanega, Franck Wartel, Liliana Cucu-Grosjean, et al. PROXIMA: a probabilistic approach to the timing behaviour of mixed-criticality systems. Ada User Journal, 2:118-122, 2014.
22. Robert I Davis, Luca Santinelli, Sebastian Altmeyer, Claire Maiza, and Liliana Cucu-Grosjean. Analysis of probabilistic cache related pre-emption delays. In Real-Time Systems (ECRTS), 2013 25th Euromicro Conference on, pages 168-179. IEEE, 2013.
23. José Luis Díaz, Daniel F García, Kanghee Kim, Chang-Gun Lee, L Lo Bello, José María López, Sang Lyul Min, and Orazio Mirabella. Stochastic analysis of periodic real-time systems. In Real-Time Systems Symposium, 2002. RTSS 2002. 23rd IEEE, pages 289-300. IEEE, 2002.
24. Goran Frehse, Arne Hamann, Sophie Quinton, and Matthias Woehrle. Formal Analysis of Timing Effects on Closed-Loop Properties of Control Software. In RTSS, pages 53-62, 2014.
25. Mongi Ben Gaid, Daniel Simon, and Olivier Sename. A design methodology for weakly-hard real-time control. IFAC Proceedings Volumes, 41(2):10258-10264, 2008.
26. Vijay Gupta, Babak Hassibi, and Richard M Murray. Optimal LQG control across packet-dropping links. Systems & Control Letters, 56(6):439-446, 2007.
27. Zain AH Hammadeh, Sophie Quinton, and Rolf Ernst. Extending typical worst-case analysis using response-time dependencies to bound deadline misses. In Embedded Software (EMSOFT), 2014 International Conference on, pages 1-10. IEEE, 2014.
28. Thomas A Henzinger, Benjamin Horowitz, and Christoph Meyer Kirsch. Giotto: A time-triggered language for embedded programming. In International Workshop on Embedded Software, pages 166-184. Springer, 2001.
29. Byung Kook Kim. Task scheduling with feedback latency for real-time control systems. In Real-Time Computing Systems and Applications, 1998. Proceedings. Fifth International Conference on, pages 37-41. IEEE, 1998.
30. Leonidas Kosmidis, Jaume Abella, Eduardo Quiñones, and Francisco J Cazorla. A cache design for probabilistically analysable real-time systems. In Proceedings of the Conference on Design, Automation and Test in Europe, pages 513-518. EDA Consortium, 2013.
31. Antzela Kosta, Nikolaos Pappas, Anthony Ephremides, and Vangelis Angelakis. Age and value of information: Non-linear age case. In Information Theory (ISIT), 2017 IEEE International Symposium on, pages 326-330. IEEE, 2017.
32. Simon Kramer, Dirk Ziegenbein, and Arne Hamann. Real world automotive benchmarks for free. In 6th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS), 2015.
33. John P Lehoczky. Fixed priority scheduling of periodic task sets with arbitrary deadlines. In Real-Time Systems Symposium, 1990. Proceedings., 11th, pages 201-209. IEEE, 1990.
34. Bo Lincoln and Anton Cervin. Jitterbug: A tool for analysis of real-time control performance. In Proceedings of the 41st IEEE Conference on Decision and Control, 2002., volume 2, pages 1319-1324. IEEE, 2002.
35. 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.
36. Rui Liu, Alex F Mills, and James H Anderson. Independence thresholds: Balancing tractability and practicality in soft real-time stochastic analysis. In Real-Time Systems Symposium (RTSS), 2014 IEEE, pages 314-323. IEEE, 2014.
37. Bruce L. Miller and Harvey M. Wagner. Chance Constrained Programming with Joint Constraints. Oper. Res., 13(6), 1965.
38. Johan Nilsson, Bo Bernhardsson, and Bjorn Wittenmark. Stochastic analysis and control of real-time systems with random time delays. Automatica, 34(1), 1998.
39. Claire Pagetti, David Saussié, Romain Gratia, Eric Noulard, and Pierre Siron. The ROSACE case study: From Simulink specification to multi/many-core execution. In 20th IEEE Real-Time and Embedded Technology and Applications Symposium, pages 309-318, 2014.
40. Paolo Pazzaglia, Marco Di Natale, Giorgio Buttazzo, and Matteo Secchiari. A framework for the co-simulation of engine controls and task scheduling. In International Conference on Software Engineering and Formal Methods, pages 438-452. Springer, 2017.
41. Paolo Pazzaglia, Luigi Pannocchi, Alessandro Biondi, and Marco Di Natale. Beyond the Weakly Hard Model: Measuring the Performance Cost of Deadline Misses. In 30th Euromicro Conference on Real-Time Systems (ECRTS 2018). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2018.
42. 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.
43. Ola Redell and Martin Sanfridson. Exact best-case response time analysis of fixed priority scheduled tasks. In Real-Time Systems, 2002. Proceedings. 14th Euromicro Conference on, pages 165-172. IEEE, 2002.
44. Luca Schenato, Bruno Sinopoli, Massimo Franceschetti, Kameshwar Poolla, and S Shankar Sastry. Foundations of control and estimation over lossy networks. Proceedings of the IEEE, 95(1):163-187, 2007.
45. Bruno Sinopoli, Luca Schenato, Massimo Franceschetti, Kameshwar Poolla, and Shankar Sastry. An LQG optimal linear controller for control systems with packet losses. In Decision and Control, 2005 and 2005 European Control Conference. CDC-ECC'05. 44th IEEE Conference on, pages 458-463. IEEE, 2005.
46. Damoon Soudbakhsh, Linh Thi Xuan Phan, Anuradha M Annaswamy, and Oleg Sokolsky. Co-design of arbitrated network control systems with overrun strategies. IEEE Transactions on Control of Network Systems, 5(1):128-141, 2018.
47. Youcheng Sun and Marco Di Natale. Weakly Hard Schedulability Analysis for Fixed Priority Scheduling of Periodic Real-Time Tasks. ACM Transactions on Embedded Computing Systems (TECS), 16(5s):171, 2017.
48. Zhendong Sun. Switched linear systems: control and design. Springer Science & Business Media, 2006.
49. Bogdan Tanasa, Unmesh D Bordoloi, Petru Eles, and Zebo Peng. Probabilistic response time and joint analysis of periodic tasks. In Real-Time Systems (ECRTS), 2015 27th Euromicro Conference on, pages 235-246. IEEE, 2015.
50. 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 2016 European Control Conference (ECC), pages 2571-2577. IEEE, 2016.
51. Georg von der Brüggen, Nico Piatkowski, Kuan-Hsun Chen, Jian-Jia Chen, and Katharina Morik. Efficiently Approximating the Probability of Deadline Misses in Real-Time Systems. In LIPIcs-Leibniz International Proceedings in Informatics, volume 106 of ECRTS. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2018.
52. Franck Wartel, Leonidas Kosmidis, Code Lo, Benoit Triquet, Eduardo Quinones, Jaume Abella, Adriana Gogonel, Andrea Baldovin, Enrico Mezzetti, Liliana Cucu, et al. Measurement-based probabilistic timing analysis: Lessons from an integrated-modular avionics case study. In Industrial Embedded Systems (SIES), 2013 8th IEEE International Symposium on, pages 241-248. IEEE, 2013.
53. Reinhard Wilhelm, Jakob Engblom, Andreas Ermedahl, Niklas Holsti, Stephan Thesing, David Whalley, Guillem Bernat, Christian Ferdinand, Reinhold Heckmann, Tulika Mitra, et al. The worst-case execution-time problem-overview of methods and survey of tools. ACM Transactions on Embedded Computing Systems (TECS), 7(3):36, 2008.
54. Wenbo Xu, Zain AH Hammadeh, Alexander Kroller, Rolf Ernst, and Sophie Quinton. Improved deadline miss models for real-time systems using typical worst-case analysis. In 2015 27th Euromicro Conference on Real-Time Systems (ECRTS), pages 247-256. IEEE, 2015.
55. 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. IEEE, 2015.
56. 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.