WCET(Worst Case Execution Time) 정적 분석 솔루션
aiT
aiT는 복잡한 소프트웨어와 하드웨어 특성을 고려하여 보장된 WCET를 예측하기 위한 분석 솔루션입니다.
WCET 분석은 소프트웨어를 실제 하드웨어에서 실행하며 측정하는 방식과 소프트웨어의 명령 실행 사이클(Instruction Excution Cycle) 기반으로 예측하는 하는 방식이 있습니다.
측정 방식은 테스트 케이스의 설계 방법에 따라서 결과가 과소 측정되며, 예측 방식은 최악의 실행 사이클만 고려할 경우 결과가 과대 측정됩니다.
aiT는 단순 최악의 실행 사이클 계산 방식이 아니라, 파이프라인과 Cache, 메모리 억세스 사이클 등을 고려한 분석 기능을 제공하여, 측정 방식과 기존 예측 방식보다 정확한 WCET를 예측이 가능한 정적 분석 솔루션입니다.
WCET 분석은 소프트웨어를 실제 하드웨어에서 실행하며 측정하는 방식과 소프트웨어의 명령 실행 사이클(Instruction Excution Cycle) 기반으로 예측하는 하는 방식이 있습니다.
측정 방식은 테스트 케이스의 설계 방법에 따라서 결과가 과소 측정되며, 예측 방식은 최악의 실행 사이클만 고려할 경우 결과가 과대 측정됩니다.
aiT는 단순 최악의 실행 사이클 계산 방식이 아니라, 파이프라인과 Cache, 메모리 억세스 사이클 등을 고려한 분석 기능을 제공하여, 측정 방식과 기존 예측 방식보다 정확한 WCET를 예측이 가능한 정적 분석 솔루션입니다.
주요 특징
- 01실행 컨텍스트별 WCET 기여의 데이터 시각화
- 각 서브루틴의 호출 순서와 소요 시간
- 모든 서브루틴의 소요 시간이 포함된 실행 시간
- 02WCET Annotation이 포함된 Call Gragh
- 각서브루틴간의 호출 관계를 Tree 구조로 표시
- 각 서브루틴 별 WCET를 유발하는 실행 시간
- 03WCET Annotation이 포함된 Control Flow Gragh
- 각 서브루틴의 상세 실행 정보
- C/C++ 언어와 어셈블 코드로 분석
- 04다양한 지원 프로세서/컴파일러 목록
- ARM (TI/ARM/GHS/TASKING/clang/HighTec/Diab/Keil MDK-ARM/GHS Ada)
- C16x/ST10 (TASKING/Keil)
- TI C3x (TI)
- TI C28x (TI)
- ERC32 (gcc/GNAT)
- HCS12(X/XE) (Hiware/Cosmic/IAR)
- LEON2/LEON3 (gcc/GNAT)
- M68020 (HP/EDS/gcc)
- PowerPC (Diab/gcc/GHS/CodeWarrior)
- TriCore (TASKING/Keil)
- V850E (GHS/Diad Renesas CS+)
주요 기능
01 TargetLink 생성 코드의 완전 자동 분석
02 오픈 소스 자동화 서버인 Jenkins에서 aiT WECT Analyzer의 자동 통합을 위한 플러그인 제공
03 ANSYS의 내장형 소프트웨어 개발 환경인 SCADE Suite과의 통합 가능
