Skip to main content
SpringerLink
Log in

Static worst-case execution time analysis of the μC/OS-II real-time kernel

  • Research Article
  • Published:
Frontiers of Computer Science in China Aims and scope Submit manuscript

Abstract

Worst-case execution time (WCET) analysis is one of the major tasks in timing validation of hard real-time systems. In complex systems with real-time operating systems (RTOS), the timing properties of the system are decided by both the applications and RTOS. Traditionally, WCET analysis mainly deals with application programs, while it is crucial to know whether RTOS also behaves in a timely predictable manner. In this paper, static analysis techniques are used to predict the WCET of the system calls and the Disable Interrupt regions of the μC/OS-II real-time kernel, which presents a quantitative evaluation of the real-time performance of μC/OS-II. The precision of applying existing WCET analysis techniques on RTOS is evaluated, and the practical difficulties in using static methods in timing analysis of RTOS are also discussed.

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. Lv M, Guan N, Zhang Y, et al. WCET analysis of the μC/OS-II real-time kernel. In: Proceedings of International Conference on Computational Science and Engineering, 2009

  2. Labrosse J. MicroC/OS-II the Real-Time Kernel. 2nd ed. CMP Books, 2002

  3. Li X, Liang Y, Mitra T, et al. Chronos: A timing analyzer for embedded software. Science of Computer Programming, 2007, 69(1–3): 56–67

    Article  MATH  MathSciNet  Google Scholar 

  4. Li X. Microarchitecture modeling for timing analysis of embedded software. Ph.D. Thesis of National University of Singapore, 2005

  5. Burger D, Austin T M. The Simplescalar Tool Set. 2nd ed. SIGARCH Computer Architecture News, 1997

  6. Colin A, Puaut I. Worst-case execution time analysis of the rtems real-time operating system. In: Proceedings of the 13th Euromicro Conference on Real-Time Systems, 2001

  7. Lisper B. Fully automatic, parametric worst-case execution time analysis. In: Proceedings of the 3rd International Workshop on Worst-Case Execution Time (WCET) Analysis, 2003

  8. Bygde S, Lisper B. Towards an automatic parametric wcet analysis. In: Proceedings of the 8th International Workshop on Worst-Case Execution Time (WCET) Analysis, 2008

  9. Carlsson M, Engblom J, Ermedahl A, et al. Worst-case execution time analysis of disable interrupt regions in a commercial real-time operating system. In: Proceedings of the 2nd International Workshop on Real-Time Tools, 2002

  10. Sandell D, Ermedahl A, Gustafsson J, et al. Static timing analysis of real-time operating system code. In: Proceedings of the 1st International Symposium on Leveraging Applications of Formal Methods, 2004

  11. Singal M, Petters S M. Issues in analysing L4 for its WCET. In: Proceedings of the 1st International Workshop on Microkernels for Embedded Systems, 2007

  12. Schneider J. Why you can not analyze RTOSs without considering applications and vice versa. In: Proceedings of the 2nd International Workshop onWorst-Case Execution Time (WCET) Analysis, 2002

  13. Schneider J. Combined schedulability and WCET analysis for realtime operating systems. Ph.D. Thesis of Saarland University, Germany, 2002

  14. Staschulat J, Ernst R. Scalable precision cache analysis for real-time software. ACM Transactions on Computer Systems, 2007

  15. Lee C, Lee K, Hahn J, et al. Bounding cache-related preemption delay for real-time systems. IEEE Transactions on Software Engineering, 2001, 27(9): 805–826

    Article  Google Scholar 

  16. Nemer F, Casse H, Sainrat P, et al. Inter-task wcet computation for a-way instruction caches. In: International Symposium on Industrial Embedded Systems, 2008

  17. Burguière C, Reineke J, Altmeyer S. Cache-related preemption delay computation for setassociative caches. In: Proceedings of the 9th International Workshop on Worst-Case Execution Time (WCET) Analysis, 2009

  18. Lv M, Guan N, Zhang Y, et al. A survey of WCET analysis of real-time operating systems. In: The International Conference on embedded Software and Systems, 2009

  19. Wilhelm R, Engblom J, Ermedahl A, et al. The worst-case execution—time problem.overview of methods and survey of tools. Transaction on Embedded Computing Systems, 2008

Download references

Author information

Authors and Affiliations

  1. Institute of Computer Software, Northeastern University, Shenyang, 110819, China

    Mingsong Lv, Nan Guan, Qingxu Deng, Ge Yu & Yi Wang

  2. Department of Information Technology, Uppsala University, Uppsala, S-75105, Sweden

    Yi Wang

Authors
  1. Mingsong Lv
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Nan Guan
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Qingxu Deng
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Ge Yu
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Yi Wang
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Mingsong Lv.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Lv, M., Guan, N., Deng, Q. et al. Static worst-case execution time analysis of the μC/OS-II real-time kernel. Front. Comput. Sci. China 4, 17–27 (2010). https://doi.org/10.1007/s11704-009-0073-8

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11704-009-0073-8

Keywords

Search

Navigation