Stateflow for Logic-Driven System Modeling
일정 보기 및 등록교육과정 세부 정보
본 교육과정에서는 복잡한 결정 플로우(decision flow) 및 유한 상태 머신을 구현하기 위한 Stateflow® 사용의 전반적인 내용을 다룹니다. 본 교육과정에서는 플로우 차트(flow chart), 상태 머신(state machine), 진리표(truth table) 및 상태 천이 테이블(state transition table)을 이용하여 Simulink® 모델을 설계하는 방법을 배웁니다. 본 교육과정에서 다루는 주요 내용은 다음과 같습니다.
- 플로우 차트(flow chart)
- 상태 머신(state machine)
- 계층적 상태 머신
- 병렬 상태 머신
- 상태 머신에서 이벤트 사용
- 상태 머신에서 함수 사용
- 진리표(truth table) 구현
- 상태 천이 테이블(state transition table) 구현
- 구성요소 기반 모델링
1일차
플로우 차트 모델링
학습목표: 플로우 차트를 사용하여 결정 플로우를 구현합니다.
- 연결점과 천이
- 플로우 차트 동작
- Stateflow 인터페이스
- 조건과 조건 동작
- 차트 데이터
- 공통 패턴
상태 머신 모델링
학습목표: 상태 천이도를 사용하여 상태 머신을 구현합니다.
- 상태 머신 동작
- 상태 및 천이 동작
- 차트 초기화
- 동작 실행 순서
- 상태 내의 플로우 차트
- 밀리 차트와 무어 차트
계층적 상태 다이어그램
학습목표: 계층적 다이어그램을 구현하여 상태 머신 설계의 명료성을 향상합니다.
- 상위 상태 및 하위 상태
- 상태 데이터
- 이력 연결점
- 천이 우선순위
- 동작 실행 순서
병렬 상태 다이어그램
학습목표: 병렬 상태를 구현하여 멀티프로세싱 설계를 모델링합니다.
- 병렬 상태의 이점
- 차트/상태 분해
- 병렬 상태 동작
2일차
상태 다이어그램의 이벤트 사용
학습목표: Stateflow 다이어그램 내의 이벤트를 사용하여 차트 실행을 변경합니다.
- 상태 다이어그램의 이벤트 사용
- 이벤트 브로드캐스트
- 이벤트를 포함하는 상태 다이어그램 동작
- 암시적 이벤트
- 시간 논리 연산자
Stateflow에서 함수 호출
학습목표: Simulink 블록, MATLAB 코드, 플로우 차트 외부에 있는 Stateflow 차트에 함수를 만듭니다.
- 함수 유형
- Simulink 함수
- MATLAB 함수
- 그래픽 함수
진리표와 상태 천이표
학습목표: 플로우 차트와 상태 천이도를 표 형식으로 만듭니다.
- 진리표(truth table) 구현
- 조건, 결정, 동작
- 상태 천이 테이블(state transition table) 구현
- 상태, 천이, 동작
Stateflow에서의 구성요소 기반 모델링
학습목표: 구성요소 재사용을 위한 Stateflow 설계를 준비하고 구조화된 Simulink 데이터와 상호 작용합니다.
- 버스 신호
- 데이터형
- Atomic 서브차트
- 데이터 매핑
- 차트 재사용