Main Content

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

신호 데이터에 대한 안전 관련 진단 설정 확인

검사 ID: mathworks.hism.hisl_0314

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

설명

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

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

결과 및 권장 조치

상태권장 조치
Simulink 소프트웨어가 Simulink.Signal 객체와 연관된 신호를 해결하는 방법을 지정하는 진단은 명시적 및 묵시적 또는 명시적 및 묵시적(경고 표시)로 설정됩니다. 안전 관련 애플리케이션의 경우 모델 개발자는 신호 분해능을 명시적으로 정의해야 합니다. (DO-331, 섹션 MB.6.3.3.b 참조 – 소프트웨어 아키텍처는 일관성이 있습니다.)

구성 매개변수 대화 상자의 진단 > 데이터 유효성 창에서 신호 연결 맺기를 설정하거나 SignalResolutionControl 매개변수를 Explicit only로 설정합니다. 이는 사용자가 작업 공간에서 Simulink.Signal 개체로 해석되어야 하는 각 신호 및 블록 설정을 정의하도록 요구함으로써 예측 가능한 작업을 제공합니다.

또는 Simulink.Signal 개체의 사용을 비활성화하려면 구성 매개변수를 None로 설정합니다.

행렬 곱셈 모드에서 입력 중 하나를 반전시키면서 특이 행렬을 감지하는 Product 블록 진단은 안 함 또는 경고로 설정됩니다. 특이 행렬로 나누면 생성된 코드를 실행할 때 숫자 예외가 발생할 수 있습니다. 이는 안전 관련 시스템에서는 허용되지 않습니다. (DO-331, 섹션 MB.6.3.1.g – 알고리즘이 정확함, DO-331, 섹션 MB.6.3.2.g – 알고리즘이 정확함, MISRA C:2012, Dir 4.1 참조)구성 매개변수 대화 상자의 진단 > 데이터 유효성 창에서 특이 행렬로 나누기:을 설정하거나 CheckMatrixSingularityMsg 매개변수를 error로 설정합니다.
Simulink 소프트웨어가 데이터 유형 전파 중에 신호의 데이터 유형을 추론할 수 없는 경우를 감지하는 진단은 안 함 또는 경고로 설정됩니다. 안전 관련 애플리케이션의 경우 모델 개발자는 신호의 데이터 유형을 확인해야 합니다. (DO-331, 섹션 MB.6.3.1.e – 상위 수준 요구 사항은 표준을 준수하고 DO-331, 섹션 MB.6.3.2.e – 하위 수준 요구 사항은 표준을 준수합니다.)구성 매개변수 대화 상자의 진단 > 데이터 유효성 창에서 과소 지정된 데이터형:을 설정하거나 UnderSpecifiedDataTypeMsg 매개변수를 error로 설정합니다.
신호의 값이 신호 데이터 유형으로 표현하기에는 너무 큰지 여부를 감지하는 진단은 안 함 또는 경고로 설정됩니다. 감지되지 않은 숫자 오버플로로 인해 예상치 못한 애플리케이션 동작이 발생할 수 있습니다. (DO-331, 섹션 MB.6.3.1.g – 알고리즘이 정확함, DO-331, 섹션 MB.6.3.2.g – 알고리즘이 정확함, MISRA C:2012, Dir 4.1 참조)구성 매개변수 대화 상자의 진단 > 데이터 유효성 창에서 오버플로 시 래핑:를 설정하거나 IntegerOverflowMsg 매개변수를 error로 설정합니다.
신호의 값이 신호 데이터 유형으로 표현하기에는 너무 커서 포화 상태가 발생하는지 여부를 감지하는 진단은 안 함 또는 경고로 설정됩니다. 감지되지 않은 숫자 오버플로로 인해 예상치 못한 애플리케이션 동작이 발생할 수 있습니다. (DO-331, 섹션 MB.6.3.1.g – 알고리즘이 정확함, DO-331, 섹션 MB.6.3.2.g – 알고리즘이 정확함, MISRA C:2012, Dir 4.1 참조)구성 매개변수 대화 상자의 진단 > 데이터 유효성 창에서 오버플로 시 포화:를 설정하거나 IntegerSaturationMsg 매개변수를 error로 설정합니다.
현재 시간 단계에서 블록 출력 신호의 값이 Inf 또는 NaN일 때를 감지하는 진단은 안 함 또는 경고로 설정됩니다. 이러한 유형의 블록 출력 신호 조건이 발생하면 숫자 예외가 발생할 수 있으며 안전 관련 애플리케이션에서는 숫자 예외가 허용되지 않습니다. (DO-331, 섹션 MB.6.3.1.g – 알고리즘이 정확함, DO-331, 섹션 MB.6.3.2.g – 알고리즘이 정확함, MISRA C:2012, Dir 4.1 참조)구성 매개변수 대화 상자의 진단 > 데이터 유효성 창에서 Inf 또는 NaN 블록 출력:를 설정하거나 SignalInfNanChecking 매개변수를 error로 설정합니다.
rt로 시작하는 Simulink 개체 이름을 탐지하는 진단은 안 함 또는 경고로 설정됩니다. 이 진단은 rt 접두사가 있는 생성된 신호 이름과 이름 충돌을 방지합니다. (DO-331, 섹션 MB.6.3.1.e – 상위 수준 요구 사항은 표준을 준수하고 DO-331, 섹션 MB.6.3.2.e – 하위 수준 요구 사항은 표준을 준수합니다.)구성 매개변수 대화 상자의 진단 > 데이터 유효성 창에서 식별자의 "rt" 접두사:을 설정하거나 RTPrefix 매개변수를 error로 설정합니다.
시뮬레이션 범위 확인을 감지하는 진단은 안 함 또는 경고로 설정됩니다. 이 진단은 시뮬레이션 중에 신호가 지정된 범위를 초과하는 경우를 감지합니다. Simulink은 블록이 출력하는 신호 값을 지정된 범위 및 블록 데이터 유형과 비교합니다. (DO-331, 섹션 MB.6.3.1.g – 알고리즘이 정확함, DO-331, 섹션 MB.6.3.2.g – 알고리즘이 정확함, MISRA C:2012, Dir 4.1 참조)구성 매개변수 대화 상자의 진단 > 데이터 유효성 창에서 시뮬레이션 범위 검사을 설정하거나 SignalRangeChecking 매개변수를 error로 설정합니다.

조치 결과

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

기능 및 제한 사항

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

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

참조: