Simulink Design Verifier

요구사항 검증

설계를 시작하기 전에 모델링된 요구사항의 일관성과 완전성을 검사할 수 있습니다.

런타임 및 진단 오류 검출

시뮬레이션을 실행하기 전에 정수 오버플로, 0으로 나누기, 범위를 벗어난 배열, 준정규 값, 부동소수점 오류 및 데이터 유효성 오류 등의 런타임 및 모델링 오류를 검출할 수 있습니다.

데드 로직 찾기

시뮬레이션 및 생성된 코드의 실행 중에 활성화할 수 없는 모델의 객체를 찾을 수 있습니다.

누락된 테스트 커버리지 분석

수동으로 생성한 기존의 테스트 케이스를 증대 및 확장하여, Simulink 블록과 Stateflow 차트에서 호출된 C/C++ 코드나 생성된 코드의 커버리지와 불완전한 모델 커버리지를 해결할 수 있습니다.

정형 안전 요구사항 검증하기

MATLAB, Simulink 및 Stateflow를 사용하여 정형적으로 정의된 안전 요구사항에 따라 (3:53) 설계가 동작하는지 검증할 수 있습니다.

요구사항 기반 테스트 케이스 생성

시스템 요구사항의 모델로부터 테스트 케이스를 생성할 수 있습니다.

“모델 기반 설계를 통해 요구사항을 신속하게 분석하고 이전 제품의 설계를 재사용하고 수작업 코딩에 따른 오류를 없앨 수 있어 개발 시간을 단축하고 고객의 필요에 맞춰 일정을 단축할 수 있었습니다.”

MyoungSuk Ko, LS Automotive