包邮农林机械控制系统软件功能安全标准解析与实践

第1章 绪论 1
1.1　农林拖拉机和机械控制系统软件功能安全的背景和意义 1
1.1.1　功能安全和软件功能安全 1
1.1.2　软件功能安全的背景和意义 2
1.2　功能安全标准的演变 6
1.2.1　IEC 61508 6
1.2.2　ISO 25119 9
1.2.3　GB/T 38874 12
1.2.4　功能安全标准的重要性 14
1.3　GB/T 38874标准相关定义解析 16
1.3.1　农业性能等级 16
1.3.2　农业性能等级要求、观察单元和危险分析及风险评估 19
1.3.3　功能安全概念 26
第2章 农林拖拉机和机械控制系统安全相关部件的系统整体设计 65
2.1　目的和概述 65
2.2　要求 71
2.2.1　前提条件和安全需求的构建 71
2.2.2　功能安全概念 72
第3章 农林拖拉机和机械控制系统安全相关部件的软件设计 81
3.1　软件开发计划 81
3.1.1　目的和概述 81
3.1.2　前提条件 85
3.1.3　要求 88
3.2　软件安全需求规格说明 101
3.2.1　目的、概述、前提条件 101
3.2.2　要求 103
3.3　软件架构设计 128
3.3.1　目的、概述和前提条件 128
3.3.2　软件架构设计要求 129
3.4　软件组件的设计与实现 139
3.4.1　目的和前提条件 139
3.4.2　软件组件设计与实现方法的要求 142
3.5　软件组件测试 233
3.5.1　目的、概述和前提条件 233
3.5.2　软件组件测试要求 235
3.6　软件集成和测试 318
3.6.1　目的、概述和前提条件 318
3.6.2　软件集成和测试要求 321
3.7　软件安全测试 335
3.7.1　目的和前提条件 335
3.7.2　软件安全测试要求 336
3.8　基于软件的参数化 359
3.8.1　目的 359
3.8.2　概述和前提条件 359
3.8.3　要求 361
第4章 系统安全确认与验证 370
4.1　目的、概述和前提条件 370
4.2　系统安全确认与验证的要求 373
4.2.1　SRP/CS 设计的确认与验证 373
4.2.2　安全确认与验证的范围 376
4.2.3　活动 378
4.2.4　确认与验证计划 381
4.2.5　确认与验证的测试规范 385
参考文献 388