모델 및 생성된 코드 검증

Simulink Verification and Validation™은 요구 사항 추적, 모델링 표준 준수 검사, 모델 및 생성된 코드의 커버리지 측정을 자동화합니다.

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

Simulink Verification and Validation은 DO-178, ISO 26262, IEC 61508 및 관련 업계 표준에 대한 모델링 표준검사를 수행합니다. DO Qualification KitIEC Certification Kit을 통해 추가 지원이 제공됩니다.


기능

요구 사항과 디자인 요소 사이의 관계 확립

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

자세히 보기

표준 및 메트릭을 사용하여 모델 품질 검사

스타일 지침과 모델링 표준을 사용하여 준수 여부를 검사합니다.

자세히 보기

모델 및 코드 커버리지 측정

디자인의 테스트되지 않은 요소를 확인할 수 있는 모델 및 코드 커버리지 보고서를 생성합니다.

자세히 보기

제품 리소스

다음 리소스를 살펴보고 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 은(는): MATLAB, Simulink


관련 솔루션

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


뉴스 및 이벤트

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

Improve Design Efficiency Using Modeling Standards Checking