Check signal name propagation (신호 이름 전파 검사)

검사 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: Check Signal name propagation for subsystems (jc_0009_a: 서브시스템에 대한 신호 이름 전파 검사)	이 모델에는 전파된 신호 레이블이 없는 서브시스템이 포함되어 있습니다.	신호에 대한 전파된 신호 표시 파라미터를 선택하여 신호 전파를 활성화합니다.
jc_0009_b: Check signal name propagation for connection blocks (jc_0009_b: 연결 블록에 대한 신호 이름 전파 검사)	모델에 있는 하나 이상의 연결 블록이 소스 블록에 레이블이 있더라도 신호를 전파하지 않습니다.	신호에 대한 전파된 신호 표시 파라미터를 선택하여 신호 전파를 활성화합니다.
jc_0009_c: Check for empty signal propagation (jc_0009_c: 빈 신호 전파 검사)	모델 내 하나 이상의 서브시스템이나 연결 블록이 전파된 빈 신호를 표시합니다.	신호에 대한 전파된 신호 표시 파라미터 선택을 해제하여 신호 전파를 비활성화합니다.

이 검사는 편집 시 검사로 지원됩니다.