Skip to main content

Static Worst-Case Execution Time Analysis Tool for Embedded Operating Systems

  • Conference paper
Computational Science and Its Applications – ICCSA 2008 (ICCSA 2008)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 5072))

Included in the following conference series:

  • 3246 Accesses

Abstract

Real-time support of embedded Operating Systems is essential for contemporary embedded systems. In order to achieve supporting real-time property, it is crucial that schedulability analysis for real-time task is finished before implementing the embedded systems. Acquiring Worst-Case Execution Time (WCET) of task is a core part of this schedulability analysis. In this paper, we design and implement WATERk, WCET analysis tool which deliberates on scheduling primitives of system using embedded Linux. WATERk can estimate WCET of both normal application tasks and corresponding primitives which influence the schedulability of embedded systems. Evaluation Results show that WATERk provides more reliable estimation results compared with traditional WCET tools.

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

Access this chapter

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 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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Puschener, P., Burns, A.: A review of worst-case execution-time analysis. Real-Time Systems Guest Editorial 18(2-3), 115–128 (2000)

    Article  Google Scholar 

  2. The eclipse project., http://www.eclipse.org

  3. Colin, A., Puaut, I.: A modular and retargetable framework for tree-based wcet analysis. In: Proc. 13th Euromicro Conference of Real-Time Systems (ECRTS 2001) (2001)

    Google Scholar 

  4. RTEMS project., http://www.rtems.com/

  5. Carlsson, M., Engblom, J., Ermedahl, A., Lindblad, J., Lisper, B.: Worst-Case Execution Time Analysis of Disable Interrupt Regions in an Commercial Real-Time Operating System. In: Proc. 2nd International Workshop on Real-Time Tools (RTTOOLS 2002) (2002)

    Google Scholar 

  6. Enea, Enea Embedded Technology, http://www.enea.com

  7. Sandell, D., Ermedahl, A., Gustafsson, J., Lisper, B.: Static Timing Analysis of Real-Time Operating System Code. In: 1st International Symposium on Leveraging Applications of Formal Methods (ISOLA 2004), Cyprus (2004)

    Google Scholar 

  8. Aho, A.V., Sethi, R., Ullman, J.D.: Compilers, principles, techniques, and tools. Addison-Wesley, Reading (1998)

    Google Scholar 

  9. Javacc Home, https://javacc.dev.java.net/

  10. Intel.: XScale Microarchitecture for the PXA255 Processor User’s Manual. Intel Corporation (2003)

    Google Scholar 

  11. GNU GCC Extension, http://gcc.gnu.org/extensions.html

Download references

Author information

Authors and Affiliations

Authors

Editor information

Osvaldo Gervasi Beniamino Murgante Antonio Laganà David Taniar Youngsong Mun Marina L. Gavrilova

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Park, H.H., Hong, J., Yang, S.M. (2008). Static Worst-Case Execution Time Analysis Tool for Embedded Operating Systems. In: Gervasi, O., Murgante, B., Laganà, A., Taniar, D., Mun, Y., Gavrilova, M.L. (eds) Computational Science and Its Applications – ICCSA 2008. ICCSA 2008. Lecture Notes in Computer Science, vol 5072. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-69839-5_58

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-69839-5_58

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-69838-8

  • Online ISBN: 978-3-540-69839-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics