VIP9
本课程属于：180-工业安全控制与功能安全 芯片硬件与光电工程 · 共 9 门相关课程，组合学习更完整。
查看所属VIP全部课程 →
← 返回所属目录 咨询 / 购买

安全状态机与故障降级设计

共计 30 章节
可可资料掘金营 · 点击在线试看
01
课程导入
目标=安全状态机与故障降级设计的定义 · 学习目标 · 整体知识框架与工程价值
课程导入目标=安全状态机
02
安全状态机基础
目标=状态 · 事件 · 转移
安全状态机基础目标=状态
03
故障与失效基础
目标=故障 · 错误 · 失效的区别
故障失效基础
04
安全完整性等级
目标=SIL · ASIL · PL等安全完整性概念及其与状态机设计…
安全完整性等级SIL
05
状态机建模方法
目标=有限状态机 · 层次状态机 · 状态图
状态机建模方法目标=有限状态机
06
安全状态定义
目标=安全状态 · 危险状态 · 降级状态
安全状态定义目标=安全状态
07
故障检测机制
目标=传感器冗余 · 心跳检测 · 超时监控
故障检测机制目标=传感器冗余
08
故障降级策略
目标=降级等级划分 · 降级触发条件 · 降级路径设计与恢复策略
故障降级策略目标=降级等级划…
09
安全状态机设计流程
目标=需求分析 · 危险分析 · 状态识别
安全状态机设计流…目标=需求分析
10
状态机安全属性
目标=安全性 · 活性 · 无死锁
状态机安全属性目标=安全性
11
故障注入与测试
目标=故障注入方法 · 测试用例生成 · 覆盖率分析与安全验证
故障注入测试
12
形式化验证方法
目标=模型检验 · 定理证明 · 等价性检查在安全状态机中的应用
形式化验证方法目标=模型检验
13
冗余与容错设计
目标=硬件冗余 · 软件冗余 · 时间冗余
冗余容错设计
14
故障降级中的时间约束
目标=实时性 · 截止时间 · 超时处理与时间自动机建模
故障降级时间约束
15
安全状态机与功能安全标准
目标=IEC 61508 · ISO 26262 · DO-178C
安全状态机功能安全标准
16
案例实战一
目标=汽车电子驻车制动系统安全状态机…
案例实战一目标=汽车电子驻…
17
案例实战二
目标=工业机器人安全监控状态机与紧急…
案例实战二目标=工业机器人…
18
案例实战三
目标=医疗输液泵安全状态机与故障降级…
案例实战三目标=医疗输液泵…
19
案例实战四
目标=航空航天飞控系统余度管理与安全…
案例实战四目标=航空航天飞…
20
案例实战五
目标=轨道交通信号系统安全状态机与故…
案例实战五目标=轨道交通信…
21
常见问题一
目标=状态爆炸 · 转移冲突 · 优先级处理与状态机简化技巧
常见问题一目标=状态爆炸
22
常见问题二
目标=故障检测漏报误报 · 降级抖动 · 恢复条件与滞回设计
常见问题二目标=故障检测漏…
23
常见问题三
目标=安全状态不可达 · 降级路径失效与最坏情况分析
常见问题三目标=安全状态不…
24
常见问题四
目标=状态机与软件架构的集成 · 并发 · 中断与资源竞争
常见问题四目标=状态机
25
常见问题五
目标=安全状态机验证与确认中的覆盖度 · 独立性与证据管理
常见问题五目标=安全状态机…
26
综合提升一
目标=基于模型的安全状态机开发工具链…
综合提升一目标=基于模型的…
27
综合提升二
目标=安全状态机与人工智能 · 机器学习结合的降级决策设计
综合提升二目标=安全状态机
28
综合提升三
目标=多状态机协同 · 系统级安全状态机与分布式降级架构
综合提升三目标=多状态机协…
29
综合提升四
目标=安全状态机全生命周期管理 · 变更管理与持续安全监控
综合提升四目标=安全状态机…
30
课程总结与实战项目
目标=综合设计一个安全状态机与故障降… · 完成需求 · 建模
课程总结实战项目