農林機械控制系統(tǒng)軟件功能安全標準解析與實踐

定　價：￥148.00

作　者：	工業(yè)和信息化部電子第五研究所
出版社：	電子工業(yè)出版社
叢編項：
標　簽：	暫缺

購買這本書可以去

當當網(wǎng) (￥128.90)

ISBN：	9787121475269	出版時間：	2024-04-01	包裝：	平裝-膠訂
開本：	128開	頁數(shù)：		字數(shù)：

內容簡介

　　隨著全球人口的增長，對食物的需求不斷上升。農業(yè)，作為全球食品供應鏈的基石，正在經(jīng)歷快速的技術進步以滿足這一需求。在這個過程中，農業(yè)機械和設備的復雜性日增，尤其是其中的軟件系統(tǒng)，其功能安全和軟件功能安全成為農業(yè)領域的焦點。本書基于GB/T 38874，解析功能安全在農林拖拉機及機械控制系統(tǒng)軟件中的應用，以支持我國農業(yè)的數(shù)字化和智能化發(fā)展。本書深入解析GB/T 38874中軟件功能安全的關鍵原則和概念，通過實際案例展示GB/T 38874中的功能安全要求如何應用和實現(xiàn)。我們期望本書對農業(yè)從業(yè)者、政策制定者、研究人員和學生提供有益的指導，推動我國農業(yè)的現(xiàn)代化和全球糧食安全

作者簡介

　　工業(yè)和信息化部電子第五研究所（中國賽寶實驗室），又名中國電子產品可靠性與環(huán)境試驗研究所，始建于1955年。作為工業(yè)和信息化部的直屬單位，為部的行業(yè)管理和地方政府提供技術支撐，為電子信息企業(yè)提供技術支持與服務，每年服務企業(yè)過萬家。是我國最早從事可靠性研究的權威機構，工業(yè)和信息化部直屬的行業(yè)支撐服務單位，獲多項國內外認可資質的獨立實驗室，是專業(yè)的質量可靠性共性技術服務平臺。

圖書目錄

第1章緒論 1
1.1　農林拖拉機和機械控制系統(tǒng)軟件功能安全的背景和意義 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　農業(yè)性能等級 16
1.3.2　農業(yè)性能等級要求、觀察單元和危險分析及風險評估 19
1.3.3　功能安全概念 26
第2章農林拖拉機和機械控制系統(tǒng)安全相關部件的系統(tǒng)整體設計 65
2.1　目的和概述 65
2.2　要求 71
2.2.1　前提條件和安全需求的構建 71
2.2.2　功能安全概念 72
第3章農林拖拉機和機械控制系統(tǒng)安全相關部件的軟件設計 81
3.1　軟件開發(fā)計劃 81
3.1.1　目的和概述 81
3.1.2　前提條件 85
3.1.3　要求 88
3.2　軟件安全需求規(guī)格說明 101
3.2.1　目的、概述、前提條件 101
3.2.2　要求 103
3.3　軟件架構設計 128
3.3.1　目的、概述和前提條件 128
3.3.2　軟件架構設計要求 129
3.4　軟件組件的設計與實現(xiàn) 139
3.4.1　目的和前提條件 139
3.4.2　軟件組件設計與實現(xiàn)方法的要求 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　基于軟件的參數(shù)化 359
3.8.1　目的 359
3.8.2　概述和前提條件 359
3.8.3　要求 361
第4章系統(tǒng)安全確認與驗證 370
4.1　目的、概述和前提條件 370
4.2　系統(tǒng)安全確認與驗證的要求 373
4.2.1　SRP/CS 設計的確認與驗證 373
4.2.2　安全確認與驗證的范圍 376
4.2.3　活動 378
4.2.4　確認與驗證計劃 381
4.2.5　確認與驗證的測試規(guī)范 385
參考文獻 388