防抱死系统软件安全机制设计宝典 · 课程目录

ABS系统概述

基本原理
系统组成
发展历程

软件安全基础

ISO 26262概述
ASIL等级
安全生命周期

系统级安全设计

HARA分析
安全目标
功能安全概念

软件级安全架构

分层架构
安全机制分配
冗余与多样性

传感器信号安全

轮速传感器接口
信号有效性
故障诊断容错

执行器控制安全

电磁阀监控
PWM安全校验
执行器回检

通信安全设计

CAN/CAN FD
CRC校验
超时丢失帧

控制器自检机制

上电自检POST
运行时自检
CPU/内存测试

程序流监控

Program Flow Monitor
看门狗定时器
时间逻辑监控

数据安全存储

EEPROM/Flash
数据冗余校验
写入序列保护

故障响应策略

故障分级降级
安全状态切换
跛行回家模式

软件单元测试

单元测试策略
测试用例设计
覆盖率分析

软件集成测试

集成测试策略
接口测试
功能集成验证

软件安全验证

安全机制验证
故障注入测试
回归测试

安全确认与评估

安全案例编写
独立安全评估
功能安全审计

基于模型的设计

MBD应用
自动代码生成
模型在环测试

实时操作系统安全

OSEK/AUTOSAR OS
任务调度安全
资源锁死锁预防

内存保护机制

内存分区MPU
堆栈溢出检测
内存泄漏预防

时间触发架构

时间触发协议TTP
时间确定性调度
抖动控制

冗余设计实践

传感器冗余
控制器冗余
通信冗余

诊断与标定协议

UDS诊断
CCP/XCP标定
安全访问控制

网络安全基础

网络安全威胁
安全网关设计
安全启动刷写

软件安全度量

度量指标定义
安全性能监控
持续改进

安全相关文档

需求规格说明
安全计划
验证报告

工具认证与鉴定

软件工具分类
工具鉴定方法
工具使用安全

安全文化与流程

安全文化建立
变更管理
问题追溯

安全失效案例
根因分析
改进措施

软件定义车辆
AI安全应用
SOTIF

实战项目一

需求到实现
安全开发流程
全流程演练

实战项目二

安全机制集成
故障注入测试
实战演练