123,123,123

內(nèi)容簡(jiǎn)介

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

作者簡(jiǎn)介

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

圖書(shū)目錄

第1章緒論 1
1.1　農(nóng)林拖拉機(jī)和機(jī)械控制系統(tǒng)軟件功能安全的背景和意義 1
1.1.1　功能安全和軟件功能安全 1
1.1.2　軟件功能安全的背景和意義 2
1.2　功能安全標(biāo)準(zhǔn)的演變 6
1.2.1　IEC 61508 6
1.2.2　ISO 25119 9
1.2.3　GB/T 38874 12
1.2.4　功能安全標(biāo)準(zhǔn)的重要性 14
1.3　GB/T 38874標(biāo)準(zhǔn)相關(guān)定義解析 16
1.3.1　農(nóng)業(yè)性能等級(jí) 16
1.3.2　農(nóng)業(yè)性能等級(jí)要求、觀察單元和危險(xiǎn)分析及風(fēng)險(xiǎn)評(píng)估 19
1.3.3　功能安全概念 26
第2章農(nóng)林拖拉機(jī)和機(jī)械控制系統(tǒng)安全相關(guān)部件的系統(tǒng)整體設(shè)計(jì) 65
2.1　目的和概述 65
2.2　要求 71
2.2.1　前提條件和安全需求的構(gòu)建 71
2.2.2　功能安全概念 72
第3章農(nóng)林拖拉機(jī)和機(jī)械控制系統(tǒng)安全相關(guān)部件的軟件設(shè)計(jì) 81
3.1　軟件開(kāi)發(fā)計(jì)劃 81
3.1.1　目的和概述 81
3.1.2　前提條件 85
3.1.3　要求 88
3.2　軟件安全需求規(guī)格說(shuō)明 101
3.2.1　目的、概述、前提條件 101
3.2.2　要求 103
3.3　軟件架構(gòu)設(shè)計(jì) 128
3.3.1　目的、概述和前提條件 128
3.3.2　軟件架構(gòu)設(shè)計(jì)要求 129
3.4　軟件組件的設(shè)計(jì)與實(shí)現(xiàn) 139
3.4.1　目的和前提條件 139
3.4.2　軟件組件設(shè)計(jì)與實(shí)現(xiàn)方法的要求 142
3.5　軟件組件測(cè)試 233
3.5.1　目的、概述和前提條件 233
3.5.2　軟件組件測(cè)試要求 235
3.6　軟件集成和測(cè)試 318
3.6.1　目的、概述和前提條件 318
3.6.2　軟件集成和測(cè)試要求 321
3.7　軟件安全測(cè)試 335
3.7.1　目的和前提條件 335
3.7.2　軟件安全測(cè)試要求 336
3.8　基于軟件的參數(shù)化 359
3.8.1　目的 359
3.8.2　概述和前提條件 359
3.8.3　要求 361
第4章系統(tǒng)安全確認(rèn)與驗(yàn)證 370
4.1　目的、概述和前提條件 370
4.2　系統(tǒng)安全確認(rèn)與驗(yàn)證的要求 373
4.2.1　SRP/CS 設(shè)計(jì)的確認(rèn)與驗(yàn)證 373
4.2.2　安全確認(rèn)與驗(yàn)證的范圍 376
4.2.3　活動(dòng) 378
4.2.4　確認(rèn)與驗(yàn)證計(jì)劃 381
4.2.5　確認(rèn)與驗(yàn)證的測(cè)試規(guī)范 385
參考文獻(xiàn) 388