Main Content

이 페이지는 기계 번역을 사용하여 번역되었습니다. 영어 원문을 보려면 여기를 클릭하십시오.

요구사항과 연결되지 않은 모델 요소를 확인하세요.

검사 ID: mathworks.hism.hisl_0070

Simulink® 또는 System Composer™ 모델 요소가 요구 사항 문서에 연결되어 있는지 확인하세요.

설명

이 검사는 모델 요소 또는 모델 요소 그룹이 추적성에 대한 엔지니어링 요구 사항이 포함된 문서에 연결되어 있는지 확인합니다.

또한 이 검사에서는 각 구성 요소가 최대 고유 요구 사항 링크 수를 준수하는지, 연결된 각 구성 요소가 최대 하위 개체 수를 준수하는지 확인합니다.

  • 구성요소 — 구성요소는 모델 요소의 그룹입니다. 구성 요소는 다음과 같이 더 자세히 정의할 수 있습니다.

    • Simulink에서 구성 요소는 최상위 블록 다이어그램, 하위 시스템, MATLAB 함수 또는 영역 주석입니다.

    • Stateflow®에서 구성 요소는 차트, 슈퍼스테이트, 상자, Simulink 함수, 그래픽 함수, Simulink 상태, MATLAB 함수 또는 진리표입니다.

    • MATLAB®에서 구성요소는 함수입니다.

    • System Composer에서 구성요소는 구성요소 블록 또는 어댑터 블록입니다.

  • 하위 개체 — 하위 개체는 다음과 같이 정의할 수 있습니다.

    • Simulink에서 하위 개체는 하위 시스템을 제외하고 요구 사항 링크가 없는 모든 모델 요소입니다.

    • Stateflow에서 하위 개체는 요구 사항 링크가 없는 상태, 상자, 그래픽 함수, 내장 MATLAB 함수, 진리표, 서브차트, 원자 서브차트입니다. Simulink 기반 상태와 Simulink 함수는 예외입니다.

    • MATLAB에서 하위 객체는 각 MATLAB 함수 내에 포함된 코드 라인입니다.

    • System Composer에서 하위 개체는 요구 사항 링크가 없는 다음과 같습니다. System Composer 구성요소 및 어댑터 블록.

Simulink Check™로 구매 가능합니다.

이 검사에는 Requirements Toolbox™ 라이센스가 필요합니다.

매개변수화 확인

Model Advisor 구성 편집기를 통해 다음 구성을 설정할 수 있습니다.

  • 검사 동작은 입력 매개변수인 "Check Behavior"를 통해 구성 요소 수준 또는 비면제 모델 요소 수준에서 요구 사항 링크를 예상하도록 설정할 수 있습니다. 기본적으로 값은 "구성 요소에 대한 요구 사항 링크만 확인(HISL_0070)"으로 설정됩니다.

  • 허용되는 요소당 최대 요구사항 링크 수는 입력 매개변수 모델 요소별 최대 요구 사항 링크 수를 통해 설정할 수 있습니다. 기본적으로 값은 5로 설정됩니다.

  • Simulink에서 허용되는 연결된 구성요소당 최대 하위 개체 수는 입력 매개변수 Simulink/System Composer에서 연결된 컴포넌트별 최대 자식 객체 수를 통해 설정할 수 있습니다. 기본적으로 값은 "100"으로 설정됩니다.

  • Stateflow에서 허용되는 연결된 구성 요소당 최대 하위 개체 수는 입력 매개 변수 Stateflow에서 연결된 컴포넌트별 최대 자식 객체 수를 통해 설정할 수 있습니다. 기본적으로 값은 "100"으로 설정됩니다.

  • 연결된 MATLAB 함수당 허용되는 최대 코드 라인 수는 입력 매개변수 연결된 MATLAB 함수별 최대 코드 라인 수를 통해 설정할 수 있습니다. 기본적으로 값은 "200"으로 설정됩니다.

  • 요구사항 링크에서 제외될 수 있는 모델 요소는 입력 매개변수 요구 사항 링크에서 제외된 모델 요소 목록를 통해 설정할 수 있습니다. 기본적으로 매개변수에는 다음 블록 목록이 포함됩니다. 요구 사항에 따라 블록을 추가하거나 제거할 수도 있습니다.

    • Ground

    • Terminator

    • Inport

    • Outport

    • InportShadow

    • Goto

    • From

    • Mux

    • Demux

    • CMBlock

    • DocBlock

    • System Requirements

결과 및 권장 조치

상태권장 조치
모델 요소 또는 모델 요소 그룹은 요구 사항 문서에 연결되지 않습니다.모델의 각 모델 요소에 대해 모델 편집기에서 모델 요소를 마우스 오른쪽 버튼으로 클릭하고 요구 사항을 선택한 후 요구 사항을 지정합니다.
모델 요소에는 설정된 임계값을 초과하는 링크 요구 사항이 있습니다.모델 요소가 요구 사항에 대한 최대 링크에 대해 설정된 임계값을 초과하지 않는지 확인하십시오.
요구 사항에 대한 링크가 있는 모델의 구성 요소가 하위 개체 수에 대한 임계값을 초과합니다.요구 사항에 대한 링크가 있는 구성 요소가 하위 개체 수에 대한 임계값을 초과하지 않는지 확인하십시오.

기능 및 제한 사항

  • 라이브러리 모델에서 실행됩니다.

  • 라이브러리 링크 블록의 내용을 분석합니다. 기본적으로 입력 매개변수 Follow links는 켜기로 설정됩니다.

  • 작업 공간이나 대화 상자가 없는 마스크된 하위 시스템의 콘텐츠를 분석합니다. 기본적으로 입력 매개변수 Look under masks는 모든로 설정됩니다.

  • 블록 및 차트를 제외할 수 있습니다.

  • Stateflow 요소 제외를 허용하지 않습니다.

  • 이 검사는 MATLAB 함수 헤더 또는 전체 MATLAB 함수 본문에만 추가된 요구 사항을 확인합니다.

  • 점검 보고서는 추적 가능성 매트릭스를 열기 위한 권장 조치 탭의 링크를 제공합니다.

팁

확인하려는 최상위 모델 또는 하위 시스템에서 이 확인을 실행하세요.

참조: