Browse > Article
http://dx.doi.org/10.3745/KIPSTA.2005.12A.5.365

Implementation of Worst Case Execution Time Analysis Tool For Embedded Software based on XScale Processor  

Park, Hyeon-Hui (숭실대학교 대학원 컴퓨터학과)
Choi, Myeong-Su (숭실대학교 대학원 컴퓨터학과)
Yang, Seung-Min (숭실대학교 컴퓨터학부)
Choi, Yong-Hoon (한국전자통신연구원 S/W개발도구연구팀)
Lim, Hyung-Taek (한국전자통신연구원 S/W개발도구연구팀)
Publication Information
The KIPS Transactions:PartA / v.12A, no.5, 2005 , pp. 365-374 More about this Journal
Abstract
Schedulability analysis is necessary to build reliable embedded real-time systems. For schedulability analysis, worst-case execution time(WCET) analysis that computes upper bounds of the execution times of tasks, is required indispensably. WCET analysis is done in two phases. The first phase is high-level analysis that analyzes control flow and finds longest paths of the program. The second phase is low-level analysis that computes execution cycles of basic blocks taking into account the hardware architecture. In this thesis, we design and implement integrated WCET analysis tools. We develop the WCET analysis tools for XScale-based system called WATER(WCET Analysis Tool for Embedded Real-time system). WATER consist of high-level flow analyzer and low-level execution time analyzer. Also, We compare real measurement for execution of program with analysis result calculated by WATER.
Keywords
XScale Processor; Embedded Real-time System; Worst Case Execution Time; WCET Analysis Tool;
Citations & Related Records
연도 인용수 순위
  • Reference
1 Alfred V. aho, Ravi Sethi, Jeffrey D. Ullman, 'Compilers-Principles, Techniques and Tools,' Ch.8, pp.463-512, Addison-Wesley, 1988
2 Eclipse project official site, http://www.dclipse.org
3 Puschner, P., 'A Tool for High-Level language Analysis of Worst-Case Execution Times,' In: Proc. Euromicro Workshop on Real-Time Systems, Berlin, Germany, pp. 130-137, 1998a   DOI
4 Intel, 'XScale Microarchitecture for the PXA255 Processor User's Manual,' March, 2003
5 Puschner, P. and A. Schedl, 'A Tool for the Computation of Worst Case Task Execution Times,' In: Proc. Euromicro Workshop on Real-Time Systems, Oulu, Finland, pp. 224-229, 1993
6 Thomas Lundqvist, 'A WCET Analysis Method for Pipelined Microprocessors with Cache Memories,' Ph.D. thesis, Chalmers University of Technology, Goteborg, Sweden, 2002
7 Pospischil, G., P. Puschner, A. Vrchoticky, and R. Zainlinger, 'Developing Real-Time Tasks with Predictable Timing,' IEEE Software 9(5), 35-44   DOI   ScienceOn
8 Vrchoticky, A., 'Compilation Support for Fine-Grained Execution Time Analysis,' In: Proceedings of the ACM SIGPLAN Workshop on Language, Compiler and Tool Support for Real-Time Systems, Orlando FL, 1994
9 Puschener, P. and A. Schedl., 'Computing Maximum Task Execution Times - A Graph-Based Approach,' Real-Time Systems 13(1), pp. 67-91, 1997   DOI
10 Puschner, P. and C. Koza, 'Calculating the Maximum Execution Time of Real-Time Programs,' Real-Time Systems 1(2), pp.159-176, 1989   DOI
11 Park C. Y. and A. C., 'Experiments with a Program Timing Tool Based on Source-Level Timing Schema,' IEEE Computer 24(5), pp.48-57, 1991   DOI   ScienceOn
12 Mok, A. K., P. Amerasinghe, M. Chen, and K. Tantisirivat, 'Evaluating Tight Execution Time Bounds of Programs by Annotations,' In: Proc. 6th IEEE Workshop on Real-Time Operating Systems and Software, Pittsburgh, PA, USA, pp.74-80, 1989
13 Amerasinghe, P., 'A Universal Hardware Simulator,' Dept. of Computer Sciences, University of Texas, Austin, TX, USA: Undergraduate Honors Thesis, 1985
14 Chen, M., 'A Timing Analysis Language - (TAL),' Dept. of Computer Sciences, University of Texas, Austin, TX, USA: Programmer's Manual
15 Stoyenko, A., V. Hamacher, and R. Holt, 'Analyzing Hard-Real-Time Programs for Guaranteed Schedulability,' IEEE Transactions on Software Engineering SE-17(8), pp.737- 750, 1991   DOI   ScienceOn
16 Shaw, A. C., 'Reasoning About Time in Higher-Level Language Software,' IEEE Transactions on Software Engineering SE-15(7), pp.875-889, 1989   DOI   ScienceOn
17 Park C. Y., 'Predicting Deterministic Execution Time of Real-Time Programs,' Ph.D. thesis, Department of Computer Science and Engineering, University of Washington, Seattle, WA, USA, 1992
18 Park C. Y., 'Predicting Program Execution Times by Analyzing Static and Dynamic Program Paths,' Real-Time Systems 5(1), pp.31-62, 1993   DOI
19 Stoyenko, A., 'A Real-Time Language With A Schedul-ability Analyzer,' Computer Systems Research Institute, University of Toronto, Canada, Dissertation, 1997
20 Kligerman, E. and A. Stoyenkok, 'Real-Time Euclid: A Language for Reliable Real-Time Systems.' IEEE Transactions on Software Engineering SE-12(9), pp.941-949, 1986
21 P. Puschener and A. Burns, 'A review of worst-case execution-time analysis, Real-Time Systems,' Guest Editorial, 18(2-3):115- 128, May, 2000