内容简介

《中华人民共和国国家标准:电气\电子\可编程电子安全相关系统的功能安全第3部分软件要求(GB\T20438.3-2006)(IEC61508-3:1998)》由中国机械工业联合会提出，全国工业过程测量和控制标准化技术委员会（SAC／TC 124）归口，机械工业仪器仪表综合技术经济研究所负责起草，主要起草人：王莉、冯晓升、梅恪、郑旭、欧阳劲松等。

图书目录

前言 引言 1范围 2规范性引用文件 3定义和缩略语 4标准的符合性 5文档 6软件质量管理系统 6.1目的 6.2要求 7软件安全生命周期要求 7.1—般要求 7.2软件安全要求规范 7.3软件安全确认计划编制 7.4软件设计和开发 7.5可编程电子集成（硬件和软件） 7.6软件操作和修改程序 7.7软件安全确认 7.8软件修改 7.9软件验证 8功能安全评估 附录A（规范性附录）技术和措施选择指南 附录B（规范性附录）详细表格 图1GB／T 20438的总体框架 图2 E／E／PE安全生命周期（实现阶段） 图3软件安全生命周期（实现阶段） 图4GB／T 20438.2和GB／T 20438.3的范围及关系 图5软件安全完整性的开发生命周期（V模式） 图6可编程电子硬件和软件结构的关系 表1软件安全生命周期：概述 表A.1软件安全要求规范（见7.2） 表A.2软件设计和开发：软件结构设计（见7.4.3） 表A.3软件设计和开发：支持工具和编程语言（见7.4.4） 表A.4软件设计和开发：详细设计（见7.4.5和7.4.6） 表A.5软件设计和开发：软件模块测试和集成（见7.4.7和7.4.8） 表A.6可编程电子集成（硬件和软件）（见7.5） 表A.7软件安全确认（见7.7） 表A.8修改（见7.8） 表A.9软件验证（见7.9） 表A.10功能安全评估（见第8章） 表B.1设计和编码标准（参见表A.4） 表B.2动态分析和测试（参见表A.5和表A.9） 表B.3功能和黑盒测试（参见表A.5、表A.6和表A.7） 表B.4失效分析（参见表A.10） 表B.5建模（参见表A.7） 表B.6性能测试（参见表A.5和表A.6） 表B.7半形式方法（参见表A.1、表A.2和表A.4） 表B.8静态分析（参见表A.9） 表B.9模块化方法（参见表A.4）

编辑推荐

《电气/电子/可编程电子安全相关系统的功能安全(第2部分):电气/电子/可编程电子安全相关系统的要求(GB/T 20438.2-2006)(IEC 61508-2:2000)》由中国机械工业联合会提出。本部分由全国工业过程测量和控制标准化技术委员会（SAC／TC 124）归口。本部分由机械工业仪器仪表综合技术经济研究所负责起草。本部分主要起草人：梅恪、冯晓升、王莉、郑旭、欧阳劲松等。

目录

前言 引言 1范围 2规范性引用文件 3定义和缩略语 4与GB／T 20438的符合性 5文档 6功能安全管理 7 E／E／PES安全生命周期要求 7.1一般要求 7.2 E／E／PES安全要求规范 7.3 E／E／PES安全确认计划编制 7.4 E／E／PES的设计与开发 7.5 E／E／PES集成 7.6 E／E／PES操作和维护规程 7.7 E／E／PES的安全确认 7.8 E／E／PES的修改 7.9 E／E／PES的验证 8功能安全评估 附录A（规范性附录）用于E／E／PE安全相关系统的技术和措施：操作中的失效控制 附录B（规范性附录）用于E／E／PE安全相关系统的技术和措施：避免生命周期不同阶段中的系统失效 附录C（规范性附录） 诊断覆盖率和安全失效分数 参考文献 表1 E／E／PES安全生命周期实现阶段概述 表2硬件安全完整性：A类安全相关子系统的结构约束 表3硬件安全完整性：B类安全相关子系统的结构约束 表A.1在操作过程中要检测的或在推导安全失效分数中要分析的故障或失效 表A.2电气子系统 表A.3电子子系统 表A.4处理单元 表A.5不可变内存范围 表A.6可变内存范围 表A.7 I／O单元和接口（外部通信） 表A.8数据路径（内部通信） 表A.9电源 表A.10程序顺序（看门狗） 表A.11通风和加热系统（若需要） 表A.12时钟 表A.13通信和大容量存储器 表A.14传感器 表A.15最终元件（执行器） 表A.16用于控制由硬件和软件设计引起的系统失效的技术和措施 表A.17用于控制由环境应力或影响引起的系统失效的技术和措施 表A.18用于控制系统工作失效的技术和措施 表A.19控制系统失效的技术和措施的有效性 表B.1在E／E／PES要求规范中对避免失误的建议（见7.2） 表B.2在E／E／PES设计和开发过程中为避免引入故障的建议（见7.4） 表B.3在E／E／PES集成过程中为避免故障的建议（见7.5） 表B.4在E／E／PES操作和维护规程中为避免故障的建议（见7.6） 表B.5在E／E／PES安全确认过程中为避免故障的建议（见7.7） 表B.6避免系统失效的技术和措施的有效性 图1GB／T 20438的总体框架 图2E／E／PES安全生命周期（实现阶段） 图3GB／T 20438.2和GB／T 20438.3的范围和关系 图4可编程电子中软件结构和硬件结构的关系 图5单通道安全功能的硬件安全完整性限制示例 图6多通道安全功能的硬件安全完整性的限制示例