Proceedings of the Korea Information Processing Society Conference (한국정보처리학회:학술대회논문집)
- 2006.05a
- /
- Pages.199-202
- /
- 2006
- /
- 2005-0011(pISSN)
- /
- 2671-7298(eISSN)
Analysis and Classification of Source Code for TMO-Based Programs
TMO기반 프로그램을 위한 소스코드 분석 및 분해
- Lee Jae-Seok (Dept of Computer Engineering, Konkuk University) ;
- Shin Won (Dept of Computer Engineering, Konkuk University) ;
-
Kim Tae-Wan
(Dept of Computer Engineering, Konkuk University) ;
-
Chang Chun-Hyon
(Dept of Computer Engineering, Konkuk University)
- Published : 2006.05.01
Abstract
실시간 시스템에서는 정해진 시간 안에 작업을 수행해야 하는 것이 가장 중요하다. 때문에 실시간 시스템에서의 응답시간 위반은 물질 또는 인명 피해와 직결된다. 이에 응답시간을 보장하기 위해 실시간 시스템을 분석하는 기법들에 대한 많은 연구가 진행되었다. 그러나 기존의 분석 방법들은 최악실행시간을 도출하기위해 실시간 프로그램의 흐름을 분석하거나 분석을 위한 제약을 생성할 때 부하가 생기는 문제점을 가지고 있다. 이러한 문제를 해결하기 위하여 본 논문에서는 프로그램에서 나타나는 함수 또는 변수 등이 중복해서 사용되는 특성들을 이용하여 실행시간 분석에 대한 부하를 줄일 수 있는 방법을 제안하고, 제안한 방법을 기반으로 실시간 프로그램에서 실행시간을 예측할 때 필요한 기본 자료들을 도출할 수 있는 소스코드 분석 도구를 제안한다.
Keywords