道路车辆功能安全 ISO 26262标准（6-2）

道路车辆功能安全 ISO 26262标准（6-2）—软件级产品开发

news2024/10/21 9:35:39

写在前面

本系列文章主要讲解道路车辆功能安全ISO26262标准的相关知识，希望能帮助更多的同学认识和了解功能安全标准。

若有相关问题，欢迎评论沟通，共同进步。(*^▽^*)

1. 道路车辆功能安全ISO 26262标准

这个子阶段的第一个目标是规定软件单元按照软件体系设计及相关的软件安全要求。第二个目的是实现所指定的软件单元。第三个目标是静态验证软件单元设计和实现。

根据软件体系结构设计，开发软件单元的详细设计，详细设计将被实现为一个模型或直接为源代码，根据建模或编码准则。在进行软件单元测试阶段之前，详细设计和开发是静态验证。如果代码是手工开发，在源代码级别实施相关的属性是可以实现。如果基于模型的开发与自动代码生成时，这些属性应用到模型，无需应用到源代码。

为了开发一个软件单元设计，实现软件的安全要求，以及所有非安全的要求。因此，在安全相关和非安全相关的要求都在这个子阶段的过程中处理。

软件单元的实现包括源代码的生成和编译成目标代码。

要求和建议

1. 本阶段应符合软件单元安全相关的要求。

2. 为确保该软件单元设计允许后续的开发活动获取正确和有效地进行所必需的信息，该软件单元的设计应采用下表所列的符号说明。

在基于模型的开发与自动生成代码的情况下，该方法为代表的软件单元设计作为基础的代码生成的模型。

3. 软件单元的规范应描述功能行为和内部设计，以达到必要的细节实施水平。例如，内部的设计可以包括使用寄存器和数据存储的限制。

4. 软件单元源代码级的设计与实现应采用如下表所列的的设计原理，达到以下属性：

Methods		ASIL
Methods		A	B	C	D
1a	One entry and one exit point in subprograms and functions	++	++	++	++
1b	No dynamic objects or variables, or else online test during their creation	+	++	++	++
1c	Initialization of variables	++	++	++	++
1d	No multiple use of variable names	+	++	++	++
1e	Avoid global variables or else justify their usage	+	+	++	++
1f	Limited use of pointers	o	+	+	++
1g	No implicit type conversions	+	++	++	++
1h	No hidden data flow or control flow	+	++	++	++
1i	No unconditional jumps	++	++	++	++
1j	No recursions	+	+	++	++

5. 软件单元的设计与实施应按照 ISO26262-8:2011 第 9 条进行验证，并通过使用下表列出的验证方法来证明：

这个子阶段的目标是证明软件单元实现软件单元的设计规范和不含有不需要的功能。依据软件设计规范建立软件单元设计的测试流程，并依照流程来执行。

1. 该条款要求应符合如果软件单元是与安全相关的。

2. 软件单元测试必须按照 ISO26262-8:2011 第 9 条计划，规定和执行。

3. 在下表中列出的软件单元测试方法应适用于验证软件单元的实现：

Methods		ASIL
Methods		A	B	C	D
1a	Requirements-based test	++	++	++	++
1b	Interface test	++	++	++	++
1c	Fault injection test	+	+	+	++
1d	Resource usage test	+	+	+	++
1e	Back-to-back comparison test between model and code, if applicable	+	+	++	++

4. 为了使适当的测试用例按照第3条软件单元测试规范，测试用例应采用下表中列出的方法得出。

Methods		ASIL
Methods		A	B	C	D
1a	Analysis of requirements	++	++	++	++
1b	Generation and analysis of equivalence classes	+	++	++	++
1c	Analysis of boundary values	+	++	++	++
1d	Error guessing	+	+	+	+