Simulink Verification and Validation

Simulink Verification and Validation을 사용한 작업

Requirements Management Interface는 외부 문서를 Simulink® 블록과 연결하는 링크를 생성하는데, 이러한 링크는 요구 사항 검토, 설계 검토, 추적 분석 및 프로젝트 문서에 사용할 수 있습니다.

Requirements Management Interface를 통해 수행할 수 있는 작업은 다음과 같습니다.

  • Simulink 및 Stateflow® 객체를 요구 사항과 연계
  • Simulink 또는 Stateflow 객체에서 요구 사항으로 이동
  • 강조와 직접 정의한 태그를 사용하여 모델의 요구 사항 링크 검토
  • 객체와 요구 사항 간의 연결 상태를 보여 주는 Simulink 모델에 대한 보고서 작성

Simulink Verification and Validation은 스타일 지침 및 모델링 표준의 준수 여부를 검사하기 위한 즉시 사용 가능한 검사 라이브러리를 제공합니다. 이러한 검사 라이브러리는 MAAB(MathWorks Automotive Advisory Board) 스타일 지침 과 고집적 소프트웨어 개발을 위한 DO-178B 및 IEC 61508 표준을 지원하도록 사전 구성되어 있습니다.

Model Advisor 및 모델링 표준 검사를 통해 수행할 수 있는 작업은 다음과 같습니다.

  • 모델 또는 모델 구성요소를 기준으로 검사를 실행하여 모델링 지침 준수 여부 검증
  • 검사 구성 생성 및 공유
  • 명령행 API를 사용하여 검사 실행 자동화
  • 새 모델링 스타일 지침에 대한 사용자 정의 검사 작성

Simulink Verification and Validation은 구성요소 테스트 기능을 바탕으로 기존 모델에서 하네스 모델 및 로그 데이터를 생성하여 모델 구성요소에 대한 시뮬레이션 실행을 지원합니다. 얻을 수 있는 이점은 다음과 같습니다.

  • 모델에 대한 구성요소 테스트 자동화
  • 서브시스템 또는 서브차트 내용을 추출하여 분석을 위한 새 모델 생성
  • 시뮬레이션의 입력 포트 값 기록
  • 테스트 케이스를 사용하여 모델 시뮬레이션
  • 생성된 코드를 기준으로 테스트 실행
  • 모델 커버리지 수집 및 분석
다음: 모델, 테스트 및 생성된 코드에 대한 요구 사항 추적

평가판 사용 Simulink Verification and Validation

평가판 신청

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

온라인 세미나 보기