Main Content

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

지정된 최소값과 최대값에 대한 안전 관련 최적화 설정을 확인하세요.

검사 ID: mathworks.hism.hisl_0056

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

설명

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

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

결과 및 권장 조치

상태권장 조치
생성된 코드를 최적화하기 위해 신호 및 매개변수에 대해 지정된 최소값과 최대값을 사용하는 최적화가 선택됩니다. 이로 인해 추적 가능한 코드가 없는 요구 사항이 발생할 수 있습니다. (DO-331 섹션 MB.6.3.4.e 참조 - 소스 코드는 하위 수준 요구 사항까지 추적 가능합니다.)Embedded Coder® 라이센스가 있고 ERT 기반 시스템 대상 파일을 사용하는 경우 구성 매개변수 지정된 최솟값 및 최댓값을 사용하여 최적화 (Embedded Coder) 또는 매개변수 UseSpecifiedMinMax ~ off를 지우십시오.

조치 결과

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

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

기능 및 제한 사항

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

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

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

참조: