이 페이지는 기계 번역을 사용하여 번역되었습니다. 최신 내용을 영문으로 보려면 여기를 클릭하십시오.

Check usage of Abs blocks (Abs 블록 사용 검사)

검사 ID: mathworks.hism.hisl_0001

안전에 영향을 줄 수 있는 Math Operation 블록의 사용을 식별합니다.

설명

이 검사는 Abs 블록의 사용을 검사합니다.

Simulink® Check™와 함께 사용 가능합니다.

결과 및 권장 조치

상태권장 조치

모델 또는 서브시스템에는 다음 중 하나에서 작동하는 Absolute Value 블록이 포함되어 있습니다.

  • 부울 또는 부호 없는 입력 데이터 유형입니다. 이 조건은 모델을 통한 도달할 수 없는 시뮬레이션 경로를 초래하고 도달할 수 없는 코드를 초래할 수 있습니다.

  • 정수 오버플로 시 포화 체크 박스가 선택되지 않은 부호 있는 정수 값입니다. 부호 있는 데이터 유형의 경우 가장 큰 음수 값의 절댓값은 해당 데이터 유형으로 표현할 수 없기 때문에 문제가 됩니다. 이러한 조건은 생성된 코드에서 오버플로를 발생시킵니다.

식별된 Absolute Value 블록이 부울 또는 부호 없는 데이터 유형에서 작동하는 경우 다음 중 하나를 수행합니다.

  • Absolute Value 블록의 입력을 부호 있는 입력 유형으로 변경합니다.

  • 모델에서 Absolute Value 블록을 제거합니다.

식별된 Absolute Value 블록이 부호 있는 데이터 유형에서 작동하는 경우 Block Parameters > Signal Attributes 대화 상자에서 정수 오버플로 시 포화를 선택합니다.

기능 및 제한 사항

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

  • 라이브러리에 연결된 블록의 내용을 분석합니다.

  • 마스크 처리된 모든 서브시스템의 내용을 분석합니다.

  • 블록과 차트를 제외할 수 있습니다.

참고 항목