Browse > Article
http://dx.doi.org/10.9708/jksci.2010.15.4.037

Improvement of Reliability of Static Execution Time Analysis Using Software Monitoring Technique  

Kim, Yun-Kwan (건국대학교 컴퓨터공학부)
Kim, Tae-Wan (명지대학교 차세대전력기술연구센터)
Chang, Chun-Hyon (건국대학교 컴퓨터공학부)
Publication Information
Journal of the Korea Society of Computer and Information / v.15, no.4, 2010 , pp. 37-45 More about this Journal
Abstract
A system which needs timely accuracy has to design and to verify correctly about execution-time for reliability. Accordingly, it is necessary for timing analysis tools, and much previous research worked. In timing analysis tool, there are two methods. One is a static analysis, and the other is a measurement based analysis. A static analysis is able to spend time less than a measurement based analysis method, but has low reliability of analysis result caused by hard to estimate time of I/O caused by various hardware. A measurement based analysis can be close analysis to real result, but it is hard to adapt to actual application, and spend a lot of time to get result of analysis. As such, this paper present a software monitoring architecture to supply reliability of static analysis process. In a presented architecture, it can select target as needed measurement through static analysis, and reuse result of measurement exist. Therefore, The architecture can reduce overload of time and performance for measurement, and improve the reliability which is the worst problem of static analysis.
Keywords
execution time analysis; static analysis; software monitoring;
Citations & Related Records
Times Cited By KSCI : 1  (Citation Analysis)
연도 인용수 순위
1 P.Puschner, Ch. Koza, "Calculating the maximum, execution time of real-time programs," Real-Time Systems, Vol. 1, No. 2, pp.159-176, Sep. 1989.   DOI
2 김태완, 장천현, 김문회, "TMO 네트워크로 구성된 분산 실시간 시스템을 위한 실시간성 분석기 설계," ITRC forum 2004.
3 K.H. (Kane) Kim, "Timeliness Assurance via Hybrid Approaches during Design of Distributed Embedded Computing Systems," WORDS'03F, pp.307-313, Oct. 2003
4 K.H(Kane) Kim, Lynn Choi, Moon Hae Kim, "Issues in Realization of an Execution Time Analyzer for Distributed Real-Time Objects," ASSET'00, pp.171, Mar. 2000.
5 김윤관, 신원, 김태완, 정천현, "PS - Block 구조를 사용한 PS-Block Timing Model의 설계 및 구현," 정보처리학회논문지D, 제13-D권, 제3호, 399-404쪽 2006년 6월.   과학기술학회마을
6 신원, 김태완, 장천현, "정적 실행시간 분석기의 기반 구조," 한국 소프트웨어공학회 학술대회논문집, 제8권, 제1호 115-123쪽, 2006년.
7 Jakob Engblom, Andreas Ermedahl, Friedhelm Stappert, "Comparing Different Worst-Case Execution Time Analysis Methods," RTSSWIP'00, Nov. 2000.
8 Bound-T http://www.tidorum.fi/bound-t/
9 B.A. Schroeder, "On-line Monitoring: A Tutorial," IEEE Computer, Vol.28, No. 6, pp.72-78, Jun. 1995.   DOI   ScienceOn
10 Ulfar Erlingsson , Fred B. Schneider, "The inlined reference monitor approach to security policy enforcement," Doctoral Thesis, 2004.
11 WCET project http://www.mrtc.mdh.se/
12 AT91SAM7S256 http://www.atmel.com/
13 Y-T. S. Li, S. Malik, "Performance Analysis of Embedded Software Using Implicit Path Enumeration," DAC'95, pp. 456-461, Jun. 1995.
14 Yun kwan kim, Won Shin, Tae wan Kim, Chun Hyon Chang, "Organizing Information for Execution Time Analysis in Real-Time Embedded Systems," SERP'07 pp.710-714, June 2007.