안전 목표 및 기능 안전 요구사항에서 MISRA C 소스 코드와 MC/DC 구조 커버리지에 이르는 형식적 추적성을 자동화합니다.
상위 수준의 위해 분석 및 위험 평가(HARA) 목표를 특정 존 ECU 및 ASIL 아일랜드에 매핑되는 기술 안전 요구사항으로 분해합니다.
HIL(Hardware-in-the-Loop) 및 단위 테스트 하네스를 통해 안전 필수 C/C++ 제어 모듈 전반에서 100% MC/DC(수정 조건/판정 커버리지)를 강제합니다.
도메인 포트폴리오 살펴보기