Advertisement

Real-Time Systems

, Volume 54, Issue 3, pp 562–604 | Cite as

A hybrid performance analysis technique for distributed real-time embedded systems

  • Junchul Choi
  • Hyunok Oh
  • Soonhoi Ha
Article
  • 132 Downloads

Abstract

It remains a challenging problem to tightly estimate the worst-case response time of an application in a distributed embedded system, especially when there are dependencies between tasks. Recently, a holistic worst-case response time analysis approach called scheduling time bound analysis has been proposed to find a tight upper bound of the worst-case response times of applications specified by a set of task graphs. Since it assumes that the starting offsets of applications are known and fixed, it fails to make a tight estimation despite increased computation time when the starting offsets are dynamic. To overcome this problem, we propose a novel conservative performance analysis, called hybrid performance analysis, combining the response time analysis technique and the scheduling time bound analysis technique to compute a tighter bound faster. The proposed scheme is proven to be conservative formally. Through extensive experiments with real-life benchmarks and synthetic examples, the superior performance of our proposed approach compared with previous methods is confirmed.

Keywords

Worst-case response time Performance analysis Response time analysis Partitioned scheduling Data dependency Task graph 

Notes

Acknowledgements

This research was supported by the National Research Foundation of Korea (NRF) grant funded by the Korea government (MSIP) (No. NRF-2016R1A2B3012662) and Basic Science Research Program through the National Research Foundation of Korea (NRF) funded by the Ministry of Education (No. 2017R1A2B4009903).

References

  1. Audsley N, Burns A, Richardson M, Tindell K, Wellings AJ (1993) Applying new scheduling theory to static priority pre-emptive scheduling. Softw Eng J 8(5):284–292.  https://doi.org/10.1049/sej.1993.0034 CrossRefGoogle Scholar
  2. Brekling A, Hansen MR, Madsen J (2008) Models and formal verification of multiprocessor system-on-chips. J Logic Algebr Program 77(12):1–19.  https://doi.org/10.1016/j.jlap.2008.05.002 (the 16th Nordic Workshop on the Prgramming Theory (NWPT 2006))
  3. Diemer J, Axer P (2012) Python implementation of compositional performance analysis. http://pycpa.readthedocs.org/en/latest/
  4. Guan N, Gu C, Stigge M, Deng Q, Yi W (2014) Approximate response time analysis of real-time task graphs. In: 2014 IEEE real-time systems symposium, pp 304–313.  https://doi.org/10.1109/RTSS.2014.20
  5. Harbour MG (2001) Mast: modeling and analysis suite for real-time applications. http://mast.unican.es/
  6. Henia R, Ernst R (2006) Improved offset-analysis using multiple timing-references. In: Proceedings of the design automation test in Europe conference, vol 1, p 6.  https://doi.org/10.1109/DATE.2006.243802
  7. Henia R, Hamann A, Jersak M, Racu R, Richter K, Ernst R (2005) System level performance analysis—the symta/s approach. IEE Proc Comput Digit Tech 152(2):148–166.  https://doi.org/10.1049/ip-cdt:20045088 CrossRefGoogle Scholar
  8. Kim J, Oh H, Ha H, Kang SH, Choi J, Ha S (2012) An ilp-based worst-case performance analysis technique for distributed real-time embedded systems. In: 2012 IEEE 33rd real-time systems symposium (RTSS), pp 363–372.  https://doi.org/10.1109/RTSS.2012.86
  9. Kim J, Oh H, Choi J, Ha H, Ha S (2013) A novel analytical method for worst case response time estimation of distributed embedded systems. In: 2013 50th ACM/EDAC/IEEE design automation conference (DAC), pp 1–10Google Scholar
  10. Kurtin PS, Hausmans JPHM, Bekooij MJG (2016) Combining offsets with precedence constraints to improve temporal analysis of cyclic real-time streaming applications. In: 2016 IEEE real-time and embedded technology and applications symposium (RTAS), pp 1–12.  https://doi.org/10.1109/RTAS.2016.7461325
  11. Lehoczky J, Sha L, Ding Y (1989) The rate monotonic scheduling algorithm: exact characterization and average case behavior. In: Real time systems symposium, 1989., Proceedings., pp 166–171.  https://doi.org/10.1109/REAL.1989.63567
  12. Lehoczky JP (1990) Fixed priority scheduling of periodic task sets with arbitrary deadlines. In: Real-time systems symposium, 1990. Proceedings., 11th, pp 201–209.  https://doi.org/10.1109/REAL.1990.128748
  13. Palencia JC, Harbour MG (1998) Schedulability analysis for tasks with static and dynamic offsets. In: Real-time systems symposium, 1998. Proceedings., The 19th IEEE, pp 26–37.  https://doi.org/10.1109/REAL.1998.739728
  14. Palencia JC, Harbour MG (1999) Exploiting precedence relations in the schedulability analysis of distributed real-time systems. In: Real-time systems symposium, 1999. proceedings. The 20th IEEE, pp 328–339,  https://doi.org/10.1109/REAL.1999.818860
  15. Pellizzoni R, Lipari G (2007) Holistic analysis of asynchronous real-time transactions with earliest deadline scheduling. J Comput Syst Sci 73(2):186–206.  https://doi.org/10.1016/j.jcss.2006.04.002 (special Issue: Real-time and Embedded Systems)
  16. Schlatow J, Ernst R (2016) Response-time analysis for task chains in communicating threads. In: 2016 IEEE real-time and embedded technology and applications symposium (RTAS), pp 1–10.  https://doi.org/10.1109/RTAS.2016.7461359
  17. Schliecker S, Ernst R (2011) Real-time performance analysis of multiprocessor systems with shared memory. ACM Trans Embed Comput Syst 10(2):22:1–22:27.  https://doi.org/10.1145/1880050.1880058 Google Scholar
  18. Stuijk S, Geilen M, Basten T (2006) Sdf3:sdf for free. http://www.es.ele.tue.nl/sdf3/download/examples.php
  19. Tindell K, Clark J (1994) Holistic schedulability analysis for distributed hard real-time systems. Microprocess Micropr 40(2–3):117–134.  https://doi.org/10.1016/0165-6074(94)90080-9 CrossRefGoogle Scholar
  20. Tindell K, Burns A, Wellings AJ (1995) Analysis of hard real-time communications. Real-Time Syst 9(2):147–171.  https://doi.org/10.1007/BF01088855 CrossRefGoogle Scholar
  21. Yen TY, Wolf W (1998) Performance estimation for real-time distributed embedded systems. IEEE Trans Parallel Distrib Syst 9(11):1125–1136.  https://doi.org/10.1109/71.735959 CrossRefGoogle Scholar

Copyright information

© Springer Science+Business Media, LLC, part of Springer Nature 2018

Authors and Affiliations

  1. 1.Department of Computer Science and EngineeringSeoul National UniversitySeoulRepublic of Korea
  2. 2.Department of Information SystemsHanyang UniversitySeoulRepublic of Korea

Personalised recommendations