Simulink Design Verifier

요구사항 검증

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

런타임 및 진단 오류 검출

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

데드 로직 찾기

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

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

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

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

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

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

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

배포를 위한 모델 간소화

마스터 Variant 모델을 완전히 검증한 후에 Variant Reducer를 사용하여 유효한 구성의 일부에 대한 축약 모델을 생성할 수 있습니다. 모든 관련 파일과 변수 종속성도 축약됩니다. 축약된 아티팩트는 손쉽게 배포하고 고객 및 파트너와 공유할 수 있도록 별도의 폴더에 패키징됩니다.

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

MyoungSuk Ko, LS Automotive