新書推薦:

《
人鼠之间 长谷(诺奖得主斯坦贝克再次书写大时代洪流之下小人物的悲喜命运,感动人心的世纪之书)
》
售價:HK$
75.9

《
鲍文家庭系统治疗
》
售價:HK$
152.9

《
罗马统治下的希腊:前146-716(罗马征服以来的希腊史)
》
售價:HK$
132.0

《
余音不绝:接着讲宗教史(精装)
》
售價:HK$
52.8

《
三国演义 七色汇评本 精装简体横排 (全3册)
》
售價:HK$
327.8

《
唐宋“古文运动”与士大夫文学 中华学术 有道
》
售價:HK$
96.8

《
上古中国的神:先秦时期的彼岸世界
》
售價:HK$
96.8

《
君臣共天下:一本书读懂东晋门阀
》
售價:HK$
95.7
|
內容簡介: |
随着全球人口的增长,对食物的需求不断上升。农业,作为全球食品供应链的基石,正在经历快速的技术进步以满足这一需求。在这个过程中,农业机械和设备的复杂性日增,尤其是其中的软件系统,其功能安全和软件功能安全成为农业领域的焦点。本书基于GB/T 38874,解析功能安全在农林拖拉机及机械控制系统软件中的应用,以支持我国农业的数字化和智能化发展。本书深入解析GB/T 38874中软件功能安全的关键原则和概念,通过实际案例展示GB/T 38874中的功能安全要求如何应用和实现。我们期望本书对农业从业者、政策制定者、研究人员和学生提供有益的指导,推动我国农业的现代化和全球粮食安全
|
關於作者: |
工业和信息化部电子第五研究所(中国赛宝实验室),又名中国电子产品可靠性与环境试验研究所,始建于1955年。作为工业和信息化部的直属单位,为部的行业管理和地方政府提供技术支撑,为电子信息企业提供技术支持与服务,每年服务企业过万家。是我国最早从事可靠性研究的权威机构,工业和信息化部直属的行业支撑服务单位,获多项国内外认可资质的独立实验室,是专业的质量可靠性共性技术服务平台。
|
目錄:
|
第1章 绪论1 1.1 农林拖拉机和机械控制系统软件功能安全的背景和意义1 1.1.1 功能安全和软件功能安全1 1.1.2 软件功能安全的背景和意义2 1.2 功能安全标准的演变6 1.2.1 IEC 615086 1.2.2 ISO 251199 1.2.3 GB/T 3887412 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
|
|