VIP20

本课程属于：007-RCA、FMEA与质量问题预防闭环 测试测量质量可靠性工程 · 共 20 门相关课程，组合学习更完整。

查看所属VIP全部课程 →

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

软件FTA风险分析与验证工程

共计 30 章节

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

软件FTA风险分析与验证工程导论

目标=课程定位 · 软件失效的特殊性 · FTA在软件安全与可靠性中的角色

软件FTA核心概念与术语体系

目标=故障 · 失效 · 错误

软件FTA与软件安全分析方法的对比

目标=FMEA · HAZOP · STPA

软件FTA项目启动与范围定义

目标=系统边界划分 · 软件层级选择 · 分析目标设定

软件顶事件识别与危险分析

目标=从系统危险 · 安全需求 · 事故场景反推软件顶事件

软件顶事件识别危险分析

软件故障树结构建模基础

目标=逻辑门语义 · 事件类型 · 转移符号

软件故障树结构建…目标=逻辑门语义

软件失效模式与原因分类

目标=需求缺陷 · 设计缺陷 · 编码缺陷

软件失效模式原因分类

软件故障树展开策略

目标=自顶向下分解 · 功能分解 · 数据流分解

软件故障树展开策…目标=自顶向下分…

软件控制流与数据流故障树建模

目标=分支条件 · 循环 · 异常处理

软件控制流数据流故障树建模

软件状态机与场景故障树建模

目标=状态迁移错误 · 守卫条件失效 · 事件丢失与乱序

软件状态机场景故障树建模

软件接口与通信故障树建模

目标=API契约 · 消息协议 · 时序约束

软件接口通信故障树建模

软件并发与实时性故障树建模

目标=竞态条件 · 死锁 · 活锁

软件并发实时性故障树建模

软件故障树中的共因失效与耦合

目标=共享库 · 共享配置 · 共享基础设施

软件故障树共因失效

软件FTA定性分析

目标=割集枚举 · 最小割集求解 · 定性重要度排序

软件FTA定量分析基础

目标=底事件概率获取 · 专家判断 · 历史数据

软件FTA定量计算与工具

目标=逻辑门概率计算 · 最小割集近似 · 蒙特卡洛仿真

软件FTA中的动态与时序行为

目标=动态门 · 备用门 · 顺序相关

软件FTA与形式化验证的衔接

目标=从故障树到时序逻辑 · 模型检验 · 定理证明

软件FTA驱动的测试设计

目标=从最小割集生成测试用例 · 覆盖准则 · 故障注入

软件FTA与可靠性验证工程

目标=可靠性指标映射 · 验证计划 · 统计验证方法

软件FTA在安全关键系统中的应用

目标=航空航天 · 轨道交通 · 医疗设备

软件FTA在信息安全风险分析中的应用

目标=攻击树与故障树融合 · 漏洞利用路径 · 安全控制失效

软件FTA工具链与自动化

目标=故障树编辑器 · 模型转换 · 代码与模型一致性检查

软件FTA分析结果评审与确认

目标=评审角色 · 检查单 · 一致性检查

软件FTA与需求工程的双向追溯

目标=安全需求推导 · 需求验证 · 需求变更影响分析

软件FTA在敏捷与DevOps中的落地

目标=迭代式风险分析 · 持续集成中的FTA更新 · 快速反馈

软件FTA案例实战一

目标=嵌入式控制系统：顶事件定义 · 故障树构建 · 定性定量分析

软件FTA案例实战二

目标=云原生微服务系统：服务依赖 · 容错机制 · 级联失效

软件FTA案例实战三

目标=人工智能与数据驱动软件 · 模型退化 · 对抗样本

软件FTA风险分析与验证工程综合项目

目标=选题 · 团队分工 · 全流程实施