Main Content

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

디버깅에 사용되는 데이터에 대한 안전 관련 진단 설정 확인

검사 ID: mathworks.hism.hisl_0305

디버깅에 사용되는 데이터에 적용되고 안전에 영향을 미칠 수 있는 진단 설정에 대한 모델 구성을 확인하세요.

설명

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

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

결과 및 권장 조치

상태권장 조치
모델 검증 블록을 활성화하는 진단은 로컬 설정 사용 또는 모두 활성화로 설정됩니다. 이러한 블록은 확인용으로만 사용되는 어설션 블록이므로 비활성화해야 합니다. 모델 개발자는 포함된 코드에서 어설션을 사용해서는 안 됩니다. 구성 매개변수 대화 상자에서 Model Verification 블록 활성화:를 설정하거나 AssertControl 매개변수를 Disable All로 설정합니다.

조치 결과

설정 수정을 클릭하면 디버깅에 사용되는 데이터에 적용되고 안전에 영향을 줄 수 있는 모델 진단 설정이 구성됩니다.

기능 및 제한 사항

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

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

참조: