Stateflow 차트에서 금지된 상태 및 전환 선의 겹침을 확인하세요.

검사 ID: mathworks.jmaab_v6.jc_0904

지침: jc_0904: 상태 및 전환선의 중첩/교차 금지

Stateflow^® 차트의 상태, 전환 선 또는 기타 그래픽 요소가 겹치거나 교차하는지 확인합니다.

이 확인은 Stateflow 차트의 다음 대상 구성 요소에 적용됩니다.

예외 1: 상위-하위 관계가 있는 Stateflow 개체입니다. 예를 들어, 검사에서는 하위 상태가 해당 상태를 포함하는 상태와 겹치는 것을 금지하지 않습니다.

예외 2: 그래픽 기능 내에서 모델링 논리를 구성하는 연결 연결점 및 전환입니다.

예외 3: 자체 상태 경계 내에 있는 상태 이름 또는 상태 레이블입니다.

예외 4: 상위 객체의 경계를 넘어 다른 Stateflow 객체에 도달하는 하위 객체의 전환 선입니다. 예를 들어, 검사는 새 상태에 연결될 때 상위 상태의 경계와 교차하는 하위 상태의 전환 선을 금지하지 않습니다.

예외 5: 자체 전환 레이블과 교차하는 전환 선입니다.

이 확인에는 Simulink Check™ 및 Stateflow 라이센스가 필요합니다.

이 검사에는 JMAAB 모델링 지침에 지정된 하위 ID에 해당하는 하위 검사가 포함되어 있습니다. Model Advisor Configuration Editor를 사용하여 실행할 하위 ID(1개 또는 여러 개)를 지정할 수 있습니다.

참고로 JMAAB 모델링 표준 기관에서 사용하도록 권장하는 지침 하위 ID는 다음과 같습니다.

가이드라인 하위 ID	상태	권장 조치
jc_0904_a: Stateflow 차트에서 겹치는 개체를 확인하세요.	상태, 그래픽 함수, Simulink 함수, MATLAB 함수, 진리표, 상자, 연결점, 주석, 상태 이름, 상태 레이블 또는 전이 레이블이 겹칩니다.	상태, 그래픽 함수, Simulink 함수, MATLAB 함수, 진리표, 상자, 연결점, 주석, 상태 이름, 상태 레이블 및 전환 레이블이 겹치지 않도록 모델을 변경합니다.
jc_0903_b: Stateflow 차트에서 객체와 겹치는 전환선을 확인하세요.	전환선은 다른 전환선, 상태, 그래픽 함수, Simulink 함수, MATLAB 함수, 진리표, 상자, 연결점, 주석, 상태 이름, 상태 레이블 또는 전환 레이블과 겹치거나 교차합니다.	전이선이 다른 전이선, 상태, 그래픽 함수, Simulink 함수, MATLAB 함수, 진리표, 상자, 연결점, 주석, 상태 이름, 상태 레이블과 겹치거나 교차하지 않도록 모델을 변경합니다. 또는 전환 라벨.

연결점이 다른 Stateflow 객체와 교차하거나 겹치는지 여부를 확인하지 않습니다.
Stateflow 객체와 겹치는 주석에 대한 위반을 보고하지 않습니다. 이 경우 검사에서는 Stateflow 개체에 대한 위반만 보고합니다.
Stateflow 차트에서 겹치는 주석을 감지하지 않습니다.
별도의 Stateflow 개체와 겹치는 상태 이름 또는 상태 레이블에 대한 위반을 보고하지 않습니다. 이 경우 검사에서는 다른 Stateflow 개체와 겹치기 전에 자체 상태 경계를 가로지르는 상태 이름 또는 상태 레이블에 대해서만 위반을 보고합니다.
라이브러리에 연결된 블록의 내용을 분석합니다. 기본적으로 입력 매개변수 Follow links는 켜기로 설정됩니다.
마스크된 하위 시스템의 콘텐츠를 분석합니다. 기본적으로 입력 매개변수 Look under masks는 그래픽로 설정됩니다.
라이브러리 모델에서 실행됩니다.
블록 및 차트를 제외할 수 있습니다.