Advertisement

Reconciling Compilation and Timing Analysis

  • Heiko Falk
  • Peter Marwedel
  • Paul Lokuciejewski
Chapter

Abstract

According to forecasts such as a report published by the National Research Council in the US [21], embedded devices will be a main application area of information technology in the future. Therefore, we can observe an increased interest into embedded systems. Funding of embedded systems research in Europe by the European Community (see “Objective ICT-2009.3.4 Embedded Systems Design” in [3]) is a clear indicator of this trend. Also, market statistics [12] demonstrate the increasing market for certain embedded devices.

Keywords

Integer Linear Programming Basic Block Memory Hierarchy Code Size Register Allocation 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Notes

Acknowledgements

The authors would like to thank AbsInt Angewandte Informatik GmbH for their support concerning WCET analysis using the aiT framework. The research leading to these results has received funding from the European Community’s ArtistDesign Network of Excellence and from the European Community’s Seventh Framework Programme FP7/2007-2013 under grant agreement no. 216008 and from the German Research Foundation DFG under reference number FA 1017/1-1.

References

  1. 1.
    AbsInt Angewandte Informatik GmbH: aiT: Worst-case execution time analyzers. http://www.absint.com/ait (2012)
  2. 2.
    Banakar R, Steinke S, Lee BS, Balakrishnan M, Marwedel P (2002) Scratchpad memory: A design alternative for cache on-chip memory in embedded systems. In: Proceedings of the international symposium on hardware/software codesign (CODES), Estes Park, USA, pp 73–78Google Scholar
  3. 3.
    Commission of the European Community: Updated Work Programme 2009 and Work Programme 2010, ICT – Information and Communications Technologies. http://cordis.europa.eu/fp7/ict (2009)
  4. 4.
  5. 5.
    Falk H (2009) WCET-aware register allocation based on graph coloring. In: Proceedings of the 46th design automation conference (DAC), San Francisco, pp 726–731Google Scholar
  6. 6.
    Falk H (2010) WCET-aware compilation. http://ls12-www.cs.tu-dortmund.de/research/activities/wcc (2010)
  7. 7.
    Falk H, Kleinsorge JC (2009) Optimal static WCET-aware scratchpad allocation of program code. In: Proceedings of the 46th design automation conference (DAC), San Francisco, pp 732–737Google Scholar
  8. 8.
    Falk H, Lokuciejewski P, Theiling H (2006) Design of a WCET-aware C compiler. In: Proceedings of the 4th IEEE workshop on embedded systems for real-time multimedia (ESTIMedia), Seoul, Korea, pp 121–126Google Scholar
  9. 9.
    Holsti N, Gustafsson J, Bernat G et al (2008) WCET tool challenge 2008: Report. In: Proceedings of the 8th international workshop on worst-case execution time analysis (WCET). Prague, Czech RepublicGoogle Scholar
  10. 10.
    Informatik Centrum Dortmund e. V.: ICD-C Compiler framework. http://www.icd.de/es/icd-c (2012)
  11. 11.
    Informatik Centrum Dortmund e. V.: ICD-LLIR Low-level intermediate representation. http://www.icd.de/es/icd-llir (2012)
  12. 12.
    IT Facts: Home page. http://www.itfacts.biz (2012)
  13. 13.
    Lee EA (2005) Absolutely positively on time: What would it take? Embedded Syst Column, IEEE Comp 38(7):85–87CrossRefGoogle Scholar
  14. 14.
    Lee EA (2006) The future of embedded software. ARTEMIS conference, Graz, http://ptolemy.eecs.berkeley.edu/presentations/06/FutureOfEmbeddedSoftware_Lee_Graz.ppt (2006)
  15. 15.
    Lee EA (2007) Computing foundations and practice for cyber-physical systems: A preliminary report. Tech. Rep. UCB/EECS-2007-72, EECS Department, University of California, BerkeleyGoogle Scholar
  16. 16.
    Lokuciejewski P, Marwedel P (2009) Combining worst-case timing models, loop unrolling, and static loop analysis for WCET minimization. In: Proceedings of the 21st euromicro conference on real-time systems (ECRTS), Dublin, Ireland, pp 35–44Google Scholar
  17. 17.
    Lokuciejewski P, Cordes D, Falk H, Marwedel P (2009a) A fast and precise static loop analysis based on abstract interpretation, program slicing and polytope models. In: Proceedings of the international symposium on code generation and optimization (CGO), Seattle, pp 136–146Google Scholar
  18. 18.
    Lokuciejewski P, Gedikli F, Marwedel P (2009b) Accelerating WCET-driven Optimizations by the Invariant Path – a case study of loop unswitching. In: Proceedings of the 12th international workshop on software & compilers for embedded systems (SCOPES), Nice, France, pp 11–20Google Scholar
  19. 19.
    Lokuciejewski P, Gedikli F, Marwedel P, Morik K (2009) Automatic WCET reduction by machine learning based heuristics for function inlining. In: Proceedings of the 3rd workshop on statistical and machine learning approaches to architectures and compilation (SMART), Paphos, Cyprus, pp 1–15Google Scholar
  20. 20.
    Marwedel P (2011) Embedded system design. 2nd edition, Springer, HeidelbergzbMATHCrossRefGoogle Scholar
  21. 21.
    National Research Council (2001) Embedded, everywhere. National Academies PressGoogle Scholar
  22. 22.
    Plazar S, Lokuciejewski P, Marwedel P (2009) WCET-aware software based cache partitioning for multi-task real-time systems. In: Proceedings of the 9th international workshop on worst-case execution time analysis (WCET), Dublin, Ireland, pp 78–88Google Scholar
  23. 23.
    Steinke S, Wehmeyer L, Lee BS, Marwedel P (2002) Assigning program and data objects to scratchpad for energy reduction. In: Proceedings of design, automation and test in Europe (DATE), Paris, France, pp 409–415Google Scholar
  24. 24.
    Wehmeyer L, Marwedel P (2005) Influence of memory hierarchies on predictability for time constrained embedded software. In: Proceedings of design automation and test in Europe (DATE), Munich, Germany, pp 600–605Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Heiko Falk
    • 1
  • Peter Marwedel
    • 2
  • Paul Lokuciejewski
    • 2
  1. 1.Institute of Embedded Systems/Real-Time SystemsUlm UniversityUlmGermany
  2. 2.Computer Science 12TU Dortmund UniversityDortmundGermany

Personalised recommendations