Main Content

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

유형 변환을 위한 안전 관련 진단 설정 확인

검사 ID: mathworks.hism.hisl_0309

유형 변환에 적용되고 안전에 영향을 미칠 수 있는 진단 설정에 대한 모델 구성을 확인하십시오.

설명

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

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

결과 및 권장 조치

상태권장 조치
유형 변환이 안 함로 설정된 경우 Data Type Conversion 블록을 감지하는 진단입니다. Simulink 소프트웨어는 생성된 코드에서 불필요한 Data Type Conversion 블록을 제거할 수 있으며, 이로 인해 해당 코드가 없는 요구 사항이 발생할 수 있습니다. 모델 개발자가 불필요한 블록을 명시적으로 제거할 수 있도록 이러한 블록 제거를 식별해야 합니다. 불필요한 유형 변환: 구성 매개변수 또는 UnnecessaryDatatypeConvMsg 매개변수를 warning로 설정합니다.
블록 입력에서 벡터-행렬 또는 행렬-벡터 변환을 감지하는 진단은 안 함 또는 경고로 설정됩니다. Simulink 소프트웨어가 벡터 차원과 행렬 차원 사이를 자동으로 변환할 때 의도하지 않은 작업이나 예측할 수 없는 동작이 발생할 수 있습니다.벡터/행렬 블록 입력 변환: 구성 매개변수 또는 VectorMatrixConversionMsg 매개변수를 error로 설정합니다.
32비트 정수 값이 부동 소수점 값으로 변환되는 시기를 감지하는 진단은 안 함로 설정됩니다. 이러한 유형의 변환에서는 큰 정수 값의 최하위 비트가 잘려 정밀도가 떨어질 수 있습니다. 32비트 정수를 단정밀도 부동소수점으로 변환 구성 매개변수 또는 Int32ToFloatConvMsg 매개변수를 warning로 설정합니다.

조치 결과

설정 수정을 클릭하면 유형 변환에 적용되고 안전에 영향을 미칠 수 있는 모델 진단 설정이 구성됩니다.

기능 및 제한 사항

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

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

참조: