그래픽으로 상태 머신설계하기

전이로 연결된 상태와 접합점을 그리면서 상태 머신을 그래픽으로 구축합니다. 순서도 표기법, Simulink 서브시스템, MATLAB 코드 및 진리표를 사용하여 함수를 작성할 수도 있습니다.

순서도 설계하기

접합점에 연결된 전이를 그려 순서도를 작성합니다. Pattern Wizard를 통해 자주 사용되는 로직 흐름 패턴을 작성할 수 있습니다. 순서도를 사용하여 상태 간 전이 로직을 설계할 수 있습니다.

테이블을 통한 로직 설계

Stateflow의 진리표를 사용하면 출력이 현재 입력에만 의존할 때 Simulink에서 로직을 모델링할 수 있습니다. 상태 전이표는 Simulink에서 상태 머신을 모델링하기 위한 구조화된 환경을 제공합니다.

재사용 가능 차트 객체

상태 및 전이 동작에서 MATLAB 언어의 모든 기능을 사용하는 독립형 Stateflow 차트를 만듭니다. 이러한 차트를 상태 머신과 타이밍 로직이 필요한 응용 프로그램의 MATLAB 객체로 사용합니다.

상태 머신 및 타이밍 로직

Stateflow를 사용하여 텍스트로 구현하기 어려운 상태 머신과타이밍 논리를 그래픽으로 설계하여 MATLAB 응용 프로그램 개발을 가속화합니다.

Stateflow 응용 프로그램 배포

Stateflow 차트 객체가 포함된 MATLAB 응용 프로그램을 만들어 Stateflow가 필요 없이 이를 공유합니다.

설계 검증하기

Stateflow를 다른 Simulink 제품과 함께 사용하여 요구 사항에 맞춰 설계를 검증합니다.

• Requirements Toolbox에서 끌어서 놓기를 사용하여 Stateflow 객체에 직접 요구 사항을 연결합니다.
• Simulink Check를 사용하여 상태 다이어그램이 표준을 준수하는지 확인합니다.
• Simulink Coverage를 사용하여 모델과 생성된 코드 커버리지 측정 항목을 수집합니다.
• Simulink Design Verifier를 사용하여 설계 오류를 탐지하고 테스트 벡터를 생성합니다.
• Simulink Test를 사용하여 시뮬레이션 기반 테스트를 개발, 관리 및 실행합니다.

코드 생성하기

임베디드 시스템에서 Stateflow 로직을 구현하기 위한 코드를 생성합니다.

• Simulink Coder를 사용하여 Simulink 및 Stateflow 모델에서 C와 C++ 코드를 생성합니다.
• HDL Coder로 FPGA 및 ASIC 설계용 VHDL 및 Verilog 코드를 생성합니다.
• Simulink PLC Coder를 사용하여 PLC 및 PAC에 대한 IEC 61131-3 구조화된 텍스트를 생성합니다.