|
|
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; |
|
|
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
|
|
|
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
|
|
Viewed |
|
|
|
Full text
|
|
|
|
|
Abstract
|
|
|
|
|
Cited |
|
|
|
|
|
Shared |
|
|
|
|
|
Discussed |
|
|
|
|