현대적인 슈퍼스칼라 SoC에서 긴급 제동 작업이 항상 5밀리초 이내에 실행됨을 수학적으로 증명하는 것은 기능 안전 분야의 최고 난제입니다. 공유 L2/L3 캐시와 메모리 컨트롤러는 통제되지 않을 경우 무한한 지연을 초래합니다.
정적 분석 도구는 컴파일된 바이너리 ELF 파일로부터 직접 제어 흐름 그래프(CFG)를 구축합니다. 레지스터 값 범위를 추적하고 파이프라인에 추상 해석을 적용하여 테스트 케이스에 의존하지 않고 최악의 실행 경로를 도출합니다.
항공 가이드라인 CAST-32A와 자동차 ISO 26262는 공유 하드웨어 리소스를 간섭 채널로 규정합니다. 크로스바 스위치를 포화시키는 스트레스 테스트를 통해 하드웨어 대역폭 조절이 지연 증가를 8% 미만으로 억제함을 입증했습니다.