
ISO 26262-6 软件级开发:编写安全的代码
引言 在汽车电子系统中,软件是实现功能安全的核心。虽然硬件提供了物理基础,但软件决定了系统如何响应、如何处理故障、如何确保安全。 想象一个真实场景:某汽车厂商的自动紧急制动系统(AEB)采用了先进的深度学习算法,能够精准识别障碍物。但是,由于软件中存在一个缓冲区溢出漏洞,导致攻击者可以通过车载信息系统远程控制制动系统,造成多起事故。 这个案例告诉我们:**软件级开发不仅要实现功能,更要确保代码的安全性、可靠性和可维护性。**这正是 ISO 26262-6 软件级开发的核心使命。 软件级开发的目标和范围 软件级开发的核心活动 ISO 26262-6 定义了软件级开发的八个核心活动: 软件安全需求(SSR)的初始化 分析系统级安全需求 软件架构的初步设计 软件安全需求清单 软件架构设计 设计软件组件的架构 定义软件组件之间的接口 评估软件架构的适用性 软件单元设计和实现 设计软件单元 编写代码 代码审查 软件单元测试 设计测试用例 执行单元测试 分析测试覆盖率 软件集成和测试 集成软件单元 执行集成测试 分析测试覆盖率 软件验证 静态分析 动态分析 回归测试 软件确认 软件在环测试(SIL) 处理器在环测试(PIL) 硬件在环测试(HIL) 软件工具置信度评估 工具分类 工具置信度评估 工具使用流程 软件级开发的输入和输出 输入 系统安全需求(SSyR):来自系统级开发 技术安全概念(TSC):来自系统级开发 硬件/软件接口规范(HSIS):来自系统级开发 软件安全需求(SSR):来自系统级开发 软件约束:性能、内存、实时性等约束 输出 软件架构设计文档:软件架构设计 软件单元设计文档:软件单元设计 源代码:实现软件功能 软件测试报告:测试结果 软件验证报告:验证结果 软件确认报告:确认结果 软件安全需求(SSR)的初始化 SSR 的来源 软件安全需求主要来自以下几个方面: 从系统级安全需求(SSyR)派生 从技术安全概念(TSC)派生 从硬件/软件接口规范(HSIS)派生 SSR 的分类 1. 功能性需求 描述软件应该实现的功能。 ...






