정형 기법을 활용한 AUTOSAR SWC의 구현 확인 및 정적 분석
이영준 이사, MathWorks Korea
AUTOSAR기반의 소프트웨어 컴포넌트(SWC)의 개발은 ARXML의 사양에 맞게 개발해야 합니다. 이를 확인하기 위해서는 수작업으로 확인을 해야 하며, 주어진 범위내에서 설정된 범위의 값이 리턴되는지는 확인하기가 힘듭니다.
Polyspace® 제품군은 AUTOSAR SWC가 ARXML에 부합되게 개발되었는지 확인할 수 있으며, 코딩룰(MISRA C®:2004, MISRA C:2012), 시큐어 코딩(ISO 17961, CERT C®/C++, CWE), 코드 메트릭, 그리고 실행시간 오류도 동시에 체크할 수 있습니다. 이번 세션에서는 Polyspace 제품군으로 이러한 작업을 할 수 있는 방법을 소개합니다.