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

모델 초기화를 위한 안전 관련 진단 설정 확인

검사 ID: mathworks.hism.hisl_0304

모델 구성에서 모델 초기화에 영향을 미치고 안전에 영향을 줄 수 있는 진단 설정을 확인하세요.

설명

이 검사는 초기화를 위한 모델 진단 구성 매개변수가 안전 관련 애플리케이션을 위한 코드를 생성하도록 최적으로 설정되었는지 확인합니다.

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

결과 및 권장 조치

상태	권장 조치
구성 매개변수 대화 상자에서 Underspecified initialization detection 진단은 Classic로 설정되어 Simulink의 이전 릴리스와의 호환성을 보장합니다. Check undefined subsystem initial output 진단이 지워졌습니다. 이 진단은 지정된 초기 조건이 있는 블록이 정의되지 않은 초기 조건이 있는 Outport 블록을 구동하는 조건부 실행 서브시스템이 모델에 포함된 경우 Simulink에서 경고를 표시할지 여부를 지정합니다. 조건부로 실행되는 하위 시스템에는 초기화되지 않은 출력이 있을 수 있습니다. 감지되지 않은 경우 이 조건은 비결정적 동작을 생성할 수 있습니다.	다음 중 하나를 수행하십시오. 구성 매개변수 대화 상자에서 과소 지정된 초기화 감지:를 Simplified로 설정합니다. 구성 매개변수 대화 상자에서 과소 지정된 초기화 감지:를 Classic로 설정하고 정의되지 않은 서브시스템 초기 출력 확인을 선택합니다. 매개변수 CheckSSInitialOutputMsg를 on로 설정합니다.
구성 매개변수 대화 상자에서 Underspecified initialization detection 진단은 Classic로 설정되어 Simulink의 이전 릴리스와의 호환성을 보장합니다. 이 진단은 이전 릴리스와의 잠재적인 초기 출력 차이를 감지합니다. 조건부로 실행되는 하위 시스템에는 초기화되지 않은 출력이 있을 수 있습니다. 감지되지 않은 경우 이 조건은 비결정적 동작을 생성할 수 있습니다.	다음 중 하나를 수행하십시오. 구성 매개변수 대화 상자에서 과소 지정된 초기화 감지:를 Simplified로 설정합니다. 구성 매개변수 대화 상자에서 과소 지정된 초기화 감지:를 Classic로 설정합니다. 매개변수 CheckExecutionContextPreStartOutputMsg를 on로 설정합니다.

조치 결과

모델 초기화 및 안전에 영향을 미칠 수 있는 진단 설정을 구성하려면 설정 수정를 클릭합니다.

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

기능 및 제한 사항

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

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

참조:

• hisl_0304: Configuration Parameters > Diagnostics > Data Validity > Model initialization