農林機械控制系統軟件功能安全標準解析與實踐
工業和信息化部電子第五研究所
- 出版商: 電子工業
- 出版日期: 2024-04-01
- 售價: $888
- 貴賓價: 9.5 折 $844
- 語言: 簡體中文
- 頁數: 400
- ISBN: 712147526X
- ISBN-13: 9787121475269
-
相關分類:
控制系統 Control-systems
立即出貨 (庫存=1)
商品描述
隨著全球人口的增長，對食物的需求不斷上升。農業，作為全球食品供應鏈的基石，正在經歷快速的技術進步以滿足這一需求。在這個過程中，農業機械和設備的復雜性日增，尤其是其中的軟件系統，其功能安全和軟件功能安全成為農業領域的焦點。本書基於GB/T 38874，解析功能安全在農林拖拉機及機械控制系統軟件中的應用，以支持我國農業的數字化和智能化發展。本書深入解析GB/T 38874中軟件功能安全的關鍵原則和概念，通過實際案例展示GB/T 38874中的功能安全要求如何應用和實現。我們期望本書對農業從業者、政策制定者、研究人員和學生提供有益的指導，推動我國農業的現代化和全球糧食安全
目錄大綱
第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
.jpg)
