| |  Newsletter | | October 2026 | |
| Stack 크기, 얼마나 잡아야 할까?
최악의 실행 시간(WCET) 예측 실패? ES 자원사용량 검증은 최대 Stack 사용량과 최악의 실행시간(WCET) 검증을 요구합니다.
AbsInt 솔루션은 적은 공수로 빠르게 수학적으로 보장된 최대/최악의 값을 계산합니다. ※ WCET(Worst Case Execution Time): 최악의 실행시간 | |
| 도입 문의부터 기업 맞춤형 시연까지, MDS스피어 전문가가 상세히 도와드립니다. |
| 측정 불필요 바이너리 정적 분석으로
공수 대폭 절감 | | 모든 실행 경로 분석 측정값이 아닌
보장된 상한값 제시 | | ISO 26262 대응 Qualification Support Kit
제공 | |
| |
| “오래 걸려 측정한 Stack Usage · WCET가
정말 최악의 경로입니까?” 바이너리 파일 분석을 통해 보장된 최악의 경로를 구하십시오. | |
| 구분 | 테스트 기반 측정 | 바이너리 정적 분석 | | 공수 | 오랜 시간 소요
(타겟 구동 · 반복 측정) | 짧은 시간
(바이너리만으로 분석) | | 신뢰성 | 최악의 경로임을 보장 불가
(특정 측정 경로만을 커버) | 최악의 경로임을 보장
(모든 실행 가능 경로 분석) | |
| | 공수 절감: 측정 불필요, 자동화된 정적 분석 탐침 코드 · 타겟 하드웨어 구축이 불필요합니다.
모든 실행 경로를 정적으로 분석해 최악의 경로를 식별합니다. | | | | | 신뢰성: ‘최악의 경로’를 수학적으로 보장 실제 타깃 하드웨어에 업로드되는 바이너리 파일을 분석함으로써,
발생 가능한 모든 경우를 정확하게 검증합니다. | |
| 바이너리 정적 분석으로 모든 실행 시나리오를 고려한 최악의 경로를 확인합니다. 1) Stack Depth Analysis — StackAnalyzer Task, ISR의 최악의 Stack 사용량과 경로를 도식화 합니다.  2) WCET — aiT / TimingProfiler Task, ISR의 WCET를 계산하여 실행 경로 상의 함수별 타이밍 계산값을 표시합니다.  | |
| 도입 문의부터 기업 맞춤형 시연까지, MDS스피어 전문가가 상세히 안내해 드립니다. |
| |
| [StackAnalyzer] 실제 사고로 본 스택 분석의 중요성  StackAnalyzer |
| Stack Overflow의 위험성을 실제 차량 사고로 살펴보고, 바이너리 파일 정적 분석이 필요한 이유를 설명합니다. 자세히 보러 가기 → | | |
| [aiT] WCET 예측을 위한 정적 분석 방안 1  aiT |
| 측정 방식이 최악 실행 시간을 과소평가하기 쉬운 이유와, Volvo 사례로 본 aiT 정적 분석의 정확도를 소개합니다. 자세히 보러 가기 → | | |
| [TimingProfiler] WCET 분석으로 병목 원인 파악과 소스코드 수정을 통한 실행시간 감소  TimingProfiler |
| 1ms 주기 CAN 수신 Task의 병목을 TimingProfiler로 찾아, 코드 수정으로 WCET를 약 23% 줄인 과정을 소개합니다. 자세히 보러 가기 → | | |
| 고객 문의 |
