VIP20
本课程属于：176-MathWorks Stateflow嵌入式逻辑与汽车软件工程 智能汽车与新能源汽车工程 · 共 20 门相关课程，组合学习更完整。
查看所属VIP全部课程 →
← 返回所属目录 咨询 / 购买

Stateflow Polyspace静态分析与质量工程

共计 30 章节
可可资料掘金营 · 点击在线试看
01
课程导入与工程场景锚定
目标=Stateflow在嵌入式控制… · Polyspace静态分析的价值定位 · 质量工程目标
课程导入工程场景锚定
02
Stateflow建模语义精要
目标=状态 · 转移 · 事件
Stateflow建模语义精要
03
Polyspace工具链与工作流概览
目标=Polyspace Bug F… · Code Prover · Client/Server配置
Polyspace工具链
04
为静态分析准备Stateflow模型
目标=模型配置参数 · 代码生成目标设置 · Stateflow属性检查器中的关键…
Stateflow为静态分析准备
05
Stateflow到C代码的生成机制
目标=状态机代码结构 · 转移条件与动作的代码形态 · 事件调度机制
Stateflow到C代码的生成机…
06
Polyspace分析配置实战
目标=针对Stateflow生成代码… · 选择分析选项 · 设置输入变量范围与约束
Polyspace分析配置实战
07
运行首次Bug Finder分析
目标=对Stateflow生成代码执… · 解读分析结果 · 分类缺陷
BugFinder
08
运行首次Code Prover分析
目标=对同一Stateflow生成代… · 理解绿色 · 红色
CodeProver
09
Stateflow转移条件中的运行时错误检测
目标=数组越界 · 除零 · 溢出
Stateflow转移条件
10
Stateflow动作语言中的数值安全问题
目标=定点与浮点运算 · 类型转换 · 饱和与回绕
Stateflow动作语言
11
状态机并发与互斥的静态验证
目标=并行状态 · 互斥状态 · 事件广播与同步机制中的竞态
状态机并发互斥的静态验证
12
Stateflow中的时序与事件逻辑验证
目标=after · before · every
Stateflow时序
13
基于Polyspace结果反哺Stateflow建模
目标=将红色告警映射为模型重构任务 · 改进状态划分 · 转移条件与动作设计
PolyspaceStateflow
14
Stateflow模型的静态分析就绪度评估
目标=建立检查清单 · 评估模型是否适合进行Polyspac… · 识别需要预处理或屏蔽的构造
Stateflow模型的静态分析就…
15
处理Polyspace分析中的误报与不可达代码
目标=针对Stateflow生成代码… · 使用注释 · 假设与配置进行精确抑制
Polyspace处理
16
利用Polyspace证明Stateflow关键安全属性
目标=无溢出 · 无越界 · 状态可达性
PolyspaceStateflow
17
Stateflow与手写C代码混合系统的分析
目标=当Stateflow生成代码调… · 如何配置Polyspace进行跨边界…
Stateflow手写C代码混合系…
18
多任务与中断环境下的Stateflow分析
目标=为Stateflow状态机配置… · 优先级与中断 · 分析共享数据访问与重入问题
Stateflow多任务
19
Stateflow生成代码的MISRA C合规性检查
目标=使用Polyspace检查MI… · 解读违规项 · 区分模型层与代码层的修复策略
StateflowMISRA
20
质量工程中的度量与阈值
目标=基于Polyspace报告提取… · 缺陷密度 · 证明覆盖率
质量工程度量
21
持续集成中的Polyspace自动化
目标=将Stateflow模型生成与… · 实现 nightly 分析与结果自动…
Polyspace持续集成
22
Polyspace结果与需求追溯
目标=将静态分析告警关联到State… · 建立可追溯的质量证据链
Polyspace结果
23
针对Stateflow的静态分析评审流程
目标=组织分析结果评审会 · 制定修复优先级 · 跟踪缺陷从发现到关闭的完整生命周期
Stateflow针对
24
复杂状态机案例实战（一）
目标=以车辆模式管理Stateflo… · 完成从模型检查 · 代码生成到Polyspace分析的完…
复杂状态机案例实…Stateflo
25
复杂状态机案例实战（二）
目标=针对实战案例中的红色告警进行根… · 实施模型重构与代码修复 · 并重新验证
复杂状态机案例实…目标=针对实战案…
26
安全关键系统中的Stateflow分析策略
目标=结合ISO 26262或DO-… · 制定Stateflow模型的验证与确…
Stateflow安全关键系统
27
Polyspace高级配置与自定义检查
目标=使用自定义规则 · 外部约束文件 · stubbing技术处理Statef…
Polyspace高级配置
28
Stateflow模型与生成代码的双向追溯分析
目标=利用Polyspace结果定位… · 反向指导模型优化与测试用例设计
Stateflow模型
29
质量工程视角下的Stateflow建模规范
目标=总结可分析 · 可验证 · 可维护的Stateflow建模准则
Stateflow质量工程视角下的
30
课程综合项目与能力评估
目标=独立完成一个Stateflow… · 生成代码 · Polyspace静态分析
课程综合项目能力评估