실시간 시스템은 시간적 신뢰성을 중요시하기 때문에 응답시간 검증의 기준점을 제공하기 위해 정적 실행시간 분석이 연구되었다. 정적 실행 시간 분석의 분석 대상에는 상수와 같이 코드에 존재하는 내부 요인과 사용자 입력과 같이 실행 시에 결정되는 외부 요인이 있다. 특히 외부 요인은 분석 과정에 나타날 수 있는 모든 경우의 수나 값의 고려가 필요하기 때문에 분석을 어렵게 한다. 따라서 본 논문에서는 외부 요인의 범위를 제한하고 예측을 위한 기준 범위를 제공하기 위해 요약 해석을 사용한 예측 기법과 이를 구현하기 위한 방안을 제안한다. 제안하는 예측 방안은 값과 시간에 관한 외부 요인의 가능한 범위를 요약 해석 기법을 적용하여 제한함으로 이를 예측할 수 있도록 범위 정보를 제공하고 이를 통해 정적 실행 시간 분석이 어려운 부분을 줄일 수 있다. 또한 기존에 분석하지 않던 부분의 분석을 통해 정적 실행 시간 분석의 신뢰성 향상에 기여할 수 있다.
In a real-time system, static execution time analysis is the most important approach to guarantee timing reliability. But it is difficult to analyze execution time in a static manner because a program usually has unbounded external factors in loops and related tasks. In this paper we propose a methodology that can predict external factors and improve the accuracy of static execution time analysis. Our method considers the value and timing information of external factors to restrict on available scopes by abstract interpretation. It provides range information of external factors to predict value and its timing effect. Therefore using our method, the range information is able to offer more helpful information to developers. Thus the prediction methodology improves the reliability of static execution time analysis.
