Simulink Verification and Validation

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

Simulink Verification and Validation의 Requirements Management Interface를 사용하면 Simulink 및 Stateflow 객체를 요구 사항 문서의 텍스트에 연결할 수 있습니다. 이 인터페이스에서는 IBM® Rational® DOORS®, Microsoft® Word, Excel®, PDF 또는 HTML 파일 형식으로 저장된 요구 사항을 지원합니다. 또한 이 인터페이스는 추가 문서 형식과 요구 사항 관리 시스템을 지원하도록 사용자 정의할 수도 있습니다.

Requirements Management Interface context menu and Requirements dialog box.
Requirements Management Interface의 상황별 메뉴와 Requirements 대화 상자

링크 생성

링크는 모델 내에서 외부 문서를 가리키는 참조이며, 요구 사항 추적 정보의 신뢰성과 지속성을 확보하는 모델 블록 고유 ID와 연결되어 있습니다.

요구 사항 추적을 사용하면 외부 문서에서 요구 사항 객체 또는 즐겨찾기를 선택하고 Simulink의 상황별 메뉴를 통해 링크를 생성할 수 있습니다. 또한 Requirements 대화 상자에서 보다 정교한 대상별 분석을 위해 링크에 키워드와 설명을 적용할 수도 있습니다.

설계 및 요구 사항 검토

Requirements Management Interface를 사용하면 모델의 블록을 강조하거나, 모델 서브시스템의 이미지와 요구 사항 문서의 정보가 결합된 요구 사항 보고서를 생성할 수 있습니다. Simulink Report Generator™를 사용하여 보고서 서식을 사용자 정의할 수도 있습니다.

Simulink Verification and Validation을 IBM Rational DOORS와 함께 사용하여 Simulink 링크를 DOORS의 링크 객체로 복제하면 요구 사항 문서를 수정할 필요 없이 양방향 추적이 가능합니다. Requirements Management Interface는 DOORS의 링크와 Simulink의 링크를 동기화합니다. 따라서 IBM Rational DOORS 또는 IBM Rational DOORS Web Access에서 링크를 생성한 다음 이 링크를 Simulink 모델과 동기화할 수 있습니다. 또한 요구 사항 링크가 해당 소스 문서와 일관성을 유지하도록 하기 위해 제거하거나 수정한 요구 사항을 식별하는 요구 사항 일관성 검사를 실행할 수 있습니다. 체계적인 모델 분석을 위해 이 검사를 다른 Model Advisor 검사와 결합할 수도 있습니다.

코드 검토

Embedded Coder™, HDL Coder™ 또는 Simulink PLC Coder™를 사용하여 모델에서 코드를 생성하면 요구 사항 레이블을 소스 코드의 주석 및 코드 생성 보고서의 하이퍼링크로 포함할 수 있습니다. 코드 생성 보고서의 하이퍼링크를 활용하면 코드에서 요구 사항으로 직접 이동할 수 있습니다.

Requirements Management Interface를 지원하고 링크 및 추적 기능을 제공하는 파트너사 요구 사항 관리 솔루션에 대해 알아보려면 MathWorks Connections Program을 방문하십시오.

Annotated source code, created with Real-Time Workshop Embedded Coder, showing hyperlinks to requirements.
요구 사항에 대한 하이퍼링크를 보여 주는 Embedded Coder로 생성한 주석 소스 코드
다음: 모델링 표준 준수

평가판 사용 Simulink Verification and Validation

평가판 신청

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

온라인 세미나 보기