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

定　價：￥148.00

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

購買這本書可以去

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

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

內(nèi)容簡介

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

作者簡介

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

圖書目錄

第1章緒論 1
1.1　農(nóng)林拖拉機和機械控制系統(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標準相關(guān)定義解析 16
1.3.1　農(nóng)業(yè)性能等級 16
1.3.2　農(nóng)業(yè)性能等級要求、觀察單元和危險分析及風(fēng)險評估 19
1.3.3　功能安全概念 26
第2章農(nóng)林拖拉機和機械控制系統(tǒng)安全相關(guān)部件的系統(tǒng)整體設(shè)計 65
2.1　目的和概述 65
2.2　要求 71
2.2.1　前提條件和安全需求的構(gòu)建 71
2.2.2　功能安全概念 72
第3章農(nóng)林拖拉機和機械控制系統(tǒng)安全相關(guān)部件的軟件設(shè)計 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　軟件架構(gòu)設(shè)計 128
3.3.1　目的、概述和前提條件 128
3.3.2　軟件架構(gòu)設(shè)計要求 129
3.4　軟件組件的設(shè)計與實現(xiàn) 139
3.4.1　目的和前提條件 139
3.4.2　軟件組件設(shè)計與實現(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 設(shè)計的確認與驗證 373
4.2.2　安全確認與驗證的范圍 376
4.2.3　活動 378
4.2.4　確認與驗證計劃 381
4.2.5　確認與驗證的測試規(guī)范 385
參考文獻 388