📘 基于模型的功能安全开发
代码生成 · 30章
🎯 ISO 26262
📚
30 章节
⚡
完整目录
🧩
风格
01
功能安全概述
功能安全概述：ISO 26262标准介绍、功能安全的基本概念、ASIL等级定义与分解
ISO 26262
ASIL
安全概念
02
基于模型的设计基础
基于模型的设计基础：MBD开发流程、Simulink/Stateflow环境搭建、模型层级管理
MBD
Simulink
Stateflow
03
安全需求分析
安全需求分析：HARA分析、安全目标定义、功能安全概念与技术安全概念
HARA
安全目标
FSC/TSC
04
模型架构设计
模型架构设计：模型分层原则、安全机制建模、冗余与多样性设计模式
分层
冗余
多样性
05
模型规范与命名
模型规范与命名：建模规范（MAAB/MISRA）、信号命名规则、子系统封装标准
MAAB
MISRA
命名规则
06
安全机制建模（上）
安全机制建模（上）：输入检测（范围/合理性检查）、输出监控（回读校验）
输入检测
回读校验
合理性检查
07
安全机制建模（下）
安全机制建模（下）：故障响应（故障静默/降级模式）、ECC/CRC校验建模
故障静默
降级模式
ECC/CRC
08
模型验证基础
模型验证基础：模型静态检查（Model Advisor）、模型规范检查、标准符合性检查
Model Advisor
静态检查
符合性
09
模型在环测试（MIL）
模型在环测试（MIL）：测试用例设计、覆盖率分析、测试自动化
MIL
覆盖率
自动化
10
软件在环测试（SIL）
软件在环测试（SIL）：代码生成与SIL测试、SIL与MIL结果比对
SIL
代码生成
结果比对
11
硬件在环测试（HIL）
硬件在环测试（HIL）：HIL平台搭建、实时测试、故障注入测试
HIL
实时测试
故障注入
12
自动代码生成基础
自动代码生成基础：Embedded Coder配置、代码生成选项、数据类型管理
Embedded Coder
代码生成
数据类型
13
代码生成高级配置
代码生成高级配置：存储类定义、自定义代码模板、函数原型控制
存储类
代码模板
函数原型
14
安全关键代码生成
安全关键代码生成：MISRA-C符合性配置、代码度量、防死代码消除
MISRA-C
代码度量
死代码消除
15
代码与模型的双向追溯
代码与模型的双向追溯：需求链接、模型元素与代码的映射、覆盖率追溯
追溯
需求链接
覆盖率
16
模型测试与代码测试的协同
模型测试与代码测试的协同：测试复用策略、测试脚本自动化、回归测试
测试复用
自动化
回归测试
17
功能安全中的工具认证
功能安全中的工具认证：TCL（Tool Confidence Level）、工具分类、工具鉴定
TCL
工具分类
鉴定
18
安全案例编写
安全案例编写：安全案例结构、论据链构建、证据组织
安全案例
论据链
证据
19
功能安全评审流程
功能安全评审流程：模型评审、代码评审、安全评审、评审检查单
模型评审
代码评审
检查单
20
故障注入测试
故障注入测试：基于模型的故障注入、故障模型库、测试结果评估
故障注入
故障模型
评估
21
自由运行测试与压力测试
自由运行测试与压力测试：边界值测试、长时间运行测试、资源耗尽测试
边界值
长时间运行
资源耗尽
22
模型配置管理
模型配置管理：版本控制、基线管理、变更影响分析
版本控制
基线
变更影响
23
安全需求变更管理
安全需求变更管理：变更请求流程、影响分析、回归测试策略
变更请求
影响分析
回归策略
24
功能安全与敏捷开发
功能安全与敏捷开发：Scrum中的安全活动、迭代安全评审、持续集成
Scrum
迭代评审
持续集成
25
多核与分布式系统安全
多核与分布式系统安全：任务分区、时间隔离、通信安全
任务分区
时间隔离
通信安全
26
AI在功能安全中的应用
AI在功能安全中的应用：基于AI的异常检测、AI模型验证挑战
AI异常检测
模型验证
挑战
27
功能安全案例实战（一）
功能安全案例实战（一）：从HARA到安全概念的全流程演练
HARA
安全概念
全流程