Simulink Verification and Validation

모델 및 생성된 코드 검증

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

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

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

Best Practices for DO-178 Compliant Software using Model-Based Design

온라인 세미나 보기

평가판 사용 Simulink Verification and Validation

평가판 신청
Nishaat Vasi

새로운 내용

출처: Nishaat Vasi, Simulink Verification and Validation 기술 전문가