Main Content

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

Stateflow의 안전 관련 진단 설정 확인

검사 ID: mathworks.hism.hisl_0311

Stateflow®에 대한 안전 관련 진단 설정을 확인하세요.

설명

이 검사는 모델 구성 매개변수가 안전 관련 애플리케이션의 Stateflow에 대해 최적으로 설정되었는지 확인합니다.

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

이 검사에는 Stateflow 라이센스가 필요합니다.

결과 및 권장 조치

상태권장 조치
시뮬레이션 중에 차트 구성으로 인해 원치 않는 역추적이 발생하는지 여부를 감지하는 진단은 안 함 또는 경고로 설정됩니다.

구성 매개변수 대화 상자에서 Unexpected backtracking를 설정하거나 SFUnexpectedBacktrackingDiag 매개변수를 error로 설정합니다.

차트 구성에 차트 입력 포트에 연결되는 블록이 초기화 중에 출력을 초기화하지 않는지 여부를 감지하는 진단은 안 함 또는 경고로 설정됩니다.

구성 매개변수 대화 상자에서 Invalid input data access in chart initialization을 설정하거나 SFInvalidInputDataAccessInChartInitDiag 매개변수를 error로 설정합니다.

차트에 상태 또는 교차점으로의 무조건 기본 전환이 있는지 여부를 감지하는 진단은 안 함 또는 경고로 설정됩니다.

구성 매개변수 대화 상자에서 No unconditional default transitions를 설정하거나 SFNoUnconditionalDefaultTransitionDiag 매개변수를 error로 설정합니다.

차트에 상위 상태 또는 연결점 외부에서 루프하는 전환이 포함되어 있는지 여부를 감지하는 진단은 안 함 또는 경고로 설정됩니다.

구성 매개변수 대화 상자에서 Transition outside natural parent를 설정하거나 SFTransitionOutsideNaturalParentDiag 매개변수를 error로 설정합니다.

유효한 실행 경로에 차트가 생성되었는지 여부를 감지하는 진단은 안 함 또는 경고로 설정됩니다.

구성 매개변수 대화 상자에서 Unreachable execution path를 설정하거나 SFUnreachableExecutionPathDiag 매개변수를 error로 설정합니다.

진단에서는 무방향 이벤트 브로드캐스트: 매개변수가 안 함 또는 경고로 설정되어 있음을 감지합니다.구성 매개변수 대화 상자에서 무방향 이벤트 브로드캐스트:를 설정하거나 SFUndirectedBroadcastEventsDiag 매개변수를 error로 설정합니다.
진단에서는 조건 동작 전의 천이 동작이 지정됨: 매개변수가 안 함 또는 경고로 설정되어 있음을 감지합니다.구성 매개변수 대화 상자에서 조건 동작 전의 천이 동작이 지정됨:을 설정하거나 SFTransitionActionBeforeConditionDiag 매개변수를 error로 설정합니다.
매개변수 무어 차트에서 출력에 대한 쓰기 전 읽기:가 안 함 또는 경고로 설정되어 있음을 감지하는 진단입니다. 구성 매개변수 대화 상자에서 무어 차트에서 출력에 대한 쓰기 전 읽기:를 설정하거나 SFOutputUsedAsStateInMooreChartDiag 매개변수를 error로 설정합니다.
진단에서는 샘플링 주기보다 짧은 절대시간 시간 값: 매개변수가 안 함 또는 경고로 설정되어 있음을 감지합니다.구성 매개변수 대화 상자에서 샘플링 주기보다 짧은 절대시간 시간 값:를 설정하거나 SFTemporalDelaySmallerThanSampleTimeDiag 매개변수를 error로 설정합니다.
진단에서는 Self transition on leaf state 매개변수가 안 함 또는 경고로 설정되어 있음을 감지합니다.구성 매개변수 대화 상자에서 Self transition on leaf state를 설정하거나 SFSelfTransitionDiag 매개변수를 error로 설정합니다.
진단에서는 입력 이벤트가 존재하는 상태에서 ''Execute-at-initialization''이 비활성화됨: 매개변수가 안 함 또는 경고로 설정되어 있음을 감지합니다.구성 매개변수 대화 상자에서 입력 이벤트가 존재하는 상태에서 ''Execute-at-initialization''이 비활성화됨:를 설정하거나 SFExecutionAtInitializationDiag 매개변수를 error로 설정합니다.

조치 결과

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

기능 및 제한 사항

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

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

참조: