Main Content

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

매개변수에 대한 안전 관련 진단 설정을 확인하세요.

검사 ID: mathworks.hism.hisl_0302

매개변수에 적용되고 안전에 영향을 미칠 수 있는 진단 설정에 대한 모델 구성을 확인하세요.

설명

이 검사는 매개변수와 관련된 모델 진단 구성 매개변수가 안전 관련 애플리케이션용 코드 생성에 최적으로 설정되었는지 확인합니다.

Simulink® Check™로 구매 가능합니다.

결과 및 권장 조치

상태권장 조치
매개변수 다운캐스트가 발생하는 시기를 감지하는 진단은 안 함 또는 경고로 설정됩니다. 더 낮은 신호 범위로 다운캐스트하면 매개변수의 숫자 오버플로가 발생하여 예상치 못한 동작이 발생할 수 있습니다. 구성 매개변수 대화 상자의 진단 > 데이터 유효성 창에서 내림 형변환 감지을 설정하거나 ParameterDowncastMsg 매개변수를 error로 설정합니다.
매개변수 언더플로우 발생 시기를 감지하는 진단은 안 함 또는 경고로 설정됩니다. 매개변수의 데이터 유형이 충분한 분해능을 갖지 않는 경우 매개변수 값은 지정된 값 대신 0입니다. 이로 인해 생성된 코드가 잘못 작동할 수 있습니다. 구성 매개변수 대화 상자의 진단 > 데이터 유효성 창에서 언더플로 감지를 설정하거나 ParameterUnderflowMsg 매개변수를 error로 설정합니다.
매개변수 오버플로가 발생할 때 이를 감지하는 진단은 안 함 또는 경고로 설정됩니다. 숫자 오버플로로 인해 예기치 않은 애플리케이션 동작이 발생할 수 있으므로 안전 관련 애플리케이션에서 이를 감지하고 수정해야 합니다. 구성 매개변수 대화 상자의 진단 > 데이터 유효성 창에서 오버플로 감지을 설정하거나 ParameterOverflowMsg 매개변수를 error로 설정합니다.
매개변수의 정밀도가 손실되는 시기를 감지하는 진단은 안 함 또는 경고로 설정됩니다. 이러한 오류를 감지하지 못하면 생성된 코드에서 매개변수가 잘못된 값으로 설정될 수 있습니다. 구성 매개변수 대화 상자의 진단 > 데이터 유효성 창에서 정밀도 손실 감지를 설정하거나 ParameterPrecisionLossMsg 매개변수를 error로 설정합니다.
조정 가능 변수가 있는 표현식이 해당 수치로 축소되는 경우를 감지하는 진단은 안 함 또는 경고로 설정됩니다. 이로 인해 생성된 코드에서 조정 가능 매개변수가 예기치 않게 조정 가능하지 않게 될 수 있습니다.구성 매개변수 대화 상자의 진단 > 데이터 유효성 창에서 조정 가능성 손실 감지를 설정하거나 ParameterTunabilityLossMsg 매개변수를 error로 설정합니다.

조치 결과

설정 수정을 클릭하면 매개변수에 적용되고 안전에 영향을 줄 수 있는 모델 진단 설정이 구성됩니다.

기능 및 제한 사항

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

  • 블록이나 차트의 제외를 허용하지 않습니다.

참조: