소프트웨어 감시 기법을 활용한 정적 실행시간 분석의 신뢰성 향상

다국어 초록 (Multilingual 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.

참고문헌 (Reference)

1 신원, "정적 실행시간 분석기의 기반 구조" 8 (8): 115-123, 2006

2 "WCET project"

3 K.H.(Kane)Kim, "Timeliness Assurance via Hybrid Approaches during Design of Distributed Embedded Computing Systems" 307-313, 2003

4 Ulfar Erlingsson, "The inlined reference monitor approach to security policy enforcement" 2004

5 김태완, "TMO 네트워크로 구성된 분산 실시간 시스템을 위한 실시간성 분석기 설계" 2004

6 Y-T.S., "Performance Analysis of Embedded Software Using Implicit Path Enumeration" 456-461, 1995

7 김윤관, "PS-Block 구조를 사용한 PS-Block Timing Model의 설계 및 구현" 한국정보처리학회 13 (13): 399-404, 2006

8 Yun kwan kim, "Organizing Information for Execution Time Analysis in Real-Time Embedded Systems" 710-714, 2007

9 B.A.Schroeder, "On-line Monitoring:A Tutorial" 28 (28): 72-78, 1995

10 K.H(Kane)Kim, "Issues in Realization of an Execution Time Analyzer for Distributed Real-Time Objects" 171-, 2000

11 Jakob Engblom, "Comparing Different Worst-Case Execution Time Analysis Methods" 2000

12 P.Puschner, "Calculating the maximum,execution time of real-time programs" 1 (1): 159-176, 1989

13 "Bound-T"

14 "AT91SAM7S256"