Requirements Toolbox (이전 명칭: Simulink Requirements™)를 사용하면 MATLAB 또는 Simulink 안에서 요구사항을 작성, 연결 및 검증할 수 있습니다. 사용자 지정 특성으로 서식 있는 텍스트를 사용하여 요구사항을 생성하거나 요구사항 관리 툴에서 요구사항을 가져올 수 있습니다.
요구사항을 MATLAB 코드, System Composer 모델 또는 Simulink 모델에 연결하고 테스트할 수 있습니다. Requirement Toolbox는 추적성을 분석하여 구현이나 테스트에서의 미비점을 식별할 수 있습니다. 설계 강조 표시와 추적성 매트릭스는 여러 아티팩트에 걸쳐 있는 링크의 위치를 요약해서 보여주며 미비점을 보완할 수 있도록 안내합니다. 요구사항이 변경되면 이와 연결된 아티팩트가 강조 표시되고, 추적성 다이어그램을 통해 이에 영향 받은 업스트림 및 다운스트림 아티팩트를 확인할 수 있습니다. Simulink 설계에서 생성된 코드에는 요구사항이 구현된 위치를 문서화하는 코드 주석이 포함되어 검토를 돕습니다.
Requirement Table을 사용하여 요구사항을 정형화하고 분석하여 일관성, 완결성, 정확성을 기할 수 있습니다. Requirements Perspective를 사용하면 설계와 요구사항을 함께 보고 관리할 수 있습니다. Simulink와 함께 사용하면 끌어서 놓기로 간단히 블록으로 가는 링크를 생성할 수 있습니다.
IEC Certification Kit (for ISO 26262 and IEC 61508) 및 DO Qualification Kit (for DO-178)을 통해 업계 표준 지원이 가능합니다.
요구사항 작성 및 정리
서식 있는 텍스트, 사용자 지정 특성, 키워드를 사용하여 요구사항을 정의할 수 있습니다. 요구사항의 계층 구조를 조직하여 시스템 수준 또는 하위 수준 기능을 명시할 수 있습니다.
요구사항을 설계, 코드 및 테스트로 추적
요구사항, 모델 요소, MATLAB 코드, 데이터 사전, 테스트 케이스, 테스트 하네스를 연결하는 디지털 스레드를 생성할 수 있습니다. 외부 요구사항 툴로 추적할 수 있습니다. Embedded Coder의 코드 생성 리포트에 링크를 삽입할 수 있습니다.
정형 요구사항 모델링
Simulink의 Requirements Table 블록으로 논리식을 사용해 (3:53) 정형 요구사항을 명시할 수 있습니다.시뮬레이션을 사용하여 이러한 정형 요구사항을 검증하고 요구사항의 정확성, 일관성, 완결성을 분석할 수 있습니다. 정형 요구사항을 설계 모델과 결합하여 준수 여부를 검증할 수 있습니다. Simulink Design Verifier로 해당 요구사항에 연결된 테스트를 생성할 수 있습니다.
요구사항과 설계를 함께 관리
Requirements Perspective를 사용하면 Simulink, System Composer 또는 Stateflow 편집기에서 직접 요구사항을 보고, 작성하고, 관리할 수 있습니다. 모델의 수정 없이 끌어서 놓아 링크를 생성하고, 배지를 사용하여 모델 내 링크의 위치를 보고, 다이어그램에 요구사항을 표시할 수 있습니다.
요구사항 커버리지 분석
구현과 테스트에서의 미비점, 누락된 요구사항, 설계 오류 등을 식별할 수 있습니다. 추적성 매트릭스를 사용하여 다양한 요구사항, 모델, 테스트 간의 링크를 검토하고 링크를 추가하여 미비점을 보완할 수 있습니다.
요구사항을 MATLAB 코드 및 테스트로 추적
MATLAB 코드에 있는 개별 라인, 외부 문서에 있는 요구사항 정보와 MATLAB Test에 있는 테스트 케이스 간의 추적성 링크를 생성, 관리, 탐색할 수 있습니다. MATLAB 편집기에서 추적성을 강조 표시하여 구현 또는 테스트의 미비점을 식별할 수 있습니다.
제품 관련 자료:
"이전 프로젝트에서는 요구사항 커버리지 분석을 수작업과 주관적 평가에 의존했습니다. Simulink, Simulink Coverage, Requirements Toolbox 덕분에 저희는 이러한 분석을 자동화할 수 있었고 제공되는 객관적인 커버리지 메트릭을 통해 인증을 위한 요구사항 검토 시간을 최대 30%까지 단축할 수 있었습니다."
Massimiliano Campagnoli, Alenia Aermacchi