Simulink Design Verifier

모델 기반 설계의 정형 기법

Simulink Design Verifier는 Prover Technology의 Prover Plug-In과 Mathworks의 Polyspace 정형 분석 엔진이 제공하는 정형 분석 기술을 사용합니다. 이러한 기술은 수학적으로 엄격한 절차를 사용하여 테스트 케이스 및 반례에 대해 모델의 가능한 실행 경로를 검색합니다. 테스트 시나리오와 예상 결과가 구체적인 데이터 값으로 표현되는 기존의 테스트 방식과 달리 정형 분석 기술에서는 구체적인 데이터 값이 아닌 시스템 동작 모델을 사용하여 작업할 수 있습니다. 시스템 동작 모델은 원하는 시스템 동작과 원하지 않는 시스템 동작을 설명하는 테스트 시나리오 및 검증 목표에 대한 모델을 포함할 수 있습니다. 이러한 모델을 통해 형식 분석을 수행하면 시뮬레이션을 보완하고 설계를 더욱 잘 이해할 수 있습니다.

다음: 정형 기법을 사용한 오류 검출

평가판 사용 Simulink Design Verifier

평가판 신청

Track Design Changes with Requirements Traceability in MATLAB

온라인 세미나 보기