作品简介

本书紧扣农林机械安全主题,深入探讨嵌入式软件功能安全技术,系统地讲述了农林机械控制系统软件功能安全的核心概念、标准解析及实践。首先,追溯功能安全标准的发展历程,从IEC61508到ISO25119,再到GB/T38874,详细阐释了功能安全在现代农业中的重要性;其次,结合实际案例对GB/T38874.1-2020至GB/T38874.4—2020中所规定的系统与软件设计、开发、安全确认和验证要求进行了深入解析。本书旨在帮助读者深入理解农林机械控制系统软件功能的安全标准,提升产品开发的质量和可靠性,推动我国农林机械领域软件功能安全技术的发展。

本书适合农林机械产品的软件项目经理、系统分析师、安全工程师、产品设计人员、测试工程师等专业人士,以及对此领域感兴趣的广大读者阅读。

工业和信息化部电子第五研究所(中国赛宝实验室),又名中国电子产品可靠性与环境试验研究所,始建于1955年。作为工业和信息化部的直属单位,为部的行业管理和地方政府提供技术支撑,为电子信息企业提供技术支持与服务,每年服务企业过万家。是我国最早从事可靠性研究的权威机构,工业和信息化部直属的行业支撑服务单位,获多项国内外认可资质的独立实验室,是专业的质量可靠性共性技术服务平台。

作品目录

  • 内容简介
  • 丛书编委会
  • 丛书序
  • 前言
  • 第1章 绪论
  • 1.1 农林拖拉机和机械控制系统软件功能安全的背景和意义
  • 1.1.1 功能安全和软件功能安全
  • 1.1.2 软件功能安全的背景和意义
  • 1.2 功能安全标准的演变
  • 1.2.1 IEC 61508
  • 1.2.2 ISO 25119
  • 1.2.3 GB/T 38874
  • 1.2.4 功能安全标准的重要性
  • 1.3 GB/T 38874标准相关定义解析
  • 1.3.1 农业性能等级
  • 1.3.2 农业性能等级要求、观察单元和危险分析及风险评估
  • 1.3.3 功能安全概念
  • 第2章 农林拖拉机和机械控制系统安全相关部件的系统整体设计
  • 2.1 目的和概述
  • 2.2 要求
  • 2.2.1 前提条件和安全需求的构建
  • 2.2.2 功能安全概念
  • 第3章 农林拖拉机和机械控制系统安全相关部件的软件设计
  • 3.1 软件开发计划
  • 3.1.1 目的和概述
  • 3.1.2 前提条件
  • 3.1.3 要求
  • 3.2 软件安全需求规格说明
  • 3.2.1 目的、概述和前提条件
  • 3.2.2 要求
  • 3.3 软件架构设计
  • 3.3.1 目的、概述和前提条件
  • 3.3.2 软件架构设计要求
  • 3.4 软件组件的设计与实现
  • 3.4.1 目的和前提条件
  • 3.4.2 软件组件设计与实现方法的要求
  • 3.5 软件组件测试
  • 3.5.1 目的、概述和前提条件
  • 3.5.2 软件组件测试要求
  • 3.6 软件集成和测试
  • 3.6.1 目的、概述和前提条件
  • 3.6.2 软件集成和测试要求
  • 3.7 软件安全测试
  • 3.7.1 目的和前提条件
  • 3.7.2 软件安全测试要求
  • 3.8 基于软件的参数化
  • 3.8.1 目的
  • 3.8.2 概述和前提条件
  • 3.8.3 要求
  • 第4章 系统安全确认与验证
  • 4.1 目的、概述和前提条件
  • 4.2 系统安全确认与验证的要求
  • 4.2.1 SRP/CS 设计的确认与验证
  • 4.2.2 安全确认与验证的范围
  • 4.2.3 活动
  • 4.2.4 确认与验证计划
  • 4.2.5 确认与验证的测试规范
  • 参考文献
展开全部