VIP20

本课程属于：046-MathWorks Simulink控制系统开发工程 工业软件_CAE与数字工程 · 共 20 门相关课程，组合学习更完整。

查看所属VIP全部课程 →

← 返回所属目录咨询 / 购买

Simulink Stateflow状态逻辑开发与验证

共计 30 章节

可可资料掘金营 · 点击在线试看

Stateflow在Simulink模型中的定位

目标=状态机与流程图建模的适用场景 · 与Simulink信号流的协同关系 · 典型控制逻辑案例概览

StateflowSimulink

Stateflow编辑器与对象层级

目标=Chart · State · Transition

Stateflow编辑器

状态与转移语义

目标=互斥状态与并行状态 · 默认转移 · 条件转移

状态转移语义

状态动作类型

目标=entry · during · exit

状态动作类型entry

事件驱动机制

目标=输入事件 · 本地事件 · 广播事件

事件驱动机制目标=输入事件

数据对象与作用域

目标=Stateflow数据 · Simulink信号 · 参数

数据对象作用域

时序逻辑与after/at/before运算符

目标=绝对时间与周期时间语义 · 时间逻辑在状态图中的执行条件与仿真步…

after/at/bef…时序逻辑

条件动作与转移动作

目标=条件表达式 · 条件动作 · 转移动作的求值顺序

条件动作转移动作

状态层次与父子状态

目标=超状态 · 子状态 · 历史节点

状态层次父子状态

并行状态与互斥状态组合

目标=并行分解 · 状态交叉 · 事件广播在并行区域中的同步与竞争问题

并行状态互斥状态组合

流程图建模

目标=连接节点 · 条件分支 · 循环结构的Stateflow实现

流程图建模目标=连接节点

图形函数与Simulink函数

目标=在Stateflow中封装可复… · 调用Simulink子系统 · 实现接口隔离与代码生成友好设计

Simulink图形函数

MATLAB函数与真值表

目标=在Stateflow中嵌入MA… · 使用真值表表达组合逻辑 · 与状态机逻辑的混合建模

状态图调试与仿真

目标=断点 · 单步执行 · 动画高亮

状态图调试仿真

模型检查与静态分析

目标=使用Model Advisor · Stateflow检查项 · 死逻辑

模型检查静态分析

状态逻辑的测试用例设计

目标=基于状态覆盖 · 转移覆盖 · 条件覆盖

状态逻辑的测试用…目标=基于状态覆…

Simulink Test与Stateflow测试

目标=创建测试序列 · 评估状态活动 · 验证转移路径

状态图与Simulink闭环验证

目标=将Stateflow控制器接入… · 设计闭环场景验证状态逻辑的正确性与鲁…

Simulink状态图

需求追溯与状态逻辑规格

目标=从需求到状态图元素的双向追溯 · 需求覆盖分析 · 变更影响分析

需求追溯状态逻辑规格

代码生成配置与Stateflow

目标=为嵌入式目标生成C代码时的状态… · 数据存储类 · 函数接口与可重入性考虑

Stateflow代码生成配置

Stateflow生成代码的验证

目标=SIL/PIL测试 · 代码与模型等价性验证 · 状态机代码的覆盖率收集与分析

Stateflow生成代码的验证

状态逻辑的实时性与执行效率

目标=状态图执行开销 · 事件处理延迟 · 时间逻辑与采样周期的匹配

状态逻辑的实时性执行效率

错误处理与恢复逻辑

目标=故障检测 · 降级模式 · 安全状态

错误处理恢复逻辑

模式管理与多模式切换

目标=工作模式 · 标定模式 · 诊断模式的状态机设计

模式管理多模式切换

Stateflow在汽车电子中的应用

目标=车身控制 · 动力总成 · ADAS状态管理等典型场景的建模与验…

Stateflow汽车电子

Stateflow在工业自动化中的应用

目标=设备启停序列 · 联锁保护 · 批次流程控制的状态逻辑实现与测试

Stateflow工业自动化

Stateflow在航空航天中的应用

目标=飞行模式管理 · 余度切换 · 任务阶段状态机的建模与适航验证考虑

Stateflow航空航天

大型状态图的分层与模块化

目标=状态图拆分 · 接口定义 · 库化复用

大型状态图的分层模块化

Stateflow与AUTOSAR/嵌入式集成

目标=SWC内部行为建模 · RTE接口 · 状态机与调度任务的映射与验证

StateflowAUTOSAR

目标=从需求到验证的完整Statef… · 状态图设计 · 测试用例

综合实战Statef