Skip to main content
SpringerLink
Log in

Practical experiences of applying source-level WCET flow analysis to industrial code

  • ALL-TIMES
  • Published:
International Journal on Software Tools for Technology Transfer Aims and scope Submit manuscript

Abstract

Code-level timing analysis, such as worst-case execution time (WCET) analysis, usually takes place at the binary level. However, many program properties that are important for the analysis, such as constraints on possible program flows, are easier to derive at the source code level since this code contains much more information. Therefore, various source-level analyses can provide valuable support for timing analysis. However, source-level analysis is not always smoothly applicable in industrial settings. In this paper, we report on the experiences of applying source-level analysis to industrial code in the ALL-TIMES project: the promises, the pitfalls, and the workarounds that were developed. We also discuss various approaches to how the difficulties that were encountered can be tackled.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Barkah, D., Ermedahl, A., Gustafsson, J., Lisper, B., Sandberg, C.: Evaluation of automatic flow analysis for WCET calculation on industrial real-time system code. In: Burns, A. (ed.) Proceedings of 20th Euromicro Conference on Real-Time Systems, pp. 331–340 (2008)

  2. Bessey A., Block K., Chelf B., Chou A., Fulton B., Hallem S., Henri-Gros C., Kamsky A., McPeak S., Engler D.: A few billion lines of code later: using static analysis to find bugs in the real world. Commun. ACM 53(2): (2010)

  3. Byhlin, S., Ermedahl, A., Gustafsson, J., Lisper, B.: Applying static WCET analysis to automotive communication software. In: Proceedings of 17th Euromicro Conference on Real-Time Systems (ECRTS’05) (2005)

  4. Carlsson, M., Engblom, J., Ermedahl, A., Lindblad, J., Lisper, B.: Worst-case execution time analysis of disable interrupt regions in a commercial real-time operating system. In: Pettersson, P., Yi, W. (ed.) Proceedings of 2nd International Workshop on Real-Time Tools, Copenhagen (2002)

  5. CIL infrastructure for C program analysis and transformation (2010) http://manju.cs.berkeley.edu/cil

  6. Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Miné, A., Monniaux, D., Rival, X.: The ASTRÉE analyzer. In: Sagiv, M. (ed.) Proceedings of 14th European Symposium on Programming. Lecture Notes in Computer Sci., vol. 3444, pp. 21–30. Springer, Berlin (2005)

  7. Emanuelsson, P., Nilsson, U.: A comparative study of industrial static analysis tools (extended version). Technical report, Linköping University (2008)

  8. Ferdinand, C., Heckmann, R., Langenbach, M., Martin, F., Schmidt, M., Theiling, H., Thesing, S., Wilhelm, R.: Reliable and precise WCET determination for a real-life processor. In: Proceedings of 1st International Workshop on Embedded Systems (EMSOFT2001), LNCS, vol. 2211 (2001)

  9. Gustafsson, J.: SWEET manual, 2011. http://www.mrtc.mdh.se/projects/wcet/sweet/manual/

  10. Gustafsson, J., Ermedahl, A., Lisper, B., Sandberg, C., Källberg L.: ALF—a language for WCET flow analysis. In: Holsti, N. (ed.) Proceedings of 9th International Workshop on Worst-Case Execution Time Analysis (WCET’2009), pp. 1–11, Dublin, Ireland (2009)

  11. Gustafsson, J., Ermedahl, A., Sandberg, C., Lisper, B.: Automatic derivation of loop bounds and infeasible paths for WCET analysis using abstract execution. In: Proceedings of 27th IEEE Real-Time Systems Symposium (RTSS’06), pp. 57–66, Rio de Janeiro, Brazil, Dec. (2006). IEEE Computer Society

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

    Article  Google Scholar 

  13. Heckmann, R., Ferdinand, C., Kästner, D., Nenova, S.: Architecture exploration and timing estimation during early design phases (this volume)

  14. Holsti, N., Långbacka, T., Saarinen, S.: Using a worst-case execution-time tool for real-time verification of the DEBIE software. In: Proceedings of DASIA 2000 Conference (Data Systems in Aerospace 2000, ESA SP-457) (2000)

  15. Holsti, N., Långbacka, T., Saarinen, S.: Worst-case execution-time analysis for digital signal processors. In: Proceedings of EUSIPCO 2000 Conference (X European Signal Processing Conference) (2000)

  16. Kirner, R.: Extending Optimising Compilation to Support Worst-Case Execution Time Analysis. PhD thesis, Technische Universität Wien, Vienna, Austria (2003)

  17. Kirner, R., Knoop, J., Prantl, A., Schordan, M., Wenzel, I.: WCET analysis: the annotation language challenge. In: Rochange, C. (ed.) Proceedings of 7th International Workshop on Worst-Case Execution Time Analysis (WCET’2007), pp. 83–99, Pisa, Italy (2007)

  18. Levine, J.: Linkers and Loaders. Morgan Kaufmann, 2000. ISBN 1-55860-496-0

  19. Lisper, B.: The ALL-TIMES project: Introduction and overview (this volume)

  20. Merriam, N., Lisper, B.: Estimation of productivity increase for timing analysis tool chains (this volume)

  21. Montag, P., Goerzig, S., Levi, P.: Challenges of timing verification tools in the automotive domain. In: Margaria, T., Philippou, A., Steffen, B. (ed.) Proceedings of 2nd International Symposium on Leveraging Applications of Formal Methods (ISOLA’06), Paphos, Cyprus (2006)

  22. Nielson, F., Nielson, H.R., Hankin, C.: Principles of Program Analysis, 2nd edn. Springer, Berlin. ISBN 3-540-65410-0 (2005)

  23. Prantl, A., Schordan, M., Knoop, J.: TuBound—a conceptually new tool for worst-case execution time analysis. In: Kirner, R. (ed.) Proceedings of 8th International Workshop on Worst-Case Execution Time Analysis (WCET’2008), pp. 141–148, Prague, Czech Republic (2008)

  24. Rodriguez, M., Silva, N., Esteves, J., Henriques, L., Costa, D., Holsti, N., Hjortnaes, K.: Challenges in calculating the WCET of a complex on-board satellite application. In: Proceedings of 3rd International Workshop on Worst-Case Execution Time Analysis (WCET’2003), Porto (2003)

  25. Rose http://www.rosecompiler.org (2012)

  26. Sandell, D., Ermedahl, A., Gustafsson, J., Lisper, B.: Static timing analysis of real-time operating system code. In: Proceedings of 1st International Symposium on Leveraging Applications of Formal Methods (ISOLA’04), (2004)

  27. Schreiner, D., Barany, G., Schordan, M., Knoop, J.: Comparison of type-based vs. alias-based component recognition for interface-level timing annotations (this volume)

  28. Sehlberg, D., Ermedahl, A., Gustafsson, J., Lisper, B., Wiegratz, S.: Static WCET analysis of real-time task-oriented code in vehicle control systems. In: Margaria, T., Philippou, A., Steffen, B. (eds.) Proceedings of 2nd International Symposium on Leveraging Applications of Formal Methods (ISOLA’06), Paphos, Cyprus (2006)

  29. Thesing, S., Souyris, J., Heckmann, R., Randimbivololona, F., Langenbach, M., Wilhelm, R., Ferdinand, C.: An abstract interpretation-based timing validation of hard real-time avionics software. In: Proceedings of the IEEE International Conference on Dependable Systems and Networks (DSN-2003) (2003)

Download references

Author information

Authors and Affiliations

  1. School of Innovation, Design, and Engineering, Mälardalen University, 721 23, Västerås, Sweden

    Björn Lisper & Andreas Ermedahl

  2. Institute of Computer Languages, Vienna University of Technology, 1040, Vienna, Austria

    Dietmar Schreiner & Jens Knoop

  3. GLIWA GmbH embedded systems, Blütenstr. 20, 82362, Weilheim i.OB., Germany

    Peter Gliwa

Authors
  1. Björn Lisper
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Andreas Ermedahl
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Dietmar Schreiner
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Jens Knoop
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Peter Gliwa
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Björn Lisper.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Lisper, B., Ermedahl, A., Schreiner, D. et al. Practical experiences of applying source-level WCET flow analysis to industrial code. Int J Softw Tools Technol Transfer 15, 53–63 (2013). https://doi.org/10.1007/s10009-012-0255-9

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10009-012-0255-9

Keywords

Search

Navigation