Please wait a minute...
Frontiers of Computer Science

ISSN 2095-2228

ISSN 2095-2236(Online)

CN 10-1014/TP

Postal Subscription Code 80-970

2018 Impact Factor: 1.129

Front. Comput. Sci.    2010, Vol. 4 Issue (1) : 17-27    https://doi.org/10.1007/s11704-009-0073-8
Research articles
Static worst-case execution time analysis of the μ C/OS-II real-time kernel
Mingsong LV1,Nan GUAN1,Qingxu DENG1,Ge YU1,Wang Yi2,
1.Institute of Computer Software, Northeastern University, Shenyang 110819, China; 2.Institute of Computer Software, Northeastern University, Shenyang 110819, China;Department of Information Technology, Uppsala University, Uppsala S-75105, Sweden;
 Download: PDF(254 KB)  
 Export: BibTeX | EndNote | Reference Manager | ProCite | RefWorks
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.
Keywords worst-case execution time (WCET)      real-time operating systems (RTOS)      μC/OS-II      static analysis      
Issue Date: 05 March 2010
 Cite this article:   
Wang Yi,Mingsong LV,Qingxu DENG, et al. Static worst-case execution time analysis of the μ C/OS-II real-time kernel[J]. Front. Comput. Sci., 2010, 4(1): 17-27.
 URL:  
https://academic.hep.com.cn/fcs/EN/10.1007/s11704-009-0073-8
https://academic.hep.com.cn/fcs/EN/Y2010/V4/I1/17
Lv M, Guan N, Zhang Y, et al. WCET analysis ofthe μC/OS-II real-time kernel. In: Proceedings of International Conference onComputational Science and Engineering, 2009
Labrosse J. MicroC/OS-II the Real-Time Kernel. 2nd ed. CMP Books, 2002
Li X, Liang Y, Mitra T, et al. Chronos: A timing analyzer forembedded software. Science of ComputerProgramming, 2007, 69(1–3): 56–67

doi: 10.1016/j.scico.2007.01.014
Li X. Microarchitecture modeling for timing analysis of embeddedsoftware. Ph.D. Thesis of National Universityof Singapore, 2005
Burger D, Austin T M. The Simplescalar Tool Set. 2nd ed. SIGARCH Computer Architecture News, 1997
Colin A, Puaut I. Worst-case execution time analysis of the rtems real-time operating system. In: Proceedings of the 13th Euromicro Conferenceon Real-Time Systems, 2001
Lisper B. Fully automatic, parametric worst-case execution timeanalysis. In: Proceedings of the 3rd InternationalWorkshop on Worst-Case Execution Time (WCET) Analysis, 2003
Bygde S, Lisper B. Towards an automatic parametric wcet analysis. In: Proceedings of the 8th International Workshop on Worst-Case ExecutionTime (WCET) Analysis, 2008
Carlsson M, Engblom J, Ermedahl A, et al. Worst-case executiontime analysis of disable interrupt regions in a commercial real-timeoperating system. In: Proceedings of the2nd International Workshop on Real-Time Tools, 2002
Sandell D, Ermedahl A, Gustafsson J, et al. Static timing analysisof real-time operating system code. In: Proceedings of the 1st International Symposium on Leveraging Applicationsof Formal Methods, 2004
Singal M, Petters S M. Issues in analysing L4 for its WCET. In: Proceedings of the 1st International Workshop on Microkernels forEmbedded Systems, 2007
Schneider J. Why you can not analyze RTOSs without considering applicationsand vice versa. In: Proceedings of the 2nd International Workshop on Worst-Case Execution Time (WCET) Analysis, 2002
Schneider J. Combined schedulability and WCET analysis for real-timeoperating systems. Ph.D. Thesis of SaarlandUniversity, Germany, 2002
Staschulat J, Ernst R. Scalable precisioncache analysis for real-time software. ACM Transactions on Computer Systems, 2007
Lee C, Lee K, Hahn J, et al. Bounding cache-related preemptiondelay for real-time systems. IEEE Transactions on Software Engineering, 2001, 27(9): 805–826

doi: 10.1109/32.950317
Nemer F, Casse H, Sainrat P, et al. Inter-task wcet computationfor a-way instruction caches. In: International Symposium on Industrial Embedded Systems, 2008
Burguière C, Reineke J, Altmeyer S. Cache-related preemption delay computation for setassociative caches. In: Proceedings of the 9th International Workshopon Worst-Case Execution Time (WCET) Analysis, 2009
Lv M, Guan N, Zhang Y, et al. A survey ofWCET analysis of real-time operating systems. In: The International Conference on embedded Software and Systems, 2009
Wilhelm R, Engblom J, Ermedahl A, et al. The worst-case execution-timeproblem—overview of methods and survey of tools. Transaction on Embedded Computing Systems, 2008
[1] Ningnan ZHOU, Xiao ZHANG, Shan WANG. Timestamp reassignment: taming transaction abort for serializable snapshot isolation[J]. Front. Comput. Sci., 2019, 13(6): 1282-1295.
[2] Zhenbo XU,Jian ZHANG,Zhongxing XU. Melton: a practical and precise memory leak detection tool for C programs[J]. Front. Comput. Sci., 2015, 9(1): 34-54.
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed