Simulink Requirements

모델, 생성된 코드 및 테스트 케이스에 대한 요구 사항을 작성, 관리 및 추적

 

Simulink Requirements™로 Simulink® 내에서 요구 사항을 작성, 분석 및 관리할 수 있습니다. 사용자 지정 특성으로 리치 텍스트 요구 사항을 작성하고, 이를 설계, 코드 및 테스트에 연결할 수 있습니다. 요구 사항은 외부에서도 가져올 수 있으며 요구 사항이 변경될 경우 자동 알림을 받을 수 있습니다. 요구 사항을 확인한 후 함께 설계하고, 끌어서 놓기로 링크를 구축하고, 다이어그램에 요구 사항 콘텐츠로 주석을 추가하고, 요구 사항 추적을 분석하고, 요구 사항, 설계, 생성된 코드 및 테스트 간 탐색하는 기능 등을 제공합니다.

Simulink Requirements는 연결된 요구 사항, 설계 또는 테스트에 변경 사항이 있는 경우 이를 표시합니다. 요구 사항의 구현 및 검증 상태를 계산하여 프로젝트의 완전성을 평가하는 데 도움이 됩니다. 산업 표준은 IEC Certification Kit(ISO 26262 및 IEC 61508) 및 DO Qualification Kit(DO-178)을 통해 지원 가능합니다.

시작하기:

Simulink에서 요구 사항 작성 및 구성

리치 텍스트를 사용하여 Simulink 내 요구 사항을 작성하고 요구 사항의 집합을 정리할 수 있습니다.

Simulink에서 요구 사항 캡처

요구 사항과 이에 대한 이유는 이미지, 번호 매기기 목록 및 글머리 기호 등을 이용한 리치 텍스트로 설명할 수 있습니다. ID, 키워드, 개정 정보 등의 추가 특성 및 주석을 통해 요구 사항을 상세하게 설명할 수 있습니다. 맞춤형 특성을 활용하여 고유의 요구 사항 데이터형으로 요구 사항을 확장할 수 있습니다.

Requirements Editor로 요구 사항을 작성, 편집 및 구성합니다.

여러 모델에 대한 모든 요구 사항 관리

Requirements Editor로 여러 모델의 모든 요구 사항을 확인, 생성 및 관리할 수 있습니다. Requirements Editor에는 다음이 포함됩니다.

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

요구 사항과 모델로 한꺼번에 작업

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

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

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

Requirements Perspective를 통해 Simulink 개발 환경에서 요구 사항을 관리할 수 있습니다.

모델 기반 시스템 공학 지원

System Composer에서 요구 사항을 아키텍처 모델 요소에 연결하고, 아키텍처의 완전성을 평가하고, 추가 요구 사항을 도출할 수 있습니다.

끌어서 놓기로 추적 기능 구축

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

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

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

변경 사항 식별 및 대응

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

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

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

개발 수명 주기 내의 다른 툴의 요구 사항도 추적할 수 있으며, 예로 코드 생성 및 테스트 툴과 요구 사항, 설계, 구현 및 테스트에 대한 양방향 탐색이 가능합니다. 요구 사항과 Simulink Test™의 테스트 케이스, 테스트 모음 및 테스트 시퀀스를 연결하고, Simulink 모델 또는 Test Manager의 링크에 액세스할 수 있습니다. Embedded Coder®HDL Coder™ 또는 Simulink PLC Coder™에서 생성된 코드는 코드 생성 보고서에서 요구 사항으로의 하이퍼링크를 생성할 수 있습니다. 이러한 링크는 코드에서 주석 레이블로 표시됩니다. 코드 생성 보고서의 하이퍼링크를 사용하면 코드에서 요구 사항으로 직접 이동할 수 있습니다.

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

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

영향 분석 및 문서화를 수행할 수 있도록 개발 수명 주기 전반의 요구 사항, Simulink 및 Stateflow 객체, 테스트 아티팩트 간 추적 기능이 제공됩니다.

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

구현 및 검증 상태 보기

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

이러한 추적 기능 및 검증 메트릭이 Model-Based Design에서 개발 활동의 완전성을 수량화합니다. 상태 메트릭은 요구 사항 브라우저의 열에 표시되며, 색은 상태를 나타냅니다. 하위(자식) 요구 사항이 있는 요구 사항은 해당 하위(자식) 요구 사항이 모두 구현 또는 검증될 때까지 완전히 구현 또는 검증되지 않습니다. 상태로 마우스를 가져가면 요구 사항과 해당 하위 요구 사항에 대한 누적 메트릭이 표시됩니다. 상태에 누적된 링크가 있는 경우 완료할 구현 또는 검증 위치를 나타냅니다.

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

구현 및 검증 상태를 보고 프로젝트 상태에 관한 인사이트를 얻을 수 있습니다.

요구 사항 보고서 생성

검토 및 문서화를 위해 링크, 변경 정보 및 구현과 검증 상태 등을 포함하는 구성 가능한 보고서를 작성할 수 있습니다. Simulink Report Generator를 통해 맞춤형 보고서를 작성할 수 있습니다.

최신 기능

추적 행렬

요구 사항, 설계 또는 테스트 간의 연결을 행렬 형식으로 검토 및 분석

외부 검증 결과

검증 상태에 외부 소스의 결과 포함

IBM Rational DOORS Next Generation 통합

DOORS Next Generation의 요구 사항 보기 및 동기화

System Composer 통합

포트 연결 지원

여러 요구 사항 및 링크 선택

편집기 다중 선택을 사용한 배치 삭제 및 링크 만들기

프로그래밍 방식 인터페이스 개선 사항

링크 만들기, 찾기 및 탐색을 위한 새로운 방법 사용

위 기능과 해당 함수에 대한 자세한 내용은 릴리스 정보를 참조하십시오.