Main Content

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

데이터 유형 변환에 대한 안전 관련 최적화 설정 확인

검사 ID: mathworks.hism.hisl_0053

안전에 영향을 미칠 수 있는 최적화 설정에 대한 모델 구성을 확인하세요.

설명

이 검사는 모델 최적화 구성 매개변수가 안전 관련 애플리케이션용 코드 생성에 최적으로 설정되었는지 확인합니다. 고도로 최적화된 코드는 대부분의 실시간 시스템에 바람직하지만 일부 최적화에는 안전에 영향을 미치는 바람직하지 않은 부작용이 있을 수 있습니다.

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

결과 및 권장 조치

상태권장 조치
범위를 벗어난 값을 래핑하는 부동 소수점에서 정수로의 변환으로 인해 발생하는 코드 생성을 억제하는 최적화가 지워졌습니다. 안전 관련 코드의 오버플로를 피해야 합니다. 이 최적화가 꺼져 있고 모델에 오버플로 시 포화: 매개변수를 비활성화하는 블록이 포함된 경우 코드 생성기는 해당 블록에 대해 범위를 벗어난 값을 래핑합니다. 이로 인해 도달할 수 없고 테스트할 수 없는 코드가 발생할 수 있습니다. Simulink Coder™ 라이센스가 있는 경우 구성 매개변수 범위를 벗어나는 값을 래핑시키는 코드를 부동소수점에서 정수로 변환하는 부분에서 제거 (Simulink Coder)을 선택하거나 EfficientFloat2IntCast 매개변수를 on로 설정합니다.

조치 결과

설정 수정을 클릭하면 안전에 영향을 미칠 수 있는 모델 최적화 설정이 구성됩니다.

하위 검사는 Model Advisor 창의 결과 테이블에 D로 표시된 하위 검사 결과에 따라 달라집니다.

기능 및 제한 사항

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

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

  • Embedded Coder®가 없는 보고서에서는 매개변수 이름을 강조 표시하지 않습니다.

참조: