데이터 저장소 메모리에 대한 안전 관련 진단 설정 확인

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

검사 ID: mathworks.hism.hisl_0013

데이터 저장소 메모리에 적용되고 안전에 영향을 미칠 수 있는 진단 설정에 대한 모델 구성을 확인하세요.

설명

이 검사에서는 데이터 저장소 메모리와 관련된 모델 진단 구성 매개변수가 안전 관련 애플리케이션용 코드 생성에 최적으로 설정되어 있는지 확인합니다.

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

결과 및 권장 조치

상태	권장 조치
모델이 현재 시간 단계에서 데이터를 저장하지 않은 데이터 저장소에서 데이터를 읽으려고 시도하는지 여부를 감지하는 진단이 `모두 오류로 활성화` 이외의 값으로 설정되어 있습니다. 데이터를 쓰기 전에 읽으면 오래된 데이터나 초기화되지 않은 데이터를 사용할 수 있습니다.	구성 매개변수 대화 상자에서 쓰기 전 읽기 감지:를 설정하거나 `ReadBeforeWriteMsg` 매개변수를 `Enable all as errors`로 설정합니다.
모델이 현재 시간 단계에서 이전에 데이터를 읽은 후 데이터 저장소에 데이터를 저장하려고 시도하는지 여부를 감지하는 진단이 `모두 오류로 활성화` 이외의 값으로 설정되어 있습니다. 데이터를 읽은 후 기록하면 오래되거나 잘못된 데이터가 사용될 수 있습니다.	구성 매개변수 대화 상자에서 읽기 후 쓰기 감지:을 설정하거나 `WriteAfterReadMsg` 매개변수를 `Enable all as errors`로 설정합니다.
모델이 현재 시간 단계에서 두 번 연속으로 데이터 저장소에 데이터를 저장하려고 시도하는지 여부를 감지하는 진단이 `모두 오류로 활성화` 이외의 값으로 설정되어 있습니다. 한 시간 단계에서 데이터를 두 번 쓰면 예측할 수 없는 데이터가 발생할 수 있습니다.	구성 매개변수 대화 상자에서 쓰기 후 쓰기 감지:를 설정하거나 `WriteAfterWriteMsg` 매개변수를 `Enable all as errors`로 설정합니다.
한 작업이 다른 작업이 데이터를 쓰는 Data Store Memory 블록에서 데이터를 읽는 시기를 감지하는 진단은 `안 함` 또는 `경고`로 설정됩니다. 멀티태스킹 모드의 다양한 작업에서 데이터를 읽거나 쓰면 데이터가 손상되거나 예측할 수 없게 될 수 있습니다.	구성 매개변수 대화 상자에서 멀티태스크 데이터 저장소를 설정하거나 `MultiTaskDSMMsg` 매개변수를 `error`로 설정합니다.
진단에서는 중복된 데이터 저장소 이름: 매개변수가 `오류`로 설정되지 않았음을 감지했습니다.	구성 매개변수 대화 상자에서 중복된 데이터 저장소 이름:을 설정하거나 `UniqueDataStoreMsg` 매개변수를 `error`로 설정합니다.

조치 결과

설정 수정을 클릭하면 데이터 저장소 메모리에 적용되고 안전에 영향을 미칠 수 있는 모델 진단 설정이 구성됩니다.

기능 및 제한 사항

라이브러리 모델에서는 실행되지 않습니다.
블록이나 차트의 제외를 허용하지 않습니다.

참조:

hisl_0013: Data Store 블록 사용