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

Stateflow 차트의 상태 머신 유형 확인

검사 ID: mathworks.hism.hisf_0001

상태 머신 유형이 Model Advisor 구성 편집기에 설정된 유형과 다른 Stateflow^® 차트를 식별합니다.

설명

모든 Stateflow 차트의 상태 머신 유형을 입력 매개변수에 지정하는 유형과 비교합니다.

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

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

입력 매개변수

기본

모든 차트가 클래식 차트인지 확인하세요.

밀리

모든 차트가 Mealy 차트인지 확인합니다.

무어

모든 차트가 무어 차트인지 확인하세요.

결과 및 권장 조치

상태	권장 조치
입력 매개변수는 기본로 설정되고 모델의 차트는 다른 상태 머신 유형을 사용합니다.	각 차트에 대해 차트 속성 대화 상자에서 상태 머신 유형~기본를 지정합니다.
입력 매개변수는 무어로 설정되고 모델의 차트는 다른 상태 머신 유형을 사용합니다.	각 차트에 대해 차트 속성 대화 상자에서 상태 머신 유형 ~ 무어를 지정합니다.
입력 매개변수는 밀리로 설정되고 모델의 차트는 다른 상태 머신 유형을 사용합니다.	각 차트에 대해 차트 속성 대화 상자에서 상태 머신 유형~밀리를 지정합니다.

기능 및 제한 사항

• 라이브러리 모델에서 실행됩니다.

• 라이브러리 링크 블록의 내용을 분석합니다. 기본적으로 입력 매개변수 Follow links는 켜기로 설정됩니다.

• 마스크된 하위 시스템의 콘텐츠를 분석합니다. 기본적으로 입력 매개변수 Look under masks는 모든로 설정됩니다.

• 블록 및 차트를 제외할 수 있습니다.

참조:

• hisf_0001: 상태 머신 유형