Main Content

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

샘플 시간에 대한 안전 관련 진단 설정을 확인하세요.

검사 ID: mathworks.hism.hisl_0044

샘플 시간에 적용되고 안전에 영향을 미칠 수 있는 진단 설정에 대한 모델 구성을 확인하세요.

설명

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

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

결과 및 권장 조치

상태권장 조치
Sine Wave 블록과 같은 소스 블록이 샘플 시간(-1로 지정됨)을 상속하는 경우를 감지하기 위한 진단은 안 함 또는 경고로 설정됩니다. 소스 블록에 상속된 샘플 시간을 사용하면 소스 블록 및 이에 연결된 블록의 실행 속도를 예측할 수 없게 될 수 있습니다. 안전 관련 애플리케이션의 경우 잘못된 실행 순서를 방지하기 위해 소스 블록에 명시적인 샘플 시간이 있어야 합니다. 구성 매개변수 소스 블록이 -1 샘플 시간을 지정함:를 error로 설정합니다.
멀티태스킹 모드에서 작동하는 두 블록 간의 잘못된 데이터 전송을 감지하기 위한 진단은 안 함 또는 경고로 설정됩니다. 이러한 데이터 전송은 임베디드 실시간 코드에 사용되어서는 안 됩니다. 구성 매개변수 Multitask data transition를 error로 설정합니다.
데이터 손상이나 비결정적 동작을 일으킬 수 있는 하위 시스템을 검색하기 위한 진단은 안 함 또는 경고로 설정됩니다. 이 진단은 조건부로 실행되는 다중 속도 하위 시스템(활성화, 트리거 또는 함수 호출 하위 시스템)이 멀티태스킹 모드에서 작동하는지 여부를 감지합니다. 이러한 하위 시스템은 선점을 허용하는 실시간 환경에서 데이터를 손상시키고 예기치 않게 동작할 수 있습니다. 구성 매개변수 멀티태스크 조건부 실행 서브시스템를 error로 설정합니다.
Signal Specification 블록과 연결된 대상 블록 간의 샘플 시간 일관성을 확인하기 위한 진단은 안 함 또는 경고로 설정됩니다. 샘플 시간을 과도하게 지정하면 실행 속도를 예측할 수 없게 될 수 있습니다. 구성 매개변수 Signal Specification 블록으로 지정된 샘플 시간 적용:을 error로 설정합니다.
진단에서는 동일한 우선 순위를 갖는 태스크: 매개변수가 오류로 설정되지 않았음을 감지했습니다.구성 매개변수 동일한 우선 순위를 갖는 태스크:을 error로 설정합니다.
모델에 샘플 시간을 상속하도록 명시적으로 지정되지 않은 S 함수가 포함되어 있는지 여부를 감지하기 위한 진단은 안 함 또는 경고로 설정됩니다. 이러한 설정으로 인해 예측할 수 없는 동작이 발생할 수 있습니다. 모델 개발자는 예측 가능한 동작을 생성하도록 수정될 수 있도록 모델에 이러한 S-함수가 언제 존재하는지 알아야 합니다. 구성 매개변수 샘플 시간의 상속 가능성이 지정되지 않음:를 error로 설정합니다.

조치 결과

설정 수정을 클릭하면 샘플 시간에 적용되고 안전에 영향을 줄 수 있는 모델 진단 설정이 구성됩니다.

기능 및 제한 사항

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

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

 호환성 관련 고려 사항

R2020a에 도입됨

R2023b — 점검 분석에서 구성 매개변수 싱글태스크 데이터 전송:에 대한 점검을 제거했습니다.

참조: