주요 콘텐츠

0이 아닌 편향이 있는 고정소수점 데이터형 사용 검사

검사 ID: mathworks.jmaab.jc_0643

지침: jc_0643: 고정소수점 설정

설명

고정소수점 출력 신호 데이터형과 0이 아닌 편향이 있는 블록을 식별합니다.

출력 신호에 고정소수점 데이터형이 있는 블록의 경우 블록 파라미터 편향0으로 설정되어 있는지 검사합니다.

편집 시,

  • 사전 컴파일하는 동안, 명시적으로 정의된 데이터형이 있는 블록에 즉시 플래그를 지정합니다.

  • 컴파일 후, 상속된 데이터형이 있는 블록에 플래그를 지정합니다.

모델 어드바이저를 실행하면 지침을 위반하는 모든 블록을 플래그로 표시합니다.

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

파라미터화 검사

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

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

  • NA-MAAB — 권장 사항 없음

  • JMAAB — a

결과 및 권장 조치

상태권장 조치

데이터형 도우미에서 모드고정소수점으로 설정되었지만 편향 값이 0이 아닙니다.

블록 파라미터 편향0으로 변경하십시오.

기능 및 제한 사항

  • 라이브러리 모델에서는 실행되지 않습니다.

  • 제외하는 기능을 지원합니다.

  • 라이브러리와 링크된 블록의 내용을 분석합니다. 기본적으로 입력 파라미터 Follow linkson으로 설정됩니다.

  • 마스크 처리된 서브시스템의 내용을 분석합니다. 기본적으로 입력 파라미터 Look under masksgraphical로 설정됩니다.

  • 고정소수점 데이터형 신호의 경우 데이터형이 명시적으로 정의되면 바이어스가 자동으로 0으로 설정됩니다. 그러나 이 수정 사항은 수동 조정을 통해 규정 준수를 보장해야 하는 전파된 데이터형의 신호에는 적용되지 않습니다.

편집 시 검사

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