주요 특징

  • Requirements Editor-요구 사항 작성, 편집 및 구성
  • Requirements Perspective-Simulink® 그래픽 편집기에서 요구 사항 확인, 연결 및 관리
  • 타사 툴(Microsoft® Word®, Microsoft® Excel® 등)에서 요구 사항 가져오기 및 동기화
  • 변경 추적 및 비교를 통해 요구 사항 변경을 자동으로 식별 및 관리
  • 통합 상태 메트릭으로 요구 사항 구현 및 검증
  • 보고서에서 요구 사항 특성, 추적가능성 및 상태 기록
  • 요구 사항, 설계, 코드 생성 및 테스트 간 양방향 추적 기능

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

Simulink Requirements™로 Model-Based Design 환경의 요구 사항 작업을 위해 쉽게 설계, 코드생성 및 테스트 관련 요구 사항의 양방향 추적성을 지원합니다. 요구 사항과 그 이유는 이미지, 번호순 목록 및 글머리 기호 등을 포함한 서식있는 텍스트로 설명됩니다. ID, 키워드, 개정 정보 및 의견 등의 추가 특성으로 요구 사항을 상세하게 수정할 수 있습니다. 맞춤형 특성을 활용하여 고유의 요구 사항 데이터형으로 요구 사항을 확장할 수 있습니다.

Requirements Editor로 다수의 모델에서 모든 요구 사항을 확인, 생성 및 관리할 수 있습니다. 여기에는

  • 요구 사항 브라우저로 요구 사항의 계층 구조 구성
  • 링크 보기로 프로젝트 전반의 링크 관리
  • Property Inspector로 요구 사항과 링크의 세부 정보 확인 및 수정
  • 사용자 정의 요구 사항 나열 및 분류
  • 검색 툴로 대규모 요구 사항 집합 필터링
  • 보고서 생성을 통한 요구 사항 기록 기능이 포함됩니다.

요구 사항 브라우저가 해당 모델과 관련된 요구 사항을 테이블 형식으로 보여줍니다. 특성, 구현 상태 및 검증 상태 등의 요구 사항 정보를 간략하게 볼 수 있습니다. 요구 사항 집합 기능을 사용하여 다양한 수준의 요구 사항을 계층 구조에 따라 구성할 수 있습니다. 예를 들어 한 요구 사항 집합에 하이 레벨 사용자 요구 사항이 포함되고, 다른 요구 사항 집합에 소프트웨어 요구 사항이 포함될 수 있습니다. 요구 사항 집합은 별도의 파일로 저장되며, Simulink Projects를 사용하여 파일 버전을 관리할 수 있습니다. 링크는 별도의 파일로 저장되어 출처 또는 대상을 수정하지 않고도 요구 사항, 설계 및 테스트 간 추적 기능을 구축할 수 있습니다.

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


요구 사항 및 모델 작업

Requirements Perspective가 제공하는 단일 보기로 요구 사항을 확인, 작성 및 구성하는 동시에 Simulink 또는 Stateflow®에서 설계 활동을 할 수 있습니다. Perspective에는

  • Embedded Requirements 브라우저로 모델과 관련된 요구 사항 보기
  • Requirements Property Inspector로 요구 사항 또는 링크의 세부 정보 확인 및 수정
  • 요구 사항 링크의 블록 또는 상태 표시기
  • 요구 사항 주석으로 다이어그램에 요구 사항 세부 정보 표시 기능이 포함됩니다.

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


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

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

Requirements Perspective를 사용하면 Simulink 또는 Stateflow 내에서 요구 사항을 보고, 편집하고, 연결하고, 구성할 수 있습니다.

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

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

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

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


설계, 코드 생성 및 테스트를 위한 요구 사항 추적

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

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

영향 분석 및 문서화를 위해 개발 라이프사이클 전반의 요구 사항, Simulink 및 Stateflow 객체, 테스트 산출물간 추적 기능이 제공됩니다.


Model-Based Design 활동 상태 추적


구현 및 검증 상태 보기

Simulink Requirements는 구현의 격차, 누락된 요구 사항 또는 설계 오류 등을 파악하도록 Simulink 내 요구 사항의 구현 및 검증 상태를 제공합니다. 구현 및 검증 메트릭이 설계에서 구현된 요구 사항 및 테스트 케이스와 관련된 요구 사항의 비율과 통관된 테스트 케이스의 비율을 수량화합니다.

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

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

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


변경 사항 식별 및 대응

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


요구 사항 보고서 생성

Requirements Editor에서 생성된 보고서로 요구 사항을 기록할 수 있습니다. 보고서의 내용에 요구 사항 세부 정보(이유, 키워드, 사용자 정의 특성, 개정 정보, 링크, 의견, 구현 및 검증 상태 등)를 포함할 수 있습니다. Simulink Report Generator™를 사용하여 요구 사항, 설계 및 테스트가 포함된 사용자 정의 보고서를 생성할 수 있습니다.