Improved Deadline Miss Models for Real-Time Systems Using Typical Worst-Case Analysis

Proceedings - Euromicro Conference on Real-Time Systems

Volumn 2015-August, Issue , 2015, Pages 247-256

  Xu, Wenbo ^a   Hammadeh, Zain A H ^a   Kroller, Alexander ^a   Ernst, Rolf ^a   Quinton, Sophie ^b  

^a TECHNICAL UNIVERSITY OF BRAUNSCHWEIG   (Germany)

^b INRIA RHÔNE ALPES   (France)

Author keywords

[No Author keywords available]

Indexed keywords

INTERACTIVE COMPUTER SYSTEMS;

FINE GRAINED; HARD REAL-TIME; INDUSTRIAL DATUM; WORST-CASE ANALYSIS;

REAL TIME SYSTEMS;

EID: 84953373559     PISSN: 10683070     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ECRTS.2015.29     Document Type: Conference Paper

References (17)

1. ISO, "Road vehicles-functional safety-part 1: Vocabulary," International Organization for Standardization, Geneva, Switzerland, ISO 26262-1:2011, 2011.
2. S. Quinton, M. Hanke, and R. Ernst, "Formal analysis of sporadic overload in real-time systems," in DATE. IEEE, 2012, pp. 515-520.
3. Z. A. H. Hammadeh, S. Quinton, and R. Ernst, "Extending typical worst-case analysis using response-time dependencies to bound deadline misses," in Proceedings of the International Conference on Embedded Software, New Delhi, India, October 2014, to appear.
4. S. Quinton, T. T. Bone, J. Hennig, M. Neukirchner, M. Negrean, and R. Ernst, "Typical worst case response-time analysis and its use in automotive network design," in Proc. of DAC. ACM, 2014, pp. 1-6.
5. G. Frehse, A. Hamann, S. Quinton, and M. Woehrle, "Formal analysis of timing effects on closed-loop properties of control software," in Proceedings of RTSS'14. IEEE, 2014, pp. 53-62.
6. S. Quinton, M. Negrean, and R. Ernst, "Formal analysis of sporadic bursts in real-time systems," in DATE, 2013, pp. 767-772.
7. K. Tindell, A. Burns, and A. J. Wellings, "An extendible approach for analyzing fixed priority hard real-time tasks," Real-Time Systems, vol. 6, no. 2, pp. 133-151, 1994.
8. R. Davis, A. Burns, R. Bril, and J. Lukkien, "Controller area network (CAN) schedulability analysis: Refuted, revisited and revised," Real-Time Systems, vol. 35, no. 3, pp. 239-272, 2007.
9. M. Negrean and R. Ernst, "Response-time analysis for non-preemptive scheduling in multi-core systems with shared resources," in 7th IEEE International Symposium on Industrial Embedded Systems, SIES 2012, Karlsruhe, Germany, June 20-22, 2012, 2012, pp. 191-200. [Online]. Available: http://dx.doi.org/10.1109/SIES.2012.6356585
10. G. Bernat, A. Burns, and A. Llamos?, "Weakly hard real-time systems," IEEE Trans. Computers, vol. 50, no. 4, pp. 308-321, 2001.
11. P. Kumar and L. Thiele, "Quantifying the effect of rare timing events with settling-time and overshoot." in Proceedings of RTSS'33, 2012, pp. 149-160.
12. S. Chakraborty, S. Kunzli, and L. Thiele, "A general framework for analysing system properties in platform-based embedded system designs," in Proc. of DATE'03. IEEE Computer Society, 2003, pp. 190-195.
13. J. P. Lehoczky, "Fixed priority scheduling of periodic task sets with arbitrary deadlines," in IEEE Real-Time Systems Symposium, 1990, pp. 201-213.
14. S. Mubeen, J. Maki-Turja, and M. Sjodin, "Extending schedulability analysis of controller area network (can) for mixed (periodic/sporadic) messages." in Proceedings of ETFA'16, 2011, pp. 1-10.
15. M. J. Magazine and M.-S. Chern, "A note on approximation schemes for multidimensional knapsack problems," Mathematics of Operations Research, vol. 9, no. 2, pp. 244-247, 1984. [Online]. Available: http://dx.doi.org/10.1287/moor.9.2.244
16. E. Bini and G. Buttazzo, "Measuring the performance of schedulability tests," Real-Time Systems, vol. 30, no. 1-2, pp. 129-154, 2005. [Online]. Available: http://dx.doi.org/10.1007/s11241-005-0507-9
17. R. Henia, A. Hamann, M. Jersak, R. Racu, K. Richter, and R. Ernst, "System level performance analysis - the SymTA/S approach," in IEE Proceedings Computers and Digital Techniques, 2005.