Browse > Article

Static Worst-Case Execution Time Analysis Tool for Scheduling Primitives about Embedded OS  

Park, Hyeon-Hui (숭실대학교 컴퓨터학과)
Yang, Seung-Min (숭실대학교 컴퓨터학부)
Choi, Yong-Hoon (한국전자통신연구원 임베디드S/W연구단)
Publication Information
Journal of KIISE:Computing Practices and Letters / v.13, no.5, 2007 , pp. 271-281 More about this Journal
Abstract
Real-time support of embedded OS is not optional, but essential in contemporary embedded systems. In order to achieve these system#s real-time property, it is crucial that schedulability analysis for tasks having its property have been accomplished before system execution. Acquiring Worst-Case Execution Time(WCET) of task is a core part of schedulability analysis. Because traditional WCET tools analyze only its estimation of application task(i.e. program), it is not considered that application tasks are affected by scheduling primitives(e.g. scheduler, interrupt service routine, etc.) of OS when it schedules them. In this paper, we design and implement WCET analysis tool which deliberates on scheduling primitives of system using embedded Linux widely used in embedded OSes. This tool can estimate either WCET of normal application programs or corresponding primitives which have an influence on schduling property in embedded Linux kernel. Therefore, precision of estimation about schedulability analysis is improved. We develop this tool as Eclipse#s plug-in to work properly in any platform and support convenient interface or functionality for user.
Keywords
Embedded System; Worse-Case Execution Time(WCET); WCET Analysis; Schedulability Analysis;
Citations & Related Records
연도 인용수 순위
  • Reference
1 Eclipse Project, http://www.eclipse.org/
2 RTEMS(Real-Time Executive for Multiprocessor Systems), home page: http://www.rtems.com/
3 A.Colin, I. Puaut, 'A modular and retargetable framework for tree-based wcet analysis,' In Proc. 13th Euromicro Conference of Real-Time Systems (ECRTS' 01), June 2001
4 D. Sandell, A. Ermedahl, J. Gustafsson, B. Lisper, 'Static Timing Analysis of Real-Time Operating System Code,' 1st International Symposium on Leveraging Applications of Formal Methods (ISOLA' 04), Cyprus, 2004
5 Intel PXA27x Processor Family Developer's Manual, Intel, 2004
6 GNU GCC Extension, http://gcc.gnu.org/extensions.html
7 P.Puschener and A.Burns, 'A review of worst-case execution-time analysis, Real-Time Systems,' Guest Editorial 18(2-3), pp. 115-128, May 2000
8 Enea, Enea Embedded Technology, homepage: http://www.enea.com
9 A.Colin, I. Puaut, 'A modular and retargetable framework for tree-based wcet analysis,' In Proc. 13th Euromicro Conference of Real-Time Systems (ECRTS' 01), June 2001
10 Javacc Home, https://javacc.dev.java.net/
11 M. Carlsson, J. Engblom, A. Ermedahl, J. Lindblad, B. Lisper, '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
12 Alfred V.Aho, Ravi Sethi, Jeffrey D. Ullman, 'Compilers - Principles, Techniques, and Tools,' pp. 528-529, Addison-Wesley, 1988
13 Alfred V.Aho, Ravi Sethi, Jeffrey D. Ullman, 'Compilers - Principles, Techniques, and Tools,' p466, Addison-Wesley, 1988