StateFlow

StateFlow is an environment for modeling and simulating combinatorial and sequential decision logic based on state machines and flow charts. StateFlow lets you combine graphical and tabular representations, including state transition diagrams, flow charts, state transition tables, and truth tables, to model how your system reacts to events, time-based conditions, and external input signals.

With StateFlow we can design logic for supervisory control, task scheduling, and fault management applications. StateFlow includes state machines animation and static and run-time checks for testing design consistency and completeness before implementation.

Key Features

- Modeling environment, graphical components, and simulation engine for modeling and simulating complex logic

- Deterministic execution semantics with hierarchy, parallelism, temporal operators, and events

- State diagrams, state transition tables, and state transition matrices representing finite state machines

- Flow charts, MATLAB® functions, and truth tables for representing algorithms

- State diagram animation, state activity logging, data logging, and integrated debugging for analyzing the design and detecting runtime errors

- Static and run-time checks for cyclic problems, state inconsistencies, data-range violations, and overflow condition.

SimEvents software works with StateFlow software to represent systems containing state-transition diagrams that can produce or be controlled by discrete events. Both software products are related to event-driven modeling, but they play different roles:

SimEvents blocks can model the movement of entities through a system so you can learn how such movement relates to overall system activity. Entities can carry data with them. Also, SimEvents blocks can generate events at times that are truly independent of the time steps dictated by the ODE solver in Simulink software.

StateFlow charts can model the state of a block or system. Charts enumerate the possible values of the state and describe the conditions that cause a state transition. Runtime animation in a StateFlow chart depicts transitions but does not indicate movement of data.

⇐ Предыдущая 1 234 5 6 7 8 9 10 Следующая ⇒