XScale 프로세서 기반의 임베디드 소프트웨어를 위한 최악실행시간 분석도구의 구현
Implementation of Worst Case Execution Time Analysis Tool For Embedded Software based on XScale Processor
1
조회
0
다운로드
0
인용
0
참고문헌
키워드
초록
신뢰성 있는 내장 실시간 시스템을 구축하기 위해서는 프로그램의 스케줄링 가능성 여부를 검증해야 한다. 스케줄링 가능성 분석을 위해서는 프로그램의 최악실행시간 정보가 필수적인 요소이다. 최악실행시간 분석은 두 단계로 나뉜다. 첫 번째 단계에서는 프로그램 언어 구문상의 흐름을 분석하고, 두 번째 단계에서는 수행되는 흐름 경로상의 하드웨어적인 요소를 고려하여 수행시간을 분석한다.본 논문에서는 XScale 프로세서를 대상으로 하는 최악실행시간 통합 분석 도구인 WATER(WCET Analysis Tool for Embedded Real-time system)를 설계하고 구현한다. 상위 수준의 흐름 분석기와 하위 수준의 실행시간 분석기로 이루어진 WATER의 구조를 소개하고 소프트웨어의 실제 측정과 WATER의 분석 결과를 비교한다. 攀※ 본 연구는 한국전자통신연구원 위탁연구과제 지원으로 수행되었습니다. (과제번호: 3010-2005-0065)†준 회 원：숭실대학교 대학원 컴퓨터학과 박사과정††정 회 원：숭실대학교 대학원 컴퓨터학과 석사과정†††정 회 원：숭실대학교 컴퓨터학부 교수 겸 (주)엠스톤 대표이사††††정 회 원：한국전자통신연구원 S/W개발도구연구팀 연구원†††††정 회 원：한국전자통신연구원 S/W개발도구연구팀 선임연구원논문접수：2005년 4월 8일, 심사완료：2005년 8월 9일
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.
참고문헌 (19)
- "A review of worst-case execution-time analysis, Real-Time Systems", 18(2-3), pp.115~128 (2000)
- "Real-Time EuclidA Language for Reliable Real-Time Systems", pp.941~949 (1986)
- "A Real-Time Language With A Schedul- ability Analyzer" (1997)
- "Analyzing Hard- Real-Time Programs for Guaranteed Schedulability", pp.737~750 (1991)
- "Reasoning About Time in Higher-Level Language Software", pp.875~889 (1989)
- "Experiments with a Program Timing Tool Based on Source-Level Timing Schema", pp.48~57 (1991)
- "Predicting Deterministic Execution Time of Real-Time Programs" (1992)
- "Predicting Program Execution Times by Analyzing Static and Dynamic Program Paths", pp.31~62 (1993)
- "Evaluating Tight Execution Time Bounds of Programs by Annotations Proc. 6th IEEE Workshop on Real-Time Operating Systems and Software", pp.74~80 (1989)
- "Dept. of Computer Sciences University of Texas" (1985), A Universal Hardware Simulator
- "Dept. of Computer Sciences University of Texas"
- "Calculating the Maximum Execution Time of Real-Time Programs", pp.159~176 (1989)
- "A Tool for the Computation of Worst Case Task Execution Times Proc. Euromicro Workshop on Real-Time Systems", pp.224~229 (1993)
- "Developing Real-Time Tasks with Predictable Timing", pp.35~44
- "Compilation Support for Fine-Grained Execution Time Analysis Proceedings of the ACM SIGPLAN Workshop on Language Compiler and Tool Support for Real-Time Systems" (1994)
- "Computing Maximum Task Execution Times-A Graph-Based Approach", 13(1), pp.67~91 (1997)
- "A Tool for High-Level language Analysis of Worst-Case Execution Times", pp.130~137 (1998)
- "XScale Microarchitecture for the PXA255 Processor User’s Manual" (2003)
- "A WCET Analysis Method for Pipelined Microprocessors with Cache Memories" (2002)