Check type setting by data objects (데이터 객체별 유형 설정 검사)

검사 ID: mathworks.jmaab_v6.jc_0644

지침: jc_0644: 유형 설정

신호 객체가 사용되는 경우 유형 설정을 위반하는 Simulink^® 블록을 식별합니다(신호 객체에 신호 데이터 유형이 설정된 경우 블록 측에서는 설정해서는 안 됩니다).

이 검사는 다음을 제외합니다.

데이터 유형 변환 블록.
fixdt를 사용하여 유형 설정을 합니다.
Double 및 Boolean 유형.
함수의 재사용 가능한 내부 부분(Atomic Subsystem).
블록 출력 데이터 유형이 역전파를 통해 상속로 설정되었습니다.
기본적으로 데이터 유형이 설정된 블록입니다. 예를 들어, Logical Operator 블록의 기본 출력 데이터형는 boolean로 설정됩니다.

이 검사에는 Simulink Check™ 라이선스가 필요합니다.

MAB 모델링 지침은 하위 ID를 하나만 제공하기 때문에 이 검사에는 하위 검사가 포함되지 않습니다.

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

상태	권장 조치
신호 데이터 유형은 신호 객체와 블록에서 서로 다른 유형으로 설정됩니다.	블록의 출력 데이터 유형을 자동 또는 역전파를 통해 상속로 설정합니다.