신호 이름 전파 검사

검사 ID: mathworks.jmaab_v6.jc_0009

지침: jc_0009: 신호 이름 전파 검사

신호 선에 전파된 레이블이 있는지 검사합니다.

신호가 다음에서 출발하는 경우 신호 레이블을 명시적으로(수동으로) 입력하는 대신 소스에서 신호 레이블을 전파합니다.

중첩된 서브시스템의 Inport 블록. 그러나 중첩된 서브시스템이 라이브러리 서브시스템인 경우 라이브러리 블록을 재사용할 수 있도록 Inport 블록에서 나오는 신호에 명시적으로 레이블을 지정할 수 있습니다.
변형되지 않는 작업을 수행하는 기본 블록입니다.
서브시스템 또는 Stateflow^® Chart 블록. 하지만 연결이 라이브러리 블록 인스턴스의 출력에서 시작된 경우 라이브러리 블록의 재사용을 수용하기 위해 신호에 명시적으로 레이블을 지정할 수 있습니다.

이 검사를 사용하려면 Simulink^® Check™ 라이선스가 필요합니다.

이 검사에는 MAB 및 JMAAB 모델링 지침에 지정된 하위 ID에 해당하는 하위 검사가 포함되어 있습니다. 모델 어드바이저 구성 편집기를 사용하여 실행할 하위 ID(하나 또는 여러 개)를 지정할 수 있습니다.

참고로 NA-MAAB 및 JMAAB 모델링 표준 기관에서 사용하도록 권장하는 MAB 지침 하위 ID는 다음과 같습니다.

지침 하위 ID	상태	권장 조치
jc_0009_a: 서브시스템에 대한 신호 이름 전파 검사	이 모델에는 전파된 신호 레이블이 없는 서브시스템이 포함되어 있습니다.	신호에 대한 전파된 신호 표시 파라미터를 선택하여 신호 전파를 활성화하십시오.
jc_0009_b: 연결 블록에 대한 신호 이름 전파 검사	모델에 있는 하나 이상의 연결 블록이 소스 블록에 레이블이 있더라도 신호를 전파하지 않습니다.	신호에 대한 전파된 신호 표시 파라미터를 선택하여 신호 전파를 활성화하십시오.
jc_0009_c: 빈 신호 전파 검사	모델 내 하나 이상의 서브시스템이나 연결 블록이 전파된 빈 신호를 표시합니다.	신호에 대한 전파된 신호 표시 파라미터 선택을 해제하여 신호 전파를 비활성화하십시오.

라이브러리 모델에서는 실행되지 않습니다.
전역 설정을 고려하지 않습니다. 따라서 각 신호에 대해 신호 전파를 설정해야 합니다.
신호 전파가 누락된 신호 선을 강조 표시합니다.
마스크 처리된 서브시스템의 내용을 분석합니다. 기본적으로 입력 파라미터 Look under masks는 graphical로 설정됩니다.
라이브러리와 링크된 블록의 내용을 분석합니다. 기본적으로 입력 파라미터 Follow links는 on으로 설정됩니다.
블록 제외를 허용합니다.

이 검사는 편집 시 검사를 지원합니다.