用于逻辑驱动系统建模的状态流

2天中的第一天

建模流程图

摘要目的:用流程图实现决策流程。

• 连接和转换
• 流程图的行为
• Stateflow接口
• 条件和条件操作
• 图表数据
• 常见的模式

状态机建模

摘要目的:使用状态转换图实现状态机。

• 状态机的行为
• 状态和过渡行动
• 表初始化
• 行动的执行顺序
• 状态内流程图
• Mealy和Moore图表

分层状态图

摘要目的:实现层次图以提高状态机设计的清晰度。

• 超级大国和亚态
• 状态数据
• 历史结
• 过渡的优先级
• 行动的执行顺序

平行状态图

摘要目的:实现并行状态来建模多处理设计。

• 平行国家的好处
• 图表/状态分解
• 平行状态行为

2天中的第二天

在状态图中使用事件

摘要目的:使用状态流图中的事件来影响图表的执行。

• 在状态图中使用事件
• 广播事件
• 包含事件的状态图的行为
• 隐式的事件
• 时序逻辑操作符

从状态流调用函数

摘要目的:用Simulink块、MATLAB代码和流程图在状态流图中创建函数。

• 类型的函数
• 仿真软件的功能
• MATLAB函数
• 图形化功能

真值表和状态转换表

摘要目的:以表格形式创建流程图和状态转换图。

• 真值表
• 条件、决定和行动
• 状态转换表
• 状态、转换和动作

状态流中基于组件的建模

摘要目的:重用状态流设计，约束图表语义，并与结构化的Simulink数据交互。

• 总线信号
• 数据类型
• 原子子图表
• 数据映射
• 图表重用