WCET 예측을 위한 정적 분석 방안

aiT는 복잡한 소프트웨어와 하드웨어 특성을 고려하여 보장된 WCET를 예측하기 위한 분석 솔루션입니다.

임베디드 시스템은 논리적인 요구사항 뿐만 아니라 시간 제약에 대한 요구사항 만족도 필수적으로 요구되고 있습니다. 이런 시간 요구사항을 만족하기 위해서는 시스템 내에 실시간성이 요구되는 Task들이 모두 정해진 시간 내에 동작하는지에 대한 확인이 필요합니다. 그리고 Task 들이 모두 스케줄링 되어 올바르게 동작하는지에 대한 확인도 필요합니다. 이렇게 Task가 정해진 시간 내에 동작하는지의 여부와 스케줄링 가능성의 파악을 위해 제일 중요한 요소는 WCET 입니다.

aiT는 WCET 분석 솔루션으로 전 세계에서 유일하게 WCET 예측 결과를 보장하는 솔루션입니다.

aiT는 단순 최악의 실행 사이클 계산 방식이 아니라, 파이프라인과 Cache, 메모리 억세스 사이클 등을 고려한 분석 기능을 제공하여, 측정 방식과 기존 예측 방식보다 정확한 WCET를 예측이 가능한 정적 분석 솔루션입니다.

주요 기능

• 실행 컨텍스트별 WCET 기여의 데이터 시각화
• TargetLink 생성 코드의 완전 자동 분석
• 오픈 소스 자동화 서버인 Jenkins에서 aiT 의 자동 통합을
• ANSYS의 내장형 소프트웨어 개발 환경인 SCADE Suite과의 통합 가능

aiT의 WCET 예측 결과의 정확도

위 그래프는 볼보에서 WCET에 대한 비교 분석한 결과입니다. 붉은색은 볼보가 기존에 WCET 분석을 위해 사용하던 방식으로 무조건적인 최악의 상황을 고려한 결과로 과대 측정되었습니다. 검은색은 실제 최악 경로 상에서 측정된 WCET입니다.

aiT가 예측한 결과는 측정된 WCET와 매우 유사한 결과가 나타났습니다. 이를 통해 aiT의 WCET 예측 결과의 정확성을 확인할 수 있습니다.

다양한 지원 프로세서/컴파일러 목록

혹시 aiT에 대해 더 알고 싶으신가요?

아래 이메일 absint@mdsit.co.kr을 통해 문의 남겨주시면 솔루션 도입을 위한 친절한 기술 상담이 가능합니다!