[aiT] WCET 예측을 위한 정적 분석 방안 1

WCET 관리의 필요성 WCET(Worst Case Execution Time)는 최장 실행 시간이라는 뜻으로, SW의 UNIT(기능/함수 기타 등등 구현 방법에 따라 기준은 다름) 실행 시간 중 가장 긴 시간입니다. WCET가 UNIT의 제한 시간 내라면 제품은 정상적인 동작이 가능하지만, 제한 시간을 초과하는 경우 타이밍 이슈에 의해서 기능 문제가 발생할 수 있습니다. 그런데, 실시간 환경에서 타이밍에 의해 발생하는 문제는 소스 코드 단위로 분석하거나 디버깅하는 방법으로는 해결하기가 매우 어렵습니다. 그 이유는 실행 시간에 영향을 미치는 매우 다양한 비결정적인 요소(*주 1) 때문입니다. 비결정적인 요소의 예는 Cache 동작, 다중 코어 사용 시 리소스 공유 등이 대표적이며, 이 요소들은 제품 개발 과정에 모든 상황을 고려하기 어렵습니다. 이로 인해서 개발 단계에서는 확인되지 않은 문제가 출시 이후 필드에서 종종 발생합니다. *주 1) 비결정적 요소 : 임베디드 소프트웨어의 실...