jc_0531: 디폴트 천이
하위 ID 권장 사항
NA-MAAB — a, b, c, d, e, f, g
JMAAB — a, b, c, d, e, f, g
MATLAB 버전
모든 버전
규칙
하위 ID a
Stateflow Chart (Stateflow)의 분해가 Exclusive (OR)인 경우, 디폴트 천이는 Chart 블록의 상단에 연결되어야 합니다.
상태의 분해가 Exclusive (OR)인 경우, 디폴트 천이는 상태 바로 아래에 연결되어야 합니다.
해당 없음
디폴트 천이 선이 상단에 연결되어 있습니다.
디폴트 천이 선이 연결되어 있지 않습니다.
하위 ID b
분해가 "병렬(AND)"로 설정된 경우, 디폴트 천이 선을 연결하면 안 됩니다.
해당 없음
상태 AA 및 AB에 대한 부모 객체의 분해가 Parallel (AND)로 설정되어 있어서, 상태 AA와 AB는 병렬 상태입니다. 이 병렬 상태에는 디폴트 천이 선이 연결되어 있지 않습니다.
병렬 상태 AA에 디폴트 천이 선이 연결되어 있습니다.
하위 ID c
하나의 수준에는 여러 개의 디폴트 천이가 있어서는 안 됩니다.
해당 없음
해당 수준에 여러 개의 디폴트 천이가 존재하지 않습니다.
상태 A의 동일한 수준에 여러 개의 디폴트 천이가 포함되어 있습니다.
하위 ID d
디폴트 천이는 직접 연결되어야 하며, 상태 또는 연결점의 상단에 수직으로 배치되어야 합니다.
해당 없음
디폴트 천이가 상태의 상단 부분에 수직으로 연결되어 있습니다.
상태 A의 디폴트 천이가 상태의 상단 부분에 수직으로 연결되어 있지 않습니다.
하위 ID e
디폴트 천이의 대상 상태(destination state) 또는 대상 연결점(destination connective junction)은 동일한 수준에서 왼쪽 상단에 배치되어야 합니다.
해당 없음
디폴트 천이가 동일한 수준의 왼쪽 상단에 배치되어 있습니다.
상태 AB의 디폴트 천이가 동일한 수준의 왼쪽 상단에 배치되어 있지 않습니다.
하위 ID f
디폴트 천이는 상태 경계를 넘어 확장되어서는 안 됩니다.
해당 없음
디폴트 천이가 상태 경계 내에 있습니다.
디폴트 천이가 상태 경계를 넘어 확장되어 있습니다.
하위 ID g
디폴트 천이에 대한 천이 경로에서 우선순위가 가장 낮은 경로는 비조건부 천이가 되어야 하며, 이를 보장하기 위해 구성 파라미터 비조건부 디폴트 천이 없음을 Error로 설정해야 합니다.
해당 없음
디폴트 천이에 대한 천이 경로에서 우선순위가 가장 낮은 경로가 비조건부 천이입니다.
디폴트 천이에 대한 천이 경로에서 우선순위가 가장 낮은 경로가 비조건부 천이가 아닙니다.
근거
하위 ID a:
상태 차트에 디폴트 천이 선이 포함되어 있지 않으면 시뮬레이션 오류가 발생할 수 있습니다.
플로우 차트에 디폴트 천이가 포함된 경우 이것이 의도적인 것인지 아니면 삽입 실패로 인한 것인지 판단하는 것이 불가능합니다.
하위 ID b:
불필요한 디폴트 천이가 없으면 가독성이 향상됩니다.
하위 ID c:
동일한 수준에 여러 개의 디폴트 천이가 포함되어 있으면, 상태가 의도한 대로 동작하지 않을 수 있으며 경고가 생성될 수 있습니다.
하위 ID d:
디폴트 천이의 각도나 위치에 곡선이나 변형이 있으면 가독성이 떨어집니다.
하위 ID e:
디폴트 천이의 천이 대상 상태(transition destination state) 또는 천이 대상 연결점(transition destination connective junction)의 위치가 일관되지 않으면 가독성이 저하됩니다.
하위 ID f
디폴트 천이가 상태 경계를 벗어나 상태 경계 및 표현식과 교차하면 가독성이 저하됩니다.
하위 ID g:
디폴트 천이의 천이 경로에 비조건부 천이가 없을 경우, 천이 경로의 모든 조건이 충족되지 않으면 천이 대상(transition destination)이 사라집니다. 이로 인해 의도하지 않은 동작이 발생할 수 있습니다.
검증
모델 어드바이저 검사: Check default transition placement in Stateflow charts (Stateflow 차트에서 디폴트 천이 배치 검사) (Simulink Check)
마지막 변경
R2020a
참고 항목
상태 분해를 사용하여 배타적 모드 및 병렬 모드 정의하기 (Stateflow)
동작 모드 간 천이 (Stateflow)
실행하는 동안 Stateflow 객체가 상호 작용하는 방식 (Stateflow)
버전 내역
R2020a에 개발됨
