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

Frontiers of Computer Science in China

Volumn 4, Issue 1, 2010, Pages 17-27

  Lv, Mingsong ^a   Guan, Nan ^a   Deng, Qingxu ^a   Yu, Ge ^a   Wang, Yi ^a,b  

^a NORTHEASTERN UNIVERSITY   (China)

^b UPPSALA UNIVERSITY   (Sweden)

Author keywords

C OS II; Real time operating systems (RTOS); Static analysis; Worst case execution time (WCET)

Indexed keywords

ANALYSIS TECHNIQUES; APPLICATION PROGRAMS; COMPLEX SYSTEMS; HARD REAL-TIME SYSTEMS; QUANTITATIVE EVALUATION; REAL TIME OPERATING SYSTEM; REAL TIME PERFORMANCE; REAL-TIME KERNEL; STATIC METHOD; SYSTEM CALLS; TIMING ANALYSIS; TIMING PROPERTIES; WORST-CASE EXECUTION TIME; WORST-CASE EXECUTION TIME ANALYSIS;

COMPUTER OPERATING SYSTEMS; JAVA PROGRAMMING LANGUAGE; STATIC ANALYSIS; TIME MEASUREMENT;

REAL TIME SYSTEMS;

EID: 76749137203     PISSN: 16737350     EISSN: 16737466     Source Type: Journal    
DOI: 10.1007/s11704-009-0073-8     Document Type: Article

References (19)

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