데이터 초기화를 위한 안전 관련 최적화 설정 확인

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

검사 ID: mathworks.hism.hisl_0052

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

설명

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

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

결과 및 권장 조치

상태 권장 조치

0으로 설정된 루트 수준 입력 및 출력 포트에 대한 초기화 코드 생성을 억제하는 최적화가 선택됩니다. 안전 관련 코드의 경우 모든 변수를 명시적으로 초기화해야 합니다. Embedded Coder^® 라이센스가 있고 ERT 기반 시스템 대상 파일을 사용하는 경우 구성 매개변수 루트 수준 I/O 영(0) 초기화 제거 (Embedded Coder)을 지우거나 매개변수 ZeroExternalMemoryAtStartup를 on로 설정합니다. 또는 대부분의 최신 C 컴파일러가 전역 데이터를 0으로 초기화하므로 컴파일러가 표준을 준수하는지 확인하세요. 또는 모든 I/O 변수를 명시적으로 0으로 초기화하는 외부의 손으로 작성한 코드를 통합하십시오.

0으로 설정된 블록 상태 및 블록 출력과 같은 내부 작업 구조에 대한 초기화 코드 생성을 억제하는 최적화가 선택됩니다. 안전 관련 코드의 경우 모든 변수를 명시적으로 초기화해야 합니다. Embedded Coder 라이센스가 있고 ERT 기반 시스템 대상 파일을 사용하는 경우 구성 매개변수 내부 데이터 영(0) 초기화 제거 (Embedded Coder)을 지우거나 매개변수 ZeroInternalMemoryAtStartup를 on로 설정합니다. 또는 대부분의 최신 C 컴파일러가 전역 데이터를 0으로 초기화하므로 컴파일러가 표준을 준수하는지 확인하세요. 또는 모든 상태 변수를 명시적으로 0으로 초기화하는 외부 수동 작성 코드를 통합하세요.

상태	권장 조치
0으로 설정된 루트 수준 입력 및 출력 포트에 대한 초기화 코드 생성을 억제하는 최적화가 선택됩니다. 안전 관련 코드의 경우 모든 변수를 명시적으로 초기화해야 합니다.	Embedded Coder^® 라이센스가 있고 ERT 기반 시스템 대상 파일을 사용하는 경우 구성 매개변수 루트 수준 I/O 영(0) 초기화 제거 (Embedded Coder)을 지우거나 매개변수 `ZeroExternalMemoryAtStartup`를 `on`로 설정합니다. 또는 대부분의 최신 C 컴파일러가 전역 데이터를 0으로 초기화하므로 컴파일러가 표준을 준수하는지 확인하세요. 또는 모든 I/O 변수를 명시적으로 0으로 초기화하는 외부의 손으로 작성한 코드를 통합하십시오.
0으로 설정된 블록 상태 및 블록 출력과 같은 내부 작업 구조에 대한 초기화 코드 생성을 억제하는 최적화가 선택됩니다. 안전 관련 코드의 경우 모든 변수를 명시적으로 초기화해야 합니다.	Embedded Coder 라이센스가 있고 ERT 기반 시스템 대상 파일을 사용하는 경우 구성 매개변수 내부 데이터 영(0) 초기화 제거 (Embedded Coder)을 지우거나 매개변수 `ZeroInternalMemoryAtStartup`를 `on`로 설정합니다. 또는 대부분의 최신 C 컴파일러가 전역 데이터를 0으로 초기화하므로 컴파일러가 표준을 준수하는지 확인하세요. 또는 모든 상태 변수를 명시적으로 0으로 초기화하는 외부 수동 작성 코드를 통합하세요.

조치 결과

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

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

기능 및 제한 사항

라이브러리 모델에서는 실행되지 않습니다.
블록이나 차트의 제외를 허용하지 않습니다.
Embedded Coder이 없는 보고서에서는 매개변수 이름을 강조 표시하지 않습니다.