상태 흐름

Stateflow
상태 흐름
Automatic Transmission Logic.png
자동 변속기 시스템의 제어 로직
개발자매스웍스
안정된 릴리스
R2018b / 2018년 9월 12일, 3년 전(2018-09-12)
프리뷰 릴리즈
R2018b / 2018년 6월 14일, 3년 전(2018-06-14)
운영 체제Windows, macOS, Linux[1]
플랫폼x64
유형응용 프로그램 소프트웨어
면허증.독자 사양
웹 사이트Stateflow 제품 페이지

Stateflow(MathWorks에서 개발)는 Simulink 모델 내의 상태 기계 및 흐름도를 통해 반응형 시스템을 모델링하는 데 사용되는 제어 로직 도구입니다.Stateflow는 David Harel에 의해 확립된 유한 상태 기계 표기법의 변형을 사용하여 상태 [2][3]차트 내에서 계층, 병렬 및 이력을 표현할 수 있습니다.stateflow는 상태 전이 테이블과 진실 테이블도 제공합니다.

일반적인 용도

상태 흐름은 일반적으로 연속 역학(즉, 플랜트와 환경의 거동)이 Simulink를 [4][5]사용하여 지정된 하이브리드 시스템의 모델에서 이산 제어기를 지정하기 위해 사용된다.

Stateflow 전용 어플리케이션은 다음과 같습니다.

  • 모드 로직: 시스템의 각 이산 모드가 상태로[6] 표시됩니다.
  • 장애 관리: Stateflow 차트를 사용하여 시스템[7] 내의 장애 및 장애에 대한 시스템 대응 방법을 제어합니다.
  • 태스크 스케줄링: Stateflow 차트를 사용하여 특정 태스크가 발생하는 시기를 스케줄링합니다.Stateflow 차트 내 또는 Simulink[8] 모델 전체 중 하나입니다.

내선번호

많은 MathWorks 및 타사 도구를 Stateflow와 함께 사용하여 설계를 검증하고 코드를 생성할 수 있습니다.예를 들어, MathWorks 도구인 Simulink Verification and Validation을 사용하여 요구사항 추적성 및 모델 적용 범위 분석을 확인할 수 있습니다.다른 애드온 코드 생성 도구를 사용하여 임베디드 시스템에 구현하기 위한 C, C++, HDL 및 PLC 코드를 자동으로 생성할 수 있습니다.

레퍼런스

  1. ^ MathWorks - Stateflow - 요건
  2. ^ MATLAB 테크니컬 토크 (스테이트 머신의 기본과 사용법)
  3. ^ Stateflow를 이용한 하이브리드 시스템 시뮬레이션
  4. ^ Gregoire Hamon and John Rushby. "An Operational Semantics for Stateflow" (PDF). Presented at Fundamental Approaches to Software Engineering (FASE) Barcelona, Spain, March 2004. SRI International Computer Science Laboratory.{{cite journal}}: CS1 maint: 작성자 파라미터 사용(링크)
  5. ^ Orion GN&C MATLAB/Simulink/Stateflow 표준
  6. ^ A. Tiwari. "Formal Semantics and Analysis Methods for Simulink Stateflow Models" (PDF). SRI International Computer Science Laboratory. {{cite journal}}:Cite 저널 요구 사항 journal=(도움말)
  7. ^ 항공기 제어 설계의 요건 기반 시험
  8. ^ 임베디드 코더 로봇 NXT 모델링 팁