Weakly hard schedulability analysis for fixed priority scheduling of periodic real-time tasks

ACM Transactions on Embedded Computing Systems

Volumn 16, Issue 5s, 2017, Pages

  Sun, Youcheng ^a   Di Natale, Marco ^b  

^a UNIVERSITY OF OXFORD   (United Kingdom)

^b SCUOLA SUPERIORE SANT ANNA   (Italy)

Author keywords

Activation jitter; Periodic real time tasks; Resource sharing; Schedulability analysis; Weakly hard real time systems

Indexed keywords

ACTIVATION ANALYSIS; CHEMICAL ACTIVATION; INTEGER PROGRAMMING; INTERACTIVE COMPUTER SYSTEMS; JITTER; TIME SHARING SYSTEMS;

AUTOMOTIVE ENGINE CONTROL; FIXED PRIORITY SCHEDULING; MIXED-INTEGER LINEAR PROGRAMMING; REAL-TIME TASKS; RESOURCE SHARING; SCHEDULABILITY ANALYSIS; WEAKLY HARD REAL-TIME; WEAKLY HARD REAL-TIME SYSTEMS;

REAL TIME SYSTEMS;

EID: 85030705981     PISSN: 15399087     EISSN: 15583465     Source Type: Journal    
DOI: 10.1145/3126497     Document Type: Conference Paper

References (35)

1. Zaid Al-bayati, Youcheng Sun, Haibo Zeng, Marco Di Natale, Qi Zhu, and Brett Meyer. 2015. Task placement and selection of data consistency mechanisms for real-time multicore applications. In 21st IEEE Real-Time and Embedded Technology and Applications Symposium. 172-181.
2. Amir Aminifar, Petru Eles, Zebo Peng, and Anton Cervin. 2013. Control-quality driven design of cyber-physical systems with robustness guarantees. In Proceedings of the Conference on Design, Automation and Test in Europe. EDA Consortium, 1093-1098.
3. Amir Aminifar, Soheil Samii, Petru Eles, Zebo Peng, and Anton Cervin. 2012. Designing high-quality embedded control systems with guaranteed stability. In Real-Time Systems Symposium (RTSS), 2012 IEEE 33rd. 283-292.
4. Karl-Erik Arzen, Anton Cervin, Johan Eker, and Lui Sha. 2000. An introduction to control and scheduling co-design. In Decision and Control, 2000. Proceedings of the 39th IEEE Conference on, Vol. 5. 4865-4870.
5. Sanjoy Baruah and Alan Burns. 2006. Sustainable scheduling analysis. In 27th IEEE International Real-Time Systems Symposium (RTSS). 159-168.
6. Guillem Bernat, Alan Burns, and Albert Liamosi. 2001. Weakly hard real-time systems. Computers, IEEE Transactions on 50, 4 (2001), 308-321.
7. Enrico Bini, Marco Di Natale, and Giorgio Buttazzo. 2008. Sensitivity analysis for fixed-priority real-time systems. Real-Time Systems 39, 1-3 (2008), 5-30.
8. Alessandro Biondi, Marco Di Natale, Youcheng Sun, and Stefania Botta. 2016. Moving from Single-core to Multicore: Initial Findings on a Fuel Injection Case Study. Technical Report. SAE Technical Paper.
9. Reinder J. Bril, Johan J. Lukkien, and Rudolf H. Mak. 2013. Best-case response times and jitter analysis of real-time tasks with arbitrary deadlines. In Proceedings of the 21st International Conference on Real-Time Networks and Systems. ACM, 193-202.
10. Tobias Bund and Frank Slomka. 2014. Controller/platform co-design of networked control systems based on density functions. In Proceedings of the 4th ACMSIGBED International Workshop on Design, Modeling, and Evaluation of Cyber-Physical Systems. 11-14.
11. Tobias Bund and Frank Slomka. 2015. 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. 319-326.
12. Giorgio Buttazzo. 2011. Hard Real-time Computing Systems: Predictable Scheduling Algorithms and Applications. Vol. 24. Springer Science & Business Media.
13. Robert I. Davis, Ken W. Tindell, and Alan Burns. 1993. Scheduling slack time in fixed priority pre-emptive systems. In Real-Time Systems Symposium. Proceedings. IEEE, 222-231.
14. Jose Luis Diaz, Daniel F. Garcia, Kanghee Kim, Chang-Gun Lee, L. Lo Bello, Jose Maria Lopez, Sang Lyul Min, and Orazio Mirabella. 2002. Stochastic analysis of periodic real-time systems. In Real-Time Systems Symposium. RTSS. 23rd IEEE. IEEE, 289-300.
15. Paul Emberson, Roger Stafford, and Robert I. Davis. 2010. Techniques for the synthesis of multiprocessor tasksets. In Proceedings 1st International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS). 6-11.
16. Goran Frehse, Arne Hamann, Sophie Quinton, and Matthias Woehrle. 2014. Formal analysis of timing effects on closed-loop properties of control software. In Real-Time Systems Symposium (RTSS), 2014 IEEE. 53-62.
17. Dip Goswami, Reinhard Schneider, and Samarjit Chakraborty. 2011. Co-design of cyber-physical systems via controllers with flexible delay constraints. In Proceedings of the 16th Asia and South Pacific Design Automation Conference. IEEE Press, 225-230.
18. Zain A. H. Hammadeh, Sophie Quinton, and Rolf Ernst. 2014. Extending typical worst-case analysis using responsetime dependencies to bound deadline misses. In Proceedings of the 14th International Conference on Embedded Software. ACM, 10.
19. Jung-Eun Kim, Tarek F. Abdelzaher, and Lui Sha. 2015. Budgeted generalized rate monotonic analysis for the partitioned, yet globally scheduled uniprocessor model. In 21st IEEE Real-Time and Embedded Technology and Applications Symposium, Seattle, WA, USA, April 13-16, 2015. 221-231.
20. Pranaw Kumar and Lothar Thiele. 2012. Quantifying the effect of rare timing events with settling-time and overshoot. In Real-Time Systems Symposium (RTSS), 2012 IEEE 33rd. 149-160.
21. John P. Lehoczky. 1990. Fixed priority scheduling of periodic task sets with arbitrary deadlines. In RTSS, Vol. 90. 201-209.
22. Joseph Y.-T. Leung and JenniferWhitehead. 1982. On the complexity of fixed-priority scheduling of periodic, real-time tasks. Performance Evaluation 2, 4 (1982), 237-250.
23. Chung Laung Liu and James W Layland. 1973. Scheduling algorithms for multiprogramming in a hard-real-time environment. Journal of the ACM (JACM) 20, 1 (1973), 46-61.
24. M. M Hamdaoui and P. Ramanathan. 1995. A dynamic priority assignment technique for streams with (m, k)-firm deadlines. In IEEE Transactions on Computers.
25. Sophie Quinton, Matthias Hanke, and Rolf Ernst. 2012. Formal analysis of sporadic overload in real-time systems. In Proceedings of the Conference on Design, Automation and Test in Europe. EDA Consortium, 515-520.
26. Parameswaran Ramanathan. 1999. Overload management in real-time control applications using (m, k)-firm guarantee. IEEE Transactions on Parallel and Distributed Systems 10, 6 (1999), 549-559.
27. Ola Redell and Martin Sanfridson. 2002. Exact best-case response time analysis of fixed priority scheduled tasks. In Real-Time Systems, 2002. Proceedings. 14th Euromicro Conference on. IEEE, 165-172.
28. Lui Sha, Tarek Abdelzaher, Karl-Erik Arzen, Anton Cervin, Theodore Baker, Alan Burns, Giorgio Buttazzo, Marco Caccamo, John Lehoczky, and Aloysius K. Mok. 2004. Real time scheduling theory: A historical perspective. Real-time Systems 28, 2-3 (2004), 101-155.
29. Lui Sha, Ragunathan Rajkumar, and John P. Lehoczky. 1990. Priority inheritance protocols: An approach to real-time synchronization. IEEE Transactions on Computers 39, 9 (1990), 1175-1185.
30. Damoon Soudbakhsh, Linh T. X. Phan, Anuradha M. Annaswamy, and Oleg Sokolsky. 2016. Co-design of arbitrated network control systems with overrun strategies. IEEE Transactions on Control of Network Systems (2016).
31. Damoon Soudbakhsh, Linh T. X. Phan, Oleg Sokolsky, Insup Lee, and Anuradha Annaswamy. 2013. Co-design of control and platform with dropped signals. In Cyber-Physical Systems (ICCPS), 2013 ACM/IEEE International Conference on. 129-140.
32. Alexander Wieder and Bjorn B. Brandenburg. 2013. Efficient partitioning of sporadic real-time tasks with shared resources and spin locks. In Industrial Embedded Systems (SIES), 2013 8th IEEE International Symposium on. 49-58.
33. Wenbo Xu, Zain AH Hammadeh, Alexander Kroller, Rolf Ernst, and Sophie Quinton. 2015. Improved deadline miss models for real-time systems using typical worst-case analysis. In Real-Time Systems (ECRTS), 2015 27th Euromicro Conference on. IEEE, 247-256.
34. Yang Xu, Karl-Erik Arzen, Enrico Bini, and Anton Cervin. 2014. Response time driven design of control systems. IFAC Proceedings Volumes 47, 3 (2014), 6098-6104.
35. Yang Xu, Karl-Erik Arzen, Anton Cervin, Enrico Bini, and Bogdan Tanasa. 2015. 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. 247-256.