Skip to main content
SpringerLink
Log in

Improving the Precision of WCET Analysis by Input Constraints and Model-Derived Flow Constraints

  • Chapter
  • First Online:
Advances in Real-Time Systems

  • 1292 Accesses

Abstract

Hard real-time embedded systems are subject to stringent timing constraints. The proof of their satisfaction requires upper bounds on the worst-case execution time (WCET) of tasks. This requires taking into account properties of the software, such as potential control flow, loop bounds and maximal recursion depths, as well as of the hardware, such as the state of caches or pipeline units. Therefore it is extremely hard to derive sound upper bounds by measurement-based approaches [30].

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    cf. http://www.absint.de/wcet.htm

References

  1. Byhlin S, Ermedahl A, Gustafsson J, Lisper B (2005) Applying static WCET analysis to automotive communication software. In: Proceedings of ECRTS, pp 249–258

    Google Scholar 

  2. Cousot P, Cousot R (1977) Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: Proceedings of POPL, pp 238–252, DOI http://doi.acm.org/10.1145/512950.512973

  3. Engblom J (2002) Processor pipelines and static worst-case execution time analysis. PhD thesis, Uppsala University

    Google Scholar 

  4. Ermedahl A (2003) A modular tool architecture for worst-case execution time analysis. PhD thesis, Uppsala University

    Google Scholar 

  5. Ermedahl A, Gustafsson J (1997) Deriving annotations for tight calculation of execution time. In: Proceedings of Euro-Par, pp 1298–1307

    MATH  Google Scholar 

  6. Ermedahl A, Fredriksson J, Gustafsson J, Altenbernd P (2009) Deriving the worst-case execution time input values. In: Proceedings of ECRTS, pp 45–54

    Google Scholar 

  7. Ferdinand C (1997) Cache behavior prediction for real-time systems. PhD Thesis, Universität des Saarlandes

    Google Scholar 

  8. Ferdinand C, Wilhelm R (1999) Efficient and precise cache behavior prediction for real-time systems. Real-Time Syst 17(2–3):131–181

    Article  Google Scholar 

  9. Ferdinand C, Heckmann R, Langenbach M, Martin F, Schmidt M, Theiling H, Thesing S, Wilhelm R (2001) Reliable and precise WCET determination for a real-life processor. In: Proceedings of EMSOFT, LNCS, vol 2211, pp 469–485

    MATH  Google Scholar 

  10. Ferdinand C, Heckmann R, Wolff HJ, Renz C, Parshin O, Wilhelm R (2006) Towards model-driven development of hard real-time systems. In: Proceedings of ASWSD, pp 145–160

    Google Scholar 

  11. Ferdinand C, Heckmann R, Sergent TL, Lopes D, Martin B, Fornari X, Martin F (2008) Combining a high-level design tool for safety-critical systems with a tool for WCET analysis on executables. In: Proceedings of ERTS

    Google Scholar 

  12. Fredriksson J, Nolte T, Ermedahl A, Nolin M (2007) Clustering worst-case execution times for software components. In: Proceedings of WCET

    Google Scholar 

  13. Gheorghita SV, Stuijk S, Basten T, Corporaal H (2005) Automatic scenario detection for improved WCET analysis. In: Proceedings of DAC, pp 101–104

    Google Scholar 

  14. Gupta N, Mathur AP, Sofia ML (1998) Automated test data generation using an iterative relaxation method. In: Proceedings of SIGSOFT, pp 231–244

    Google Scholar 

  15. Gustafsson J, Ermedahl A, Lisper B (2005) Towards a flow analysis for embedded System C programs. In: Proceedings of WORDS, pp 287–300

    Google Scholar 

  16. Healy C, Sjödin M, Rustagi V, Whalley D, van Engelen R (2000) Supporting timing analysis by automatic bounding of loop iterations. J Real-Time Syst Vol. 18 (2/3) 129–156

    Article  Google Scholar 

  17. Healy CA, Whalley DB, Harmon MG (1995) Integrating the Timing Analysis of Pipelining and Instruction Caching. In: Proceedings of RTSS, pp 288–297

    Google Scholar 

  18. Heckmann R, Langenbach M, Thesing S, Wilhelm R (2003) The influence of processor architecture on the design and the results of WCET tools. Proc RTS 91(7):1038–1054

    Google Scholar 

  19. Ji ML, Wang J, Li S, Qi ZC (2009) Automated worst-case execution time analysis based on program modes. Comp J 52(5):530–544, online 2007

    Article  Google Scholar 

  20. Ju L, Huynh BK, Roychoudhury A, Chakraborty S (2008) Performance debugging of Esterel specifications. In: Proceedings of CODES/ISSS, pp 173–178

    Google Scholar 

  21. Kästner D, Wilhelm R, Heckmann R, Schlickling M, Pister M, Jersak M, Richter K, Ferdinand C (2008) Timing validation of automotive software. In: Proceedings of ISOLA, communications in computer and information science, vol 17, pp 93–107

    Article  Google Scholar 

  22. Kim JE, Kapoor R, Herrmann M, Härdtlein J, Grzeschniok F, Lutz P (2008) Software behavior description of real-time embedded systems in component based software development. In: Proceedings of ISORC, pp 307–311

    Google Scholar 

  23. Kim JE, Rogalla O, Kramer S, Hamann A (2009) Extracting, specifying and predicting software system properties in component based real-time embedded software development. In: Proceedings of ICSE, pp 28–38

    Google Scholar 

  24. Kirner R, Lang R, Freiberger G, Puschner P (2002) Fully automatic worst-case execution time analysis for Matlab/Simulink models. In: Proceedings of ECRTS, pp 31–40

    Google Scholar 

  25. Li YTS, Malik S (1995) Performance analysis of embedded software using implicit path enumeration. In: Proceedings of DAC, pp 456–461

    Google Scholar 

  26. Lucas P, Parshin O, Wilhelm R (2009) Operating mode specific WCET analysis. In: Proceedings of JRWRTC, pp 15–18

    Google Scholar 

  27. Mauborgne L, Rival X (2005) Trace partitioning in abstract interpretation based static analyzers. In: Proceedings of ESOP, LNCS, vol 3444, pp 5–20

    MATH  Google Scholar 

  28. Pedro PSM (1999) Schedulability of mode changes in flexible real-time distributed systems. PhD thesis, University of York

    Google Scholar 

  29. Ravi TV, Gowda KC (1999) Clustering of symbolic objects using gravitational approach. IEEE Trans Syst, Man Cybernetics B 29(6):888–894

    Article  Google Scholar 

  30. Reineke J (2008) Caches in WCET analysis. PhD thesis, Universität des Saarlandes

    Google Scholar 

  31. Sen R, Srikant YN (2007) Executable analysis using abstract interpretation with circular linear progressions. In: Proceedings of MEMOCODE, pp 39–48

    Google Scholar 

  32. Stein I, Martin F (2007) Analysis of path exclusion at the machine code level. In: Proceedings of WCET

    Google Scholar 

  33. Tan L (2009) The worst-case execution time tool challenge 2006. Int J Softw Tools Technol Transfer (STTT) 11(2):133–152

    Article  Google Scholar 

  34. Tan L, Wachter B, Lucas P, Wilhelm R (2009) Improving timing analysis for Matlab Simulink/Stateflow. In: Proceedings of ACES-MB, pp 59–63

    Google Scholar 

  35. Theiling H (2002a) Control flow graphs for real-time systems analysis. PhD thesis, Universität des Saarlandes

    Google Scholar 

  36. Theiling H (2002b) ILP-based interprocedural path analysis. In: Proceedings of EMSOFT, Springer, LNCS, vol 2491, pp 349–363

    MATH  Google Scholar 

  37. Theiling H, Ferdinand C, Wilhelm R (2000) Fast and precise WCET prediction by separated cache and path analyses. Real-Time Syst 18(2/3):157–179

    Article  Google Scholar 

  38. Thesing S (2004) Safe and precise WCET determination by abstract interpretation of pipeline models. PhD thesis, Universität des Saarlandes

    Google Scholar 

  39. Thesing S, Souyris J, Heckmann R, Randimbivololona F, Langenbach M, Wilhelm R, Ferdinand C (2003) An abstract interpretation-based timing validation of hard real-time avionics software systems. In: Proceedings of DSN, pp 625–632

    Google Scholar 

  40. Wilhelm R, Engblom J, Ermedahl A, Holsti N, Thesing S, Whalley D, Bernat G, Ferdinand C, Heckmann R, Mueller F, Puaut I, Puschner P, Staschulat J, Stenström P (2008) The determination of worst-case execution times – overview of methods and survey of tools. ACM Trans Embedded Comput Syst (TECS) 7(3) pp. 36:1–36:53

    Article  Google Scholar 

Download references

Acknowledgements

The research leading to these results has received funding from the following projects (in alphabetical order): The European Network of Excellence ArtistDesign, the Deutsche Forschungsgemeinschaft in SFB/TR 14 AVACS, the ITEA 2 project number 06042 (ES_PASS), and the European Community’s Seventh Framework Programme FP7/2007-2013 under grant agreement number 216008 (Predator).

Author information

Authors and Affiliations

  1. Compiler Design Lab, Universität des Saarlandes, Saarbrücken, Germany

    Reinhard Wilhelm, Philipp Lucas, Oleg Parshin, Lili Tan & Björn Wachter

Authors
  1. Reinhard Wilhelm
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Philipp Lucas
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Oleg Parshin
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Lili Tan
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Björn Wachter
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Reinhard Wilhelm .

Editor information

Editors and Affiliations

  1. LS für Realzeit-Computersysteme, TU München, Arcisstraße 21, München, 80290, Germany

    Samarjit Chakraborty

  2. LS Kommunikationsnetze, TU München, Arcisstr. 21, München, 80290, Germany

    Jörg Eberspächer

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Wilhelm, R., Lucas, P., Parshin, O., Tan, L., Wachter, B. (2012). Improving the Precision of WCET Analysis by Input Constraints and Model-Derived Flow Constraints. In: Chakraborty, S., Eberspächer, J. (eds) Advances in Real-Time Systems. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-24349-3_6

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-24349-3_6

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-24348-6

  • Online ISBN: 978-3-642-24349-3

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation