Simulink Requirements

 

Simulink Requirements

요구사항을 작성 및 관리하고 모델, 생성된 코드 및 테스트 케이스로 추적할 수 있습니다.

시작하기:

요구사항 작성 및 정리

서식 있는 텍스트를 사용하여 요구사항을 작성하고 특성을 지정하고 요구사항 집합 단위로 정리할 수 있습니다.

요구사항 캡처

요구사항 및 이에 대한 근거는 이미지, 번호 매기기 목록 및 글머리 기호 등을 사용하여 서식 있는 텍스트로 표현할 수 있습니다. ID, 키워드, 개정 정보 등의 추가 특성 및 주석을 통해 요구사항을 미세 조정하고 상세하게 설명할 수 있습니다. 사용자 지정 특성을 직접 만들어서 고유한 요구사항 데이터형으로 요구사항을 더욱 상세하게 표현할 수 있습니다.

Requirements Editor를 사용한 요구사항 작성, 편집 및 정리.

Requirements Editor를 사용한 요구사항 작성, 편집 및 정리.

프로젝트 전반의 전체 요구사항 관리

Requirements Editor를 통해 프로젝트 전반의 모든 요구사항을 보고 생성하고 관리할 수 있습니다. Requirements Editor에는 다음과 같은 기능이 있습니다.

  • 요구사항의 계층 구조를 정리하는 요구사항 브라우저
  • 프로젝트 전반의 링크를 관리하는 링크 보기
  • 요구사항과 링크의 세부 정보를 보고 수정하는 속성 인스펙터
  • 열 디스플레이 및 정렬을 설정할 수 있는 사용자 지정 기능
  • 대규모의 요구사항 집합을 필터링하는 검색 툴
  • 요구사항을 기록하는 리포트 생성 기능

단일 환경에서 요구사항 및 모델 작업

요구사항을 작성, 확인, 정리 및 관리하는 동시에 설계 활동을 수행할 수 있습니다.  끌어서 놓기로 요구사항을 설계로 추적하고 모델링 환경 내 구현의 미비점을 식별할 수 있습니다. 

요구사항, 아키텍처 및 설계의 통합 보기

Requirements Perspective는 SimulinkSystem Composer 또는 Stateflow® 내에서 요구사항을 확인, 작성 및 정리하는 동시에 설계 활동을 수행할 수 있는 통합 보기를 제공합니다.

Requirements Perspective를 통한 Simulink 개발 환경 내에서의 요구사항 관리.

Requirements Perspective를 통한 Simulink 개발 환경 내에서의 요구사항 관리.

모델 기반 시스템 공학 지원

System Composer에서 아키텍처 모델을 개발하면서 Simulink Requirements를 사용하여 시스템 요구사항을 직접 캡처, 확인, 관리할 수 있습니다. 시스템 요구사항을 다양한 아키텍처 모델 요소에 연결하여 요구사항과 아키텍처 간에 디지털 스레드를 설정할 수 있습니다. 요구사항 커버리지 분석을 통해 아키텍처의 완전성을 분석할 수 있습니다. 아키텍처 모델을 분석하는 동안 추가로 요구사항을 도출하여 모델에 연결할 수 있습니다.

끌어서 놓기로 추적성 설정

요구사항 브라우저에서 요구사항을 끌어와 System Composer, Simulink 또는 Stateflow 모델 객체에 놓으면 요구사항과 설계 사이에 링크를 생성할 수 있습니다. 모델 객체에 배지가 나타나 링크를 표시하고, 이를 통해 연결된 요구사항으로 탐색할 수 있습니다. 배지를 통해 모델 다이어그램에 요구사항과 커넥터를 표시하도록 선택할 수 있습니다.

외부 요구사항 가져오기 및 동기화

IBM Rational DOORS, Microsoft Word 또는 Microsoft Excel 등의 다른 소스의 요구사항을 읽기 전용 참조 파일로 또는 추가 수정 목적으로 Simulink로 가져올 수 있습니다. ReqIF(Requirements Interchange Format)를 사용하면 Siemens Polarion® ALM™ 또는 Jama Connect™처럼 해당 파일 형식을 지원하는 타사 요구사항 관리 툴에서 요구사항을 가져와 작업할 수 있습니다. 가져오는 과정에서 외부 문서에서 Simulink Requirements로의 필드 매핑을 제어할 수 있습니다. 외부 문서의 내용을 사용자 지정 특성에 매핑된 필드로 가져오도록 지정할 수 있습니다. 동기화 작업을 통해 참조된 요구사항과의 일관성을 유지할 수 있습니다. 요구사항에 변경 사항이 있는 경우 이 변경 사항이 가져오는 영향을 평가할 수 있도록 알림이 제공됩니다.

다른 툴의 요구사항을 보고 ReqIF를 사용하여 다른 툴의 업데이트 및 링크 보기

다른 툴의 요구사항을 보고 ReqIF를 사용하여 다른 툴의 업데이트 및 링크 보기

변경 사항 식별 및 대응

요구사항이 변경될 경우 다운스트림 오류를 방지하기 위해 팀 전체에 변경 사항이 전달되어야 합니다. 각 요구사항과 링크는 수정 시기에 대한 개정 내역을 보존합니다. Simulink Requirements는 외부 소스에서 가져온 요구사항의 변경 사항을 비롯하여 모델과 연결된 요구사항의 변경 사항을 감지하므로, 사용자는 변경이 설계에 미치는 영향을 평가하고 적절히 조치할 수 있습니다. 요구사항 집합에 대해 차이점 비교 작업을 수행하여 요구사항에서 변경된 내용을 볼 수 있습니다.

외부 문서에서 가져온 요구사항이 변경될 경우 알려주는 변경 감지 기능.

외부 문서에서 가져온 요구사항이 변경될 경우 알려주는 변경 감지 기능. 

요구사항을 설계, 코드 및 테스트로 추적

모델 요소, MATLAB 코드, 데이터 사전, Stateflow 요소, System Composer 아키텍처 모델 및 다른 요구사항에 대한 요구사항 링크를 생성하여 디지털 스레드를 설정할 수 있습니다. Simulink Test™에서 요구사항을 테스트 케이스, 테스트 하네스, 테스트 스위트 및 테스트 시퀀스에 연결하고, Simulink 모델 또는 Test Manager를 통해 링크에 액세스할 수 있습니다. Embedded Coder®, HDL Coder™ 또는 Simulink PLC Coder™에서 생성된 코드는 코드 생성 리포트에서 요구사항으로 바로 가는 하이퍼링크 생성을 지원합니다. 이러한 링크는 코드에서 주석 레이블로 표시됩니다. 코드 생성 리포트의 하이퍼링크를 사용하면 코드에서 요구사항으로 직접 이동할 수 있습니다.

Simulink 모델 요소를 IBM® Rational® DOORS® 또는 IBM® Rational® DOORS® Next Generation의 요구사항에 연결하고 추적할 수 있습니다.

DO Qualification Kit (for DO-178 and DO-254)IEC Certification Kit (for ISO 26262 and IEC 61508)를 통해 요구사항에서 모델, 코드로 이어지는 양방향 추적성 경로와 파일 정보가 표시된 추적성 매트릭스 스프레드시트를 생성할 수 있습니다.

영향 분석과 문서화를 위해 System Composer, Simulink, Stateflow, MATLAB 코드 및 테스트 아티팩트로 요구사항 추적.

영향 분석과 문서화를 위해 System Composer, Simulink, Stateflow, MATLAB 코드 및 테스트 아티팩트로 요구사항 추적.

모델 기반 설계 활동의 상태 추적

구현 및 검증 상태 보기

Simulink Requirements는 구현의 미비점, 누락된 요구사항 또는 설계의 오류를 식별할 수 있도록 요구사항의 구현 및 검증 상태를 보여줍니다. 구현 및 검증 메트릭은 설계에서 구현된 요구사항 및 테스트 케이스와 관련된 요구사항의 비율과 통과된 테스트 케이스의 비율을 수량화해서 보여줍니다.

요구사항 커버리지 메트릭은 요구사항 브라우저의 열에 표시되며, 상태는 색으로 표시됩니다. 자식 요구사항을 갖는 요구사항은 모든 자식 요구사항이 구현 또는 검증될 때까지 완전히 구현 또는 검증되지 않습니다. 상태로 마우스를 가져가면 요구사항과 해당 자식 요구사항에 대한 누적 메트릭이 표시됩니다. 상태에 링크가 없는 경우 이는 완료해야 할 구현 또는 검증 위치를 나타냅니다.

정당성은 모델에서 구현 또는 검증되지 않은 요구사항과 연결될 수 있습니다. 예를 들어 비기능성 요구사항은 정당성으로 연결하여 상태에서 필터링할 수 있습니다. 공통으로 쓰이는 정당성의 집합은 모델 내에서 공유 및 재사용 가능합니다.

프로젝트 상태 파악을 위해 구현 및 검증 상태 보기.

프로젝트 상태 파악을 위해 구현 및 검증 상태 보기. 

요구사항 추적성 매트릭스

대규모의 요구사항, 모델 및 테스트 간의 링크를 관리할 수 있도록 추적성 매트릭스는 표 형식의 통합된 보기에 추적성을 요약하여 표시합니다. 미비점을 식별할 수 있도록 각 셀은 아티팩트 간의 링크가 있는 지점을 보여줍니다. 필터를 사용하여 보기의 범위를 조정하면 특정 관심 항목에 초점을 맞출 수 있으므로 대규모의 데이터를 관리하는 데 도움이 됩니다. 링크가 없는 항목을 강조 표시하고 요구사항이 변경된 링크를 확인하여 변경 사항의 영향을 파악할 수 있습니다. 커버리지 내 미비점을 해결하기 위해 추적성 매트릭스에서 항목 간에 링크를 직접 추가할 수 있습니다.

추적성 매트릭스로 단일 보기에서 여러 링크를 관리하고 요구사항 변경 추적하기

추적성 매트릭스로 단일 보기에서 여러 링크를 관리하고 요구사항 변경 추적하기

요구사항 리포트 생성

검토 및 문서화를 위해 링크, 변경 정보, 구현 및 검증 상태가 포함된 구성 가능한 리포트를 생성할 수 있습니다. Simulink Report Generator를 사용하면 사용자 지정 리포트를 생성할 수 있습니다.