Check state machine type of Stateflow charts (Stateflow 차트의 상태 머신 유형 검사)

검사 ID: mathworks.hism.hisf_0001

모델 어드바이저 구성 편집기에서 설정한 유형과 상태 머신 유형이 다른 Stateflow^® 차트를 식별합니다.

모든 Stateflow 차트의 상태 머신 유형을 입력 파라미터에 지정한 유형과 비교합니다.

Simulink^® Check™와 함께 사용 가능합니다.

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

상태	권장 조치
입력 파라미터는 `Classic`로 설정되고 모델의 차트는 다른 상태 머신 유형을 사용합니다.	각 차트에 대해 차트 속성 대화 상자에서 상태 머신 유형 ~ `Classic`를 지정합니다.
입력 파라미터는 `무어`로 설정되고 모델의 차트는 다른 상태 머신 유형을 사용합니다.	각 차트에 대해 차트 속성 대화 상자에서 상태 머신 유형 ~ `무어`를 지정합니다.
입력 파라미터는 `밀리`로 설정되고 모델의 차트는 다른 상태 머신 유형을 사용합니다.	각 차트에 대해 차트 속성 대화 상자에서 상태 머신 유형 ~ `밀리`를 지정합니다.