모델 및 생성된 코드 검증

Simulink Verification and Validation™은 요구 사항 추적, 모델링 표준 준수 검사 및 모델 커버리지 분석 작업을 자동화합니다.

자세한 요구 사항 추적 보고서를 생성하고 자체 모델링 스타일 검사를 작성하는 것은 물론, 검사 구성을 개발하여 엔지니어링 팀과 공유할 수도 있습니다. 또한 요구 사항 문서를 모델, 테스트 케이스 및 생성된 코드에 연결할 수 있습니다. 아울러 모델 컴포넌트와 코드를 테스트하기 위한 하네스 모델을 생성하고 모델 커버리지 분석을 사용하여 모델이 철저히 테스트되었는지 확인할 수 있습니다.

Simulink Verification and Validation에서는 DO-178, ISO 26262, IEC 61508 및 관련 업계 표준에 대한 모델링 표준 검사를 수행합니다. 또한 DO Qualification KitIEC Certification Kit을 통해 추가적인 지원도 받을 수 있습니다.


기능

Simulink Verification and Validation 사용

외부 문서와 Simulink 블록을 연결하는 링크를 만들 수 있습니다.

자세히 보기

모델, 테스트 및 생성된 코드에 대한 요구 사항 추적

Simulink 및 Stateflow 객체를 요구 사항 문서의 텍스트에 연결합니다.

자세히 보기

모델링 표준 준수

Model Advisor에서 개별 검사 또는 그룹 검사를 실행할 수 있습니다.

자세히 보기

모델 컴포넌트 테스트

API를 활용하여 하나 이상의 참조된 모델, 모델상의 서브시스템 또는 atomic 서브차트를 분석 및 시뮬레이션합니다.

자세히 보기

모델 커버리지 분석

모델의 테스트되지 않은 요소를 나타내는 모델 커버리지 보고서를 생성합니다.

자세히 보기

제품 리소스

다음 리소스를 살펴보고 Simulink Verification and Validation 에 관해 자세히 알아보십시오

문서

Simulink Verification and Validation에 대한 릴리스 정보와 코드 예제를 포함한 함수 및 기능에 대한 기술 문서를 살펴보십시오.

함수

이용 가능한 Simulink Verification and Validation 함수 목록을 찾아보십시오.

시스템 요구사항

최신 Simulink Verification and Validation 릴리스에 대한 시스템 요구 사항을 보십시오.

기술 기고

Simulink Verification and Validation를 사용할 때의 기술적 이점을 보여주는 기사를 보십시오.

고객 사례

귀하의 분야에서 Simulink Verification and Validation를 사용하여 R&D를 가속화한 고객 성공 사례를 확인해 봅니다.

커뮤니티 및 지원

질문에 대한 답을 찾고 문제 해결 리소스를 찾아보십시오.


평가판 신청/구매

Simulink Verification and Validation 사용을 시작하는 방법은 여러 가지입니다. 무료 평가판을 다운로드, or 가격 및 라이선스 옵션을 탐색하십시오.

무료 평가판 받기

Simulink Verification and Validation 평가판을 신청하십시오.

시험판 받기

구매하기

Simulink Verification and Validation을 구매하고 애드온 제품을 둘러보십시오.

영업 담당 문의
가격 및 라이선싱

질문이 있습니까?

Paul

에게 문의 Paul Urban,
Simulink Verification and Validation 기술 전문가인

Paul 에게 이메일 보내기

Simulink Verification and Validation requires MATLAB, and Simulink.


관련 솔루션

의 도움Simulink Verification and Validation으로 다음과 같은 과학 및 엔지니어링 문제를 해결하십시오.


뉴스 및 이벤트

Simulink 및 Model-Based Design에 대한 MathWorks 엔지니어의 관점 살펴보기.

Improve Design Efficiency Using Modeling Standards Checking