【正版授權(quán)-英語版】 IEC TS 61508-3-2:2024 EN Functional safety of electrical/electronic/programmable electronic safety-related systems - Part 3-2: Requirements and guidance in the use of mathem

上傳人：中國標(biāo)準(zhǔn)出版社 IP屬地：四川上傳時(shí)間：2024-09-21 格式：PDF 積分：1582

?正版授權(quán)

注：本標(biāo)準(zhǔn)為國際組織發(fā)行的正版標(biāo)準(zhǔn)，下載后為完整內(nèi)容；本圖片為程序生成，僅供參考，介紹內(nèi)容如有偏差，以實(shí)際下載內(nèi)容為準(zhǔn)

全文預(yù)覽已結(jié)束

 下載本文檔

標(biāo)準(zhǔn)號：IEC TS 61508-3-2:2024 EN
標(biāo)準(zhǔn)名稱：電氣/電子/可編程電子安全相關(guān)系統(tǒng)的功能安全——第3-2部分：軟件及其文檔精確屬性建立過程中數(shù)學(xué)和邏輯技術(shù)要求及使用指導(dǎo)
英文名稱：Functional safety of electrical/electronic/programmable electronic safety-related systems - Part 3-2: Requirements and guidance in the use of mathematical and logical techniques for establishing exact properties of software and its documentation
標(biāo)準(zhǔn)狀態(tài)：現(xiàn)行
發(fā)布日期：2024-08-26

范圍：此標(biāo)準(zhǔn)適用于電子和可編程電子安全相關(guān)系統(tǒng)的功能安全。這些系統(tǒng)包括但不限于微控制器、嵌入式系統(tǒng)、自動(dòng)化系統(tǒng)、機(jī)器人技術(shù)、通信系統(tǒng)等。

1.系統(tǒng)要求：該標(biāo)準(zhǔn)規(guī)定了軟件必須滿足的基本要求，包括安全性、可靠性和可維護(hù)性。這些要求必須以清晰、準(zhǔn)確和易于理解的方式在軟件文檔中描述。

2.安全性要求：軟件必須能夠防止或最小化各種安全風(fēng)險(xiǎn)，如數(shù)據(jù)丟失、系統(tǒng)崩潰、設(shè)備損壞等。這通常通過使用特定的編程語言、算法和數(shù)據(jù)結(jié)構(gòu)來實(shí)現(xiàn)。

3.邏輯設(shè)計(jì)和驗(yàn)證：該標(biāo)準(zhǔn)鼓勵(lì)使用邏輯設(shè)計(jì)方法來驗(yàn)證軟件的功能和行為。這種方法包括使用數(shù)學(xué)和邏輯工具來分析軟件，以確保其滿足預(yù)期的邏輯要求。

4.文檔要求：軟件文檔是軟件質(zhì)量的重要組成部分，必須清晰、準(zhǔn)確、易于理解，并能夠被不同的人在不同的時(shí)間點(diǎn)使用。文檔應(yīng)該包括軟件的設(shè)計(jì)、實(shí)現(xiàn)、測試和維護(hù)記錄。

5.錯(cuò)誤處理和恢復(fù)：軟件必須能夠處理各種錯(cuò)誤情況，并在必要時(shí)進(jìn)行恢復(fù)。這可以通過使用錯(cuò)誤處理代碼、異常處理機(jī)制和恢復(fù)策略來實(shí)現(xiàn)。

6.安全審計(jì)：軟件和其文檔必須能夠進(jìn)行安全審計(jì)，以確保它們符合相關(guān)標(biāo)準(zhǔn)和法規(guī)的要求。

IECTS61508-3-2:2024EN標(biāo)準(zhǔn)強(qiáng)調(diào)了數(shù)學(xué)和邏輯技術(shù)在軟件功能安全中的重要性，并提供了詳細(xì)的指導(dǎo)，以確保軟件及其文檔的質(zhì)量和安全性。這些技術(shù)可以幫助開發(fā)人

1. 本站所提供的標(biāo)準(zhǔn)文本僅供個(gè)人學(xué)習(xí)、研究之用，未經(jīng)授權(quán)，嚴(yán)禁復(fù)制、發(fā)行、匯編、翻譯或網(wǎng)絡(luò)傳播等，侵權(quán)必究。
2. 本站所提供的標(biāo)準(zhǔn)均為PDF格式電子版文本（可閱讀打?。?，因數(shù)字商品的特殊性，一經(jīng)售出，不提供退換貨服務(wù)。
3. 標(biāo)準(zhǔn)文檔要求電子版與印刷版保持一致，所以下載的文檔中可能包含空白頁，非文檔質(zhì)量問題。
4. 下載后請按順序安裝Reader（點(diǎn)擊安裝）和FileOpen（點(diǎn)擊安裝）方可打開。詳細(xì)可查看標(biāo)準(zhǔn)文檔下載聲明