0이 아닌 편향이 있는 고정소수점 데이터형 사용 검사
검사 ID: mathworks.jmaab.jc_0643
지침: jc_0643: 고정소수점 설정
설명
고정소수점 출력 신호 데이터형과 0이 아닌 편향이 있는 블록을 식별합니다.
출력 신호에 고정소수점 데이터형이 있는 블록의 경우 블록 파라미터 편향이 0으로 설정되어 있는지 검사합니다.
편집 시,
사전 컴파일하는 동안, 명시적으로 정의된 데이터형이 있는 블록에 즉시 플래그를 지정합니다.
컴파일 후, 상속된 데이터형이 있는 블록에 플래그를 지정합니다.
모델 어드바이저를 실행하면 지침을 위반하는 모든 블록을 플래그로 표시합니다.
이 검사를 사용하려면 Simulink® Check™ 라이선스가 필요합니다.
파라미터화 검사
MAB 모델링 지침은 하위 ID를 하나만 제공하기 때문에 이 검사에는 하위 검사가 포함되지 않습니다.
참고로 NA-MAAB 및 JMAAB 모델링 표준 기관에서 사용하도록 권장하는 MAB 지침 하위 ID는 다음과 같습니다.
NA-MAAB — 권장 사항 없음
JMAAB — a
결과 및 권장 조치
| 상태 | 권장 조치 |
|---|---|
데이터형 도우미에서 모드는 | 블록 파라미터 편향을 0으로 변경하십시오. |
기능 및 제한 사항
라이브러리 모델에서는 실행되지 않습니다.
제외하는 기능을 지원합니다.
라이브러리와 링크된 블록의 내용을 분석합니다. 기본적으로 입력 파라미터 Follow links는
on으로 설정됩니다.마스크 처리된 서브시스템의 내용을 분석합니다. 기본적으로 입력 파라미터 Look under masks는
graphical로 설정됩니다.고정소수점 데이터형 신호의 경우 데이터형이 명시적으로 정의되면 바이어스가 자동으로 0으로 설정됩니다. 그러나 이 수정 사항은 수동 조정을 통해 규정 준수를 보장해야 하는 전파된 데이터형의 신호에는 적용되지 않습니다.
편집 시 검사
이 검사는 편집 시 검사를 지원합니다.