IEC61508-7電氣電子可編程的功能安全性電子安全相關(guān)

1、PAGE .PAGE ：.；國際規(guī)范 IEC -年月 第一版電氣電子/可編程的功能平安性電子平安相關(guān)系統(tǒng)第部分：技術(shù)與方法總覽目 錄 TOC o - h z HYPERLINK l _Toc 前 言 PAGEREF _Toc h HYPERLINK l _Toc 簡 介 PAGEREF _Toc h Clause條款 HYPERLINK l _Toc .范圍 PAGEREF _Toc h HYPERLINK l _Toc .規(guī)范參考文獻(xiàn) PAGEREF _Toc h HYPERLINK l _Toc .義和縮略語 PAGEREF _Toc h HYPERLINK l _Toc 附件A補(bǔ)充信息E

2、/E/PES 的技術(shù)和方法總覽：隨機(jī)硬件缺點(diǎn)的控制見 IEC - PAGEREF _Toc h TOC o - h z HYPERLINK l _Toc A. 電器的 PAGEREF _Toc h HYPERLINK l _Toc A.利用在線監(jiān)控進(jìn)展缺點(diǎn)檢測 PAGEREF _Toc h HYPERLINK l _Toc A. 繼電器接點(diǎn)的監(jiān)控 PAGEREF _Toc h HYPERLINK l _Toc A. 比較器 PAGEREF _Toc h HYPERLINK l _Toc A. 交叉投票表決器 PAGEREF _Toc h HYPERLINK l _Toc A. 停頓當(dāng)前任務(wù)方式

3、中斷前往 PAGEREF _Toc h HYPERLINK l _Toc A. 電子 PAGEREF _Toc h HYPERLINK l _Toc A. 動力學(xué)原理 PAGEREF _Toc h HYPERLINK l _Toc A. 規(guī)范測試登陸端口和邊境檢測架構(gòu) PAGEREF _Toc h HYPERLINK l _Toc A. 自動防缺點(diǎn)安裝硬件 PAGEREF _Toc h HYPERLINK l _Toc A. 監(jiān)控的冗余 PAGEREF _Toc h HYPERLINK l _Toc A. 具有自動檢查安裝的電器/電子元件 PAGEREF _Toc h HYPERLINK l

4、_Toc A. 類似信號監(jiān)控 PAGEREF _Toc h HYPERLINK l _Toc A.降低額定 PAGEREF _Toc h HYPERLINK l _Toc A. 處置單元 PAGEREF _Toc h HYPERLINK l _Toc A. 經(jīng)過軟件進(jìn)展自我檢測：有限數(shù)量的方式單通道 PAGEREF _Toc h HYPERLINK l _Toc A. 運(yùn)用軟件進(jìn)展自我檢測：步進(jìn)位單通道 PAGEREF _Toc h HYPERLINK l _Toc A.由硬件支持的自我檢測單通道 PAGEREF _Toc h HYPERLINK l _Toc A.編碼處置單通道 PAGERE

5、F _Toc h HYPERLINK l _Toc A. 運(yùn)用軟件進(jìn)展相互比較 PAGEREF _Toc h HYPERLINK l _Toc A. 耐久存儲范圍 PAGEREF _Toc h HYPERLINK l _Toc A. 字存儲多位冗余例如運(yùn)用帶有修正的海明碼進(jìn)展ROM監(jiān)控 PAGEREF _Toc h HYPERLINK l _Toc A. 修正的校驗(yàn)和 PAGEREF _Toc h HYPERLINK l _Toc A. 單字簽名位 PAGEREF _Toc h HYPERLINK l _Toc A. 雙字簽名位 PAGEREF _Toc h HYPERLINK l _Toc

6、A. 阻止復(fù)制例如具有硬件或者軟件比較的雙重 ROM PAGEREF _Toc h HYPERLINK l _Toc A. 恒定的存儲器范圍 PAGEREF _Toc h HYPERLINK l _Toc A. RAM測試“檢查板或者“過程 PAGEREF _Toc h HYPERLINK l _Toc A. RAM測試“步行區(qū) PAGEREF _Toc h HYPERLINK l _Toc A. RAM測試“galpat或者“transparent galpat PAGEREF _Toc h HYPERLINK l _Toc A. RAM 測試“Abraham PAGEREF _Toc h

7、HYPERLINK l _Toc A. 用帶有修正的海明碼進(jìn)展 RAM 監(jiān)控，或者用帶有錯誤檢測糾正編碼EDC進(jìn)展 RAM 監(jiān)控 PAGEREF _Toc h HYPERLINK l _Toc A.具有硬件或者軟件比較和可讀/可寫功能的雙重RAM PAGEREF _Toc h HYPERLINK l _Toc A. I/O 單元和接口外部通訊 PAGEREF _Toc h HYPERLINK l _Toc A.測試方式 PAGEREF _Toc h HYPERLINK l _Toc A. 編碼維護(hù) PAGEREF _Toc h HYPERLINK l _Toc A. 多通道平行輸出 PAGER

8、EF _Toc h HYPERLINK l _Toc A. 監(jiān)控的輸出 PAGEREF _Toc h HYPERLINK l _Toc A. 輸入比較/投票 PAGEREF _Toc h HYPERLINK l _Toc A. 數(shù)據(jù)途徑內(nèi)部通訊 PAGEREF _Toc h HYPERLINK l _Toc A. 一位硬件冗余 PAGEREF _Toc h HYPERLINK l _Toc A. 多位硬件冗余 PAGEREF _Toc h HYPERLINK l _Toc A. 完全的硬件冗余 PAGEREF _Toc h HYPERLINK l _Toc A.運(yùn)用測試方式進(jìn)展檢查 PAGER

9、EF _Toc h HYPERLINK l _Toc A.傳輸冗余 PAGEREF _Toc h HYPERLINK l _Toc A. 信息冗余 PAGEREF _Toc h HYPERLINK l _Toc A. 電源 PAGEREF _Toc h HYPERLINK l _Toc A. 具有平安斷電的超電壓維護(hù) PAGEREF _Toc h HYPERLINK l _Toc A. 電壓控制第二個 PAGEREF _Toc h HYPERLINK l _Toc A. 具有平安斷電方式的節(jié)電方式 PAGEREF _Toc h HYPERLINK l _Toc A. 暫時和邏輯程序序列監(jiān)控 P

10、AGEREF _Toc h HYPERLINK l _Toc A. 具有分時掃描的看門狗無時窗 PAGEREF _Toc h HYPERLINK l _Toc A. 具有分時掃描和時窗的看門狗 PAGEREF _Toc h HYPERLINK l _Toc A. 程序序列的邏輯監(jiān)控 PAGEREF _Toc h HYPERLINK l _Toc A. 程序序列的暫時監(jiān)控和邏輯監(jiān)控的結(jié)合 PAGEREF _Toc h HYPERLINK l _Toc A. 具有在線檢查的暫時監(jiān)控 PAGEREF _Toc h HYPERLINK l _Toc A. 通風(fēng)和加熱 PAGEREF _Toc h HY

11、PERLINK l _Toc A. 溫度傳感器 PAGEREF _Toc h HYPERLINK l _Toc A. 風(fēng)扇控制 PAGEREF _Toc h HYPERLINK l _Toc A. 經(jīng)過外部熱分散的平安封鎖鼓勵 PAGEREF _Toc h HYPERLINK l _Toc A. 強(qiáng)迫通風(fēng)冷卻和形狀指示的銜接 PAGEREF _Toc h HYPERLINK l _Toc A. 通訊和大面積存儲 PAGEREF _Toc h HYPERLINK l _Toc A. 電器能量線與信息線的分別 PAGEREF _Toc h HYPERLINK l _Toc A. 復(fù)合線的空間分別

12、PAGEREF _Toc h HYPERLINK l _Toc A. 干擾免疫性的提高 PAGEREF _Toc h HYPERLINK l _Toc A. Antivalent 信號傳輸 PAGEREF _Toc h HYPERLINK l _Toc A.傳感器 PAGEREF _Toc h HYPERLINK l _Toc A. 參比傳感器 PAGEREF _Toc h HYPERLINK l _Toc A. 正向鼓勵開關(guān) PAGEREF _Toc h HYPERLINK l _Toc A. 決議性元素制動器 PAGEREF _Toc h HYPERLINK l _Toc A. 監(jiān)控 PA

13、GEREF _Toc h HYPERLINK l _Toc A. 復(fù)合制動器的橫向監(jiān)控 PAGEREF _Toc h HYPERLINK l _Toc A. 應(yīng)對物理環(huán)境的方法 PAGEREF _Toc h HYPERLINK l _Toc 附件B作為信息運(yùn)用E/E/PES 的技術(shù)和方法總覽：系統(tǒng)缺點(diǎn)的防止見 IEC -和IEC - PAGEREF _Toc h HYPERLINK l _Toc B. 通用方法和技術(shù) PAGEREF _Toc h HYPERLINK l _Toc B. 工程管理 PAGEREF _Toc h HYPERLINK l _Toc B. 文檔 PAGEREF _To

14、c h HYPERLINK l _Toc B. 將非平安相關(guān)系統(tǒng)與平安相關(guān)系統(tǒng)隔開 PAGEREF _Toc h HYPERLINK l _Toc B. 多樣化的硬件 PAGEREF _Toc h HYPERLINK l _Toc B. E/E/PES平安需求規(guī)范 PAGEREF _Toc h HYPERLINK l _Toc B. 構(gòu)造化的規(guī)范 PAGEREF _Toc h HYPERLINK l _Toc B.方式方法 PAGEREF _Toc h HYPERLINK l _Toc B. 不完全的方式方法 PAGEREF _Toc h HYPERLINK l _Toc B.概要 PAGER

15、EF _Toc h HYPERLINK l _Toc B. 有限形狀機(jī)器/形狀轉(zhuǎn)移圖表 PAGEREF _Toc h HYPERLINK l _Toc B. 時間Petri網(wǎng)絡(luò) PAGEREF _Toc h HYPERLINK l _Toc B. 計(jì)算機(jī)輔助規(guī)范工具 PAGEREF _Toc h HYPERLINK l _Toc B. 概要 PAGEREF _Toc h HYPERLINK l _Toc B.面向非特定方法的工具 PAGEREF _Toc h HYPERLINK l _Toc B. 具有分層分析的面向模型的流程 PAGEREF _Toc h HYPERLINK l _Toc B

16、.實(shí)體模型 PAGEREF _Toc h HYPERLINK l _Toc B. 鼓勵和答案 PAGEREF _Toc h HYPERLINK l _Toc B.清單 PAGEREF _Toc h HYPERLINK l _Toc B. 規(guī)范的檢查 PAGEREF _Toc h HYPERLINK l _Toc B. E/E/PES設(shè)計(jì)與開發(fā) PAGEREF _Toc h HYPERLINK l _Toc B. 指南與規(guī)范的遵守 PAGEREF _Toc h HYPERLINK l _Toc B. 構(gòu)造化設(shè)計(jì) PAGEREF _Toc h HYPERLINK l _Toc B. 運(yùn)用實(shí)驗(yàn)證明效

17、果良好的元件 PAGEREF _Toc h HYPERLINK l _Toc B. 模塊化 PAGEREF _Toc h HYPERLINK l _Toc B. 計(jì)算機(jī)輔助設(shè)計(jì)工具 PAGEREF _Toc h HYPERLINK l _Toc B. 仿真 PAGEREF _Toc h HYPERLINK l _Toc B. 檢查復(fù)查與分析 PAGEREF _Toc h HYPERLINK l _Toc B. 演示 PAGEREF _Toc h HYPERLINK l _Toc B. E/E/PES運(yùn)轉(zhuǎn)與維護(hù)流程 PAGEREF _Toc h HYPERLINK l _Toc B. 運(yùn)轉(zhuǎn)和維護(hù)

18、指點(diǎn) PAGEREF _Toc h HYPERLINK l _Toc B. 用戶友好性 PAGEREF _Toc h HYPERLINK l _Toc B. 維護(hù)的友好性 PAGEREF _Toc h HYPERLINK l _Toc B. 限制操作能夠性 PAGEREF _Toc h HYPERLINK l _Toc B. 只能由熟練的操作人員進(jìn)展操作 PAGEREF _Toc h HYPERLINK l _Toc B. 預(yù)防操作人員所產(chǎn)生的錯誤 PAGEREF _Toc h HYPERLINK l _Toc B.未被運(yùn)用 PAGEREF _Toc h HYPERLINK l _Toc B.

19、 發(fā)生改動 PAGEREF _Toc h HYPERLINK l _Toc B. 輸入確認(rèn) PAGEREF _Toc h HYPERLINK l _Toc B. E/E/PES 的集成 PAGEREF _Toc h HYPERLINK l _Toc B. 功能測試 PAGEREF _Toc h HYPERLINK l _Toc B. 黑盒測試 PAGEREF _Toc h HYPERLINK l _Toc B. 統(tǒng)計(jì)測試 PAGEREF _Toc h HYPERLINK l _Toc B.行業(yè)領(lǐng)域閱歷 PAGEREF _Toc h HYPERLINK l _Toc B. E/E/PES 平安確

20、認(rèn) PAGEREF _Toc h HYPERLINK l _Toc B. 在環(huán)境條件下的功能測試 PAGEREF _Toc h HYPERLINK l _Toc B. 干涉動搖免疫測試 PAGEREF _Toc h HYPERLINK l _Toc B.沒有被運(yùn)用 PAGEREF _Toc h HYPERLINK l _Toc B. 靜態(tài)分析 PAGEREF _Toc h HYPERLINK l _Toc B. 動態(tài)分析 PAGEREF _Toc h HYPERLINK l _Toc B. 錯誤分析 PAGEREF _Toc h HYPERLINK l _Toc B. 缺點(diǎn)模塊與效果分析 PA

21、GEREF _Toc h HYPERLINK l _Toc B. 原因結(jié)果圖表 PAGEREF _Toc h HYPERLINK l _Toc B.事件樹分析 PAGEREF _Toc h HYPERLINK l _Toc B. 錯誤方式，影響與危害程度分析 PAGEREF _Toc h HYPERLINK l _Toc B. 缺點(diǎn)樹分析 PAGEREF _Toc h HYPERLINK l _Toc B. 最壞案例分析 PAGEREF _Toc h HYPERLINK l _Toc B.擴(kuò)展的功能測試 PAGEREF _Toc h HYPERLINK l _Toc B. 最差案例測試 PAG

22、EREF _Toc h HYPERLINK l _Toc B. 錯誤插入測試 PAGEREF _Toc h HYPERLINK l _Toc 附件C補(bǔ)充知識性的獲得軟件平安完好性的技術(shù)和方法總覽見 IEC - PAGEREF _Toc h HYPERLINK l _Toc C. 概要 PAGEREF _Toc h HYPERLINK l _Toc C. 要求和詳細(xì)設(shè)計(jì) PAGEREF _Toc h HYPERLINK l _Toc C. 構(gòu)造化的方法 PAGEREF _Toc h HYPERLINK l _Toc C.概要 PAGEREF _Toc h HYPERLINK l _Toc C.

23、中心控制需求表現(xiàn) PAGEREF _Toc h HYPERLINK l _Toc C. JSD - 杰克遜系統(tǒng)的開發(fā) PAGEREF _Toc h HYPERLINK l _Toc C. MASCOT - 軟件構(gòu)造的組件方法，運(yùn)轉(zhuǎn)和測試 PAGEREF _Toc h HYPERLINK l _Toc C. 實(shí)時 Yourdon PAGEREF _Toc h HYPERLINK l _Toc C. SADT 構(gòu)造化分析與設(shè)計(jì)技術(shù) PAGEREF _Toc h HYPERLINK l _Toc C. 數(shù)據(jù)流圖表 PAGEREF _Toc h HYPERLINK l _Toc C. 構(gòu)造圖表 PAG

24、EREF _Toc h HYPERLINK l _Toc C. 方式方法 PAGEREF _Toc h HYPERLINK l _Toc C.概要 PAGEREF _Toc h HYPERLINK l _Toc C. CCS 通訊系統(tǒng)計(jì)算 PAGEREF _Toc h HYPERLINK l _Toc C. CSP - 通訊順序過程 PAGEREF _Toc h HYPERLINK l _Toc C. HOL 較高序列邏輯 PAGEREF _Toc h HYPERLINK l _Toc C. LOTOS PAGEREF _Toc h HYPERLINK l _Toc C. OBJ PAGERE

25、F _Toc h HYPERLINK l _Toc C. 暫時邏輯 PAGEREF _Toc h HYPERLINK l _Toc C. VDM,VDM+ - Vienna 開發(fā)方法 PAGEREF _Toc h HYPERLINK l _Toc C. Z PAGEREF _Toc h HYPERLINK l _Toc C. 維護(hù)性的編程 PAGEREF _Toc h HYPERLINK l _Toc C. 設(shè)計(jì)與編碼規(guī)范 PAGEREF _Toc h HYPERLINK l _Toc C. 概要 PAGEREF _Toc h HYPERLINK l _Toc C. 編碼規(guī)范 PAGEREF

26、_Toc h HYPERLINK l _Toc C. 沒有動態(tài)變量或者動態(tài)對象 PAGEREF _Toc h HYPERLINK l _Toc C. 在動態(tài)變量或者動態(tài)對象創(chuàng)建期間的在線檢查 PAGEREF _Toc h HYPERLINK l _Toc C. 有限運(yùn)用中斷 PAGEREF _Toc h HYPERLINK l _Toc C. 有限的制用指針 PAGEREF _Toc h HYPERLINK l _Toc C. 有限運(yùn)用迭代 PAGEREF _Toc h HYPERLINK l _Toc C. 構(gòu)造化編程 PAGEREF _Toc h HYPERLINK l _Toc C. 信

27、息隱藏/封裝 PAGEREF _Toc h HYPERLINK l _Toc C. 組件方法 PAGEREF _Toc h HYPERLINK l _Toc C. 運(yùn)用信任/驗(yàn)證的軟件組件和組成要素 PAGEREF _Toc h HYPERLINK l _Toc C. 架構(gòu)設(shè)計(jì) PAGEREF _Toc h HYPERLINK l _Toc C. 錯誤檢測與診斷 PAGEREF _Toc h HYPERLINK l _Toc C. 錯誤檢測與糾正代碼 PAGEREF _Toc h HYPERLINK l _Toc C. 錯誤斷言編程 PAGEREF _Toc h HYPERLINK l _To

28、c C. 軟件的多樣性多樣化編程 PAGEREF _Toc h HYPERLINK l _Toc C. 恢復(fù)阻塞 PAGEREF _Toc h HYPERLINK l _Toc C. 向后恢復(fù) PAGEREF _Toc h HYPERLINK l _Toc C. 向前恢復(fù) PAGEREF _Toc h HYPERLINK l _Toc C. 重試錯誤恢復(fù)機(jī)制 PAGEREF _Toc h HYPERLINK l _Toc C. 記住執(zhí)行的案例 PAGEREF _Toc h HYPERLINK l _Toc C. 合體的降級 PAGEREF _Toc h HYPERLINK l _Toc C.

29、人工智能錯誤糾正 PAGEREF _Toc h HYPERLINK l _Toc C. 動態(tài)重新配置 PAGEREF _Toc h HYPERLINK l _Toc C. 開發(fā)工具和編程言語 PAGEREF _Toc h HYPERLINK l _Toc C. 強(qiáng)健類型編程言語 PAGEREF _Toc h HYPERLINK l _Toc C. 認(rèn)證工具和認(rèn)證解釋器 PAGEREF _Toc h HYPERLINK l _Toc C. 工具和解釋器：運(yùn)用中添加的可信度： PAGEREF _Toc h HYPERLINK l _Toc C. 源程序與可執(zhí)行代碼的比較 PAGEREF _Toc

30、h HYPERLINK l _Toc C. 適宜的編程言語 PAGEREF _Toc h HYPERLINK l _Toc C. 驗(yàn)證和修正 PAGEREF _Toc h HYPERLINK l _Toc C. 概率測試 PAGEREF _Toc h HYPERLINK l _Toc C. 數(shù)據(jù)記錄和分析 PAGEREF _Toc h HYPERLINK l _Toc C. 接口測試 PAGEREF _Toc h HYPERLINK l _Toc C. 邊境值分析 PAGEREF _Toc h HYPERLINK l _Toc C. 錯誤猜測 PAGEREF _Toc h HYPERLINK

31、l _Toc C. 錯誤播種錯誤插值 PAGEREF _Toc h HYPERLINK l _Toc C. 等價類和輸入分割測試 PAGEREF _Toc h HYPERLINK l _Toc C. 基于構(gòu)造的測試 PAGEREF _Toc h HYPERLINK l _Toc C. 控制流分析. PAGEREF _Toc h HYPERLINK l _Toc C. 數(shù)據(jù)流分析 PAGEREF _Toc h HYPERLINK l _Toc C. 潛在電流分析 PAGEREF _Toc h HYPERLINK l _Toc C. 符號執(zhí)行 PAGEREF _Toc h HYPERLINK l

32、_Toc C. 方式驗(yàn)證 PAGEREF _Toc h HYPERLINK l _Toc C. Fagan 檢查 PAGEREF _Toc h HYPERLINK l _Toc C. 原型 /animation PAGEREF _Toc h HYPERLINK l _Toc C. 過程仿真 PAGEREF _Toc h HYPERLINK l _Toc C. 性能需求 PAGEREF _Toc h HYPERLINK l _Toc C. 性能建模 PAGEREF _Toc h HYPERLINK l _Toc C. 雪崩/壓力測試 PAGEREF _Toc h HYPERLINK l _Toc

33、 C. 呼應(yīng)定時與存儲約束 PAGEREF _Toc h HYPERLINK l _Toc C. 影響分析 PAGEREF _Toc h HYPERLINK l _Toc C. 軟件配置管理 PAGEREF _Toc h HYPERLINK l _Toc C. 功能平安估計(jì) PAGEREF _Toc h HYPERLINK l _Toc C. 決策表 (真實(shí)表) PAGEREF _Toc h HYPERLINK l _Toc C. 危害和操作性能研討 ( HAZOP ) PAGEREF _Toc h HYPERLINK l _Toc C. 通常缺點(diǎn)原因分析 PAGEREF _Toc h HYP

34、ERLINK l _Toc C. 馬爾科夫模型 PAGEREF _Toc h HYPERLINK l _Toc C. 可靠性方塊圖 PAGEREF _Toc h HYPERLINK l _Toc C. Monte-Carlo 仿真 PAGEREF _Toc h HYPERLINK l _Toc 附錄 D提供信息性質(zhì)的用于確定預(yù)先開發(fā)的軟件的軟件平安完好性的一個概率方法 PAGEREF _Toc h HYPERLINK l _Toc D. 概述 PAGEREF _Toc h HYPERLINK l _Toc D. 統(tǒng)計(jì)測試公式與它們運(yùn)用的例子 PAGEREF _Toc h HYPERLINK l

35、 _Toc D. 低懇求運(yùn)轉(zhuǎn)方式的簡單統(tǒng)計(jì)測試 PAGEREF _Toc h HYPERLINK l _Toc D. 先決條件 PAGEREF _Toc h HYPERLINK l _Toc D. 結(jié)果 PAGEREF _Toc h HYPERLINK l _Toc D. 例子 PAGEREF _Toc h HYPERLINK l _Toc D. 一個低懇求運(yùn)轉(zhuǎn)方式的輸入空間域測試 PAGEREF _Toc h HYPERLINK l _Toc D. 先決條件 PAGEREF _Toc h HYPERLINK l _Toc D. 結(jié)果 PAGEREF _Toc h HYPERLINK l _T

36、oc D. 例子 PAGEREF _Toc h HYPERLINK l _Toc D. 高懇求或者延續(xù)運(yùn)轉(zhuǎn)方式的簡單統(tǒng)計(jì)測試 PAGEREF _Toc h HYPERLINK l _Toc D. 先決條件 PAGEREF _Toc h HYPERLINK l _Toc D. 結(jié)果 PAGEREF _Toc h HYPERLINK l _Toc D. 例子 PAGEREF _Toc h HYPERLINK l _Toc D. 完全測試 PAGEREF _Toc h HYPERLINK l _Toc D. 先決條件 PAGEREF _Toc h HYPERLINK l _Toc D. 結(jié)果 PAG

37、EREF _Toc h HYPERLINK l _Toc D. 例子 PAGEREF _Toc h HYPERLINK l _Toc D. 參考文獻(xiàn) PAGEREF _Toc h TOC o - h z HYPERLINK l _Toc 參考文獻(xiàn)： PAGEREF _Toc h HYPERLINK l _Toc 索 引 PAGEREF _Toc h TOC o - h z HYPERLINK l _Toc 表C.l特定編程言語的建議 PAGEREF _Toc h HYPERLINK l _Toc 表D.l平安完好性程度可信度的必要?dú)v史紀(jì)錄 PAGEREF _Toc h HYPERLINK l

38、_Toc 表D.低懇求運(yùn)轉(zhuǎn)方式的缺點(diǎn)概率 PAGEREF _Toc h HYPERLINK l _Toc 表D.兩個測試點(diǎn)間的平均間隔 PAGEREF _Toc h HYPERLINK l _Toc 表D.高命令或者延續(xù)運(yùn)轉(zhuǎn)方式的缺點(diǎn)概率 PAGEREF _Toc h HYPERLINK l _Toc 表D.測試一切程序?qū)傩缘母怕?PAGEREF _Toc h 國際電氣委員會電氣/電子/可編程電子平安相關(guān)系統(tǒng)的功能平安性第七部分：技術(shù)與方法總覽前 言IEC國際電氣技術(shù)委員會是一個世界范圍的擔(dān)任規(guī)范化的組織，它由各個國家的電氣委員會國家IEC委員會。IEC的目的是在一切關(guān)于電氣與電子領(lǐng)域的問題上

39、提高國際協(xié)作。為了實(shí)現(xiàn)這個目的和其它的組織活動，IEC公布國際規(guī)范。國際規(guī)范的預(yù)備任務(wù)委托給技術(shù)委員會來完成；任何國家的IEC委員會假設(shè)對要指定的規(guī)范感興趣，都可以參與的規(guī)范制定的預(yù)備任務(wù)。IEC與國際規(guī)范化組織進(jìn)展嚴(yán)密協(xié)作，并遵守兩個組織曾經(jīng)達(dá)成一致的協(xié)議中的條件。IEC關(guān)于技術(shù)問題上的正式?jīng)Q議或者協(xié)議，都要盡能夠的，反映出相關(guān)主題的國際范圍內(nèi)的大多數(shù)意見，由于每個技術(shù)委員會是一切對此領(lǐng)域感興趣的國家委員會的代表。文件以建議的方式被制定以使它能在國際上運(yùn)用，并以規(guī)范的方式，技術(shù)闡明的方式，技術(shù)報(bào)告或者指南的方式進(jìn)展公布并被參與制定的國家委員會所接受。為了提高國際的一致性，IEC國家委員會承當(dāng)

40、了在國家和地域范圍內(nèi)最大限制的運(yùn)用IEC規(guī)范的任務(wù)。任何IEC規(guī)范與相應(yīng)的國家地域規(guī)范相矛盾的地方應(yīng)在后面明晰的指出來。IEC不以標(biāo)志性的方式表示成認(rèn)任何聲稱符合IEC規(guī)范的任何設(shè)備并不承當(dāng)任何責(zé)任。應(yīng)該留意到有能夠一些國際規(guī)范的根底和要素能夠涉及到了專利權(quán)的問題。IEC不對認(rèn)證這些專利權(quán)擔(dān)任。國際規(guī)范IEC -曾經(jīng)由擔(dān)任工業(yè)過程丈量與控制的IEC技術(shù)委員會的系統(tǒng)小組委員會A預(yù)備。這個規(guī)范的正文給予以下的文件：FDlS投票報(bào)告A/FDISA/RVD關(guān)于投票表決經(jīng)過規(guī)范的完好信息可以在報(bào)告中的投票表決部分查到，見上表。這次公布的規(guī)范按照ISO/IEC指點(diǎn)建議的第三部分?jǐn)M定附件中的A，B，C，D只

41、是起到提供信息的目的。IEC由以下部分組成，通用標(biāo)題為電氣/電子/可編程電子平安相關(guān)系統(tǒng)的功能平安性：- 第 部分：普通要求- 第 部分：電氣/電子/可編程電子平安相關(guān)系統(tǒng)的要求- 第 部分：軟件要求- 第 部分：定義和縮略語- 第 部分：確定平安整體程度方法的實(shí)例- 第 部分：IEC - 和IEC - 的運(yùn)用指南- 第 部分：技術(shù)和措施綜述委員會曾經(jīng)決議這次發(fā)布的規(guī)范內(nèi)容將在年以前堅(jiān)持不變。到期后，公布的規(guī)范將會再次確認(rèn)；取消；用修訂版本替代，或者修訂。簡 介由電氣和/或者電子元件組成的系統(tǒng)來完成平安功能曾經(jīng)在很多領(lǐng)域運(yùn)用很多年了，基于計(jì)算機(jī)的系統(tǒng)通常指可編程的電子系統(tǒng)PES正被運(yùn)用在非平安

42、功能的的一切領(lǐng)域中并且越來越多的開場完成平安功能的義務(wù)。假設(shè)計(jì)算機(jī)系統(tǒng)的技術(shù)要被有效平安的開發(fā)，那么那些擔(dān)任決策的人可以對那些決策涉及到的平安領(lǐng)域提供指點(diǎn)就顯得非常重要。這個國際規(guī)范制定了一個通用方法，這個通用方法針對由電氣和/或電子和/或可編程的電子元件電氣/電子/可編程的電子系統(tǒng)E/E/PES組成的系統(tǒng)的平安周期活動，這些元件主要用來執(zhí)行平安功能。為了能為一切的給予電氣的平安相關(guān)系統(tǒng)開發(fā)出一個合理并且耐久的技術(shù)戰(zhàn)略，這個一致方法曾經(jīng)被采用。一個主要的目的是便于運(yùn)用方面的規(guī)范的開發(fā)。在大多數(shù)情況下，平安性有許多維護(hù)系統(tǒng)來實(shí)現(xiàn)，這些維護(hù)系統(tǒng)基于很多技術(shù)例如機(jī)械，水力，風(fēng)力，電氣，電力，可編程的

43、電子安裝。因此任何平安系統(tǒng)必需不僅思索到一個單獨(dú)系統(tǒng)內(nèi)的一切元素例如傳感器，控制安裝和制動器而且要思索到一切的平安相關(guān)的系統(tǒng)，這些平安系統(tǒng)組成了平安相關(guān)系統(tǒng)的結(jié)合體。因此，由于這個國際規(guī)范關(guān)懷的是電氣/電子/可編程電子安裝E/E/PES平安相關(guān)系統(tǒng)，它同時可以提供了一個框架，在這個框架以內(nèi)，基于其它技術(shù)的平安相關(guān)系統(tǒng)也可以被思索。認(rèn)識到在不同運(yùn)用領(lǐng)域里的E/E/PES運(yùn)用的多樣性和廣泛的復(fù)雜性，危險性和潛在風(fēng)險，在任何的特定運(yùn)用里，平安性方法確實(shí)切規(guī)定將依賴于特定運(yùn)用的許多隱私。通用性的國際規(guī)范將使這樣的規(guī)定在未來的相關(guān)運(yùn)用領(lǐng)域的國際規(guī)范中被詳細(xì)闡明。關(guān)于這個國際規(guī)范 當(dāng)E/E/PES被用于執(zhí)

44、行平安性功能時，需求思索一切相關(guān)的E/E/PES和軟件平安周期階段例如，從初始概念，經(jīng)過設(shè)計(jì)，開發(fā)，運(yùn)轉(zhuǎn)和維護(hù)到淘汰; 這個規(guī)范的設(shè)計(jì)思索到了快速開展的技術(shù)；規(guī)范的框架是充分魯棒的并且全面順應(yīng)了未來開展的需求; 使處置平安相關(guān)的E/E/PES運(yùn)用領(lǐng)域規(guī)范可以得以開展；在這個規(guī)范框架內(nèi)的的運(yùn)用領(lǐng)域國際規(guī)范的開展應(yīng)該在運(yùn)用領(lǐng)域和交叉運(yùn)用領(lǐng)域堅(jiān)持高度一致例如，在根本的原那么，技術(shù)上，等等；他們將具有平安感和經(jīng)濟(jì)上的雙重利益； 提供了一個平安要求闡明開展的方法，這個方法對于E/E/PE平安相關(guān)系統(tǒng)的需求的功能平安是必要的。 運(yùn)用平安形狀程度來指定對于要被E/EP平安相關(guān)系統(tǒng)所執(zhí)行的平安功能的平安形狀的

45、目的程度; 采用基于風(fēng)險的方法來確定平安形狀程度要求; 為E/E/PE平安相關(guān)系統(tǒng)設(shè)定數(shù)字的目的失敗的衡量方法，它與平安形狀程度有關(guān); 在一個失敗的危險方式下，為目的失敗的衡量方法設(shè)定一個下限，這種方式可以要求一個單獨(dú)的E/E/PE平安相關(guān)系統(tǒng)；對于運(yùn)轉(zhuǎn)在以下情形下的E/E/PE平安相關(guān)系統(tǒng); 當(dāng)運(yùn)轉(zhuǎn)在一個低端命令方式時，下限的失敗概率通常被設(shè)置為，來執(zhí)行它的命令的設(shè)計(jì)功能; 當(dāng)運(yùn)轉(zhuǎn)在一個高端命令方式或者延續(xù)方式時，下限的危險失敗概率通常被設(shè)置為每小時;注- 一個單獨(dú)的E/E/PE平安相關(guān)系統(tǒng)不是一定具有單通道架構(gòu)。 采用廣泛的原理，技術(shù)和方法來獲得E/E/PE平安相關(guān)系統(tǒng)的功能平安性，但是不

46、依賴于缺點(diǎn)的功能平安性概念，當(dāng)缺點(diǎn)方式被完好定義并且復(fù)雜性程度相對比較低時，這個概念能夠很有價值 但是缺點(diǎn)平安的概念在這里被以為是不適宜的，由于E/E/PE平安相關(guān)系統(tǒng)得完全復(fù)雜性范圍處于規(guī)范范圍以內(nèi)，將由E/E/PE平安相關(guān)相關(guān)系統(tǒng)執(zhí)行的功能；曾經(jīng)就要就會執(zhí)行它的設(shè)計(jì)功能的缺點(diǎn)；每小時中的一個危險缺點(diǎn)。電器/電子/可編程電子平安相關(guān)系統(tǒng)的功能平安性第七部分：技術(shù)和方法總覽.范 范圍. IEC的這一部分包含了一個與IEC-和IEC-相關(guān)的關(guān)于各種平安技術(shù)和方法的總覽。留意注 - 這份參考資料應(yīng)該被看成是方法和工具的根本參考或者離子并且它們能夠不代表技術(shù)開展程度。. IEC -，IEC -，IE

47、C -和IEC -時根本的平安性公開規(guī)范，雖然這個情況不適用于低復(fù)雜性E/E/PE平安相關(guān)系統(tǒng)的背景中見IEC -的.。作為根本的平安性公開規(guī)范，它們能夠被籌備與IEC指南和ISO/ IEC指南原理相一致的規(guī)范的技術(shù)委員會運(yùn)用。IEC 同樣將被用作單機(jī)規(guī)范。技術(shù)委員會的一個責(zé)任是，無論在哪里運(yùn)用，要在它本人的公開規(guī)范中運(yùn)用平安性公開規(guī)范。在這種背景下，這種根本平安公開規(guī)范的需求，測試方法或者測試條件將不能運(yùn)用，除非曾經(jīng)在那些技術(shù)委員會預(yù)備的公開規(guī)范中特別提到或者包括進(jìn)去。留意 - 一個E/E/PE平安相關(guān)系統(tǒng)的功能平安只能在一切的相關(guān)要求曾經(jīng)滿足的情況下才干獲得。因此，很重要的一條就是一切的相

48、關(guān)要求要被仔細(xì)地思索，充分的參考。留意 - 在美國和加拿大，直到IEC 也就是IEC 建議的過程領(lǐng)域運(yùn)用作為國際規(guī)范在美國和加拿大公布，現(xiàn)存的基于IEC 也就是ANSI/ISA . -的國家過程平安規(guī)范可以作為IEC 的替代規(guī)范來運(yùn)用。. 圖顯示了這個規(guī)范的第部分到第部分的一切框架并指出了IEC -在E/E/PE平安相關(guān)系統(tǒng)的功能平安方面獲得的成果中所扮演的角色。定義和縮寫第部分文檔第五條款和附錄A功能平安管理第條第部分功能平安評價第條第部分第部分 第部分第部分和第部分運(yùn)用指南E/E/PE平安相關(guān)系統(tǒng)的平安要求的分配.E/E/PE平安相關(guān)系統(tǒng)的平安要求的分配.E/E/PE平安相關(guān)系統(tǒng)的安裝、調(diào)

49、試和平安確認(rèn)，. 和.第部分E/E/PE平安相關(guān)系統(tǒng)的運(yùn)轉(zhuǎn)和維護(hù)、改動和翻新、退役或者廢棄，. to .第部分用來開發(fā)平安完好性要求的基于風(fēng)險的方法第部分綜合平安要求的開發(fā) 概念、范圍定義、危險和風(fēng)險分析 E/E/PE平安相關(guān)系統(tǒng)、其它技術(shù)平安相關(guān)系統(tǒng)和外部風(fēng)險降低設(shè)備.P第部分技術(shù)要求用來開發(fā)平安完好性要求的基于風(fēng)險的方法第部分E/E/PE平安相關(guān)系統(tǒng)的平安要求的分配.第部分第部分其他要求第部分第部分規(guī)范參考文獻(xiàn)下面的規(guī)范文件包含了很多條款，經(jīng)過參考正文中的文獻(xiàn)，這些條款構(gòu)成了IEC這一部分的條款。對于過期的參考文獻(xiàn)，并不適用于下面任何公開規(guī)范的更正，或者修訂。然而，贊同遵守IEC的團(tuán)體將被

50、鼓勵研討將下面指出的大多數(shù)的最新文件版本進(jìn)展運(yùn)用的能夠性。對于更新的參考文獻(xiàn)，規(guī)范文件的最新版本指的是曾經(jīng)運(yùn)用的文件。ISO和IEC的會員維護(hù)當(dāng)前合法國際規(guī)范的登記注冊。IEC-：，電器氣/電子/可編程電子平安相關(guān)系統(tǒng)的功能平安 第一部分部分：普通要求IEC-，電器氣/電子/可編程電子平安相關(guān)系統(tǒng)的功能平安 第二部分：電器氣/電子/可編程電子平安相關(guān)系統(tǒng)的要求IEC-：，電器氣/電子/可編程電子平安相關(guān)系統(tǒng)的功能平安 第三部分：軟件要求IEC-：，電器氣/電子/可編程電子平安相關(guān)系統(tǒng)的功能平安 第四部分：定義和縮略語IEC-：，電器氣/電子/可編程電子平安相關(guān)系統(tǒng)的功能平安 第五部分：確定平安

51、形狀程度的發(fā)放實(shí)例IEC-：電器電氣/電子/可編程電子平安相關(guān)系統(tǒng)的功能平安 第六部分：IEC-和IEC-運(yùn)用的指南IEC指南 ：，平安性公開規(guī)范，根本平安性公開規(guī)范的運(yùn)用和群體平安性公開規(guī)范的預(yù)備IEC/ISO指南：，規(guī)范中關(guān)于平安性方面的涵蓋的指南義和縮略語為了實(shí)現(xiàn)IEC 的目的，運(yùn)用在IEC -種給出的定義和縮略語。附 件 A補(bǔ)充信息E/E/PES的技術(shù)和方法總覽：隨機(jī)硬件缺點(diǎn)的控制見IEC -A. 電器的全球目的：為了控制電器元件的缺點(diǎn)。A. 利用在線監(jiān)控進(jìn)展缺點(diǎn)檢測留意注 - 這個技術(shù)/方法被IEC-的表A.,A.,A.和A.到A.中參考。目的：經(jīng)過監(jiān)控E/E/PE平安相關(guān)系統(tǒng)的行為

52、對常規(guī)在線的控制中的設(shè)備EUC運(yùn)轉(zhuǎn)的呼應(yīng)，來檢測缺點(diǎn)。描畫：在特定條件下，缺點(diǎn)可以用EUC的例如時間表現(xiàn)的信息來檢測。例如，假設(shè)一個開關(guān)，它是E/E/PE平安相關(guān)系統(tǒng)的一部分，被EUC在正常情況下激活，假設(shè)開關(guān)沒有在預(yù)期的時間改動形狀，將會檢測出一個缺點(diǎn)。通常這不太能夠是本地缺點(diǎn)。A. 繼電器接點(diǎn)的監(jiān)控留意注 - 這個技術(shù)/方法被IEC-的表A.和A.參考。目的：檢測繼電器接點(diǎn)的缺點(diǎn)例如焊接。描畫：被動接點(diǎn)或者自動引導(dǎo)接點(diǎn)的繼電器的設(shè)計(jì)是為了它們的接點(diǎn)可以嚴(yán)密地連在一同。假設(shè)有兩套對調(diào)接點(diǎn)的安裝，a和b，假設(shè)正常翻開型接點(diǎn)，a，焊接，正常封鎖型接點(diǎn)b，當(dāng)緊挨著的繼電器線圈不能被斷開，那么不能閉

53、合。因此，當(dāng)繼電器線圈斷開時，對正常封鎖型的接點(diǎn)b封鎖情況的監(jiān)控可以被用來證明正常翻開型接點(diǎn)a曾經(jīng)翻開。正常封鎖接點(diǎn)b的閉合缺點(diǎn)指示了接點(diǎn)a的缺點(diǎn)，所以對任何由接點(diǎn)a控制的機(jī)器，監(jiān)控電流應(yīng)該保證可以正常封鎖，或者保證封鎖在進(jìn)展中。參考文獻(xiàn):Zusammenstellung und Bewertung elektromechanischer Sicherheitsschaltungen fr Verroeg-elungseinrichtungen. F. Kreutzkampf, W. Hertel, Sicherheitstechnisches Informations- und Arbeit

54、sblatt , BIA-Handbuch. . Lfg. X/, Erich Schmidt Verlag, Bielefeld.Anlagensicherung mit Mitteln der MSR-Technik. G. Strohrman, Oldenburg, .A. 比較器留意注 - 這個技術(shù)/方法被IEC-的表A.，A和A.參考。目的：為了能盡早盡能夠的在獨(dú)立處置單元或者比較器中檢測出非并發(fā)的缺點(diǎn)。描畫：獨(dú)立處置單元的信號被一個硬件比較器循環(huán)延續(xù)比較。比較器本身能夠被外部測試，或者它能夠運(yùn)用了自我監(jiān)控技術(shù)。在處置器的運(yùn)轉(zhuǎn)形狀上檢測出的差別將產(chǎn)生一個失敗的信息。A. 交叉投票表決

55、器留意注 - 這個技術(shù)/方法被IEC-的表A.，A和A.參考。目的：在至少三個硬件通道中的一個來檢測并屏蔽缺點(diǎn)。描畫：一個投票單元采用少數(shù)服從多數(shù)原那么相對于，相對于，或者m相對于n來檢測并屏蔽缺點(diǎn)。投票器本身能夠有外部檢測，或者它采用其它的自我監(jiān)控技術(shù)。參考文獻(xiàn): Guidelines for Safe Automation of Chemical Processes. CCPS, AIChE, New York, .化學(xué)過程平安自動化指南 CCPS, AIChE, New York, .Anlagensicherung mit Mitteln der MSR-Technik. Praxis

56、 der Sicherheitstechnik, Vol , Decherna, . ,Sicherung von Anlagen der Verfahrenstechnik mit Mitteln der Mess-, Steuerungs- und Regelungstechnik. VDINDE Blatt to , to .A. 停頓當(dāng)前任務(wù)方式中斷前往留意注 IEC -的表A.，AA，A和A.參考了這個技術(shù)/方法。目的：假設(shè)電源被切斷或者不可運(yùn)用，那么執(zhí)行平安功能.描畫：假設(shè)接點(diǎn)翻開并且沒有電流經(jīng)過，那么執(zhí)行平安功能。例如，假設(shè)運(yùn)用制動器來停頓馬達(dá)的危險性動作，那么經(jīng)過閉合平安相關(guān)系

57、統(tǒng)的接點(diǎn)來翻開制動器，經(jīng)過翻開平安相關(guān)系統(tǒng)的接點(diǎn)來封鎖制動器。參考文獻(xiàn)：化學(xué)處置的自動化指南，CCPS，AIChE，紐約，。AA. 電子總體目的：控制固態(tài)元件的缺點(diǎn)。留意注 IEC -的表A.，A,A.和A參考了這個技術(shù)/方法目的：為了用硬件冗余檢測缺點(diǎn)，例如，運(yùn)用其他的不需求執(zhí)行處置功能的硬件。描畫：榮譽(yù)硬件可以用來檢測指定平安功能的平率能否適宜。這個方法通常在實(shí)現(xiàn)A.或者A.時是必要的。參考文獻(xiàn)：Elektronik in der Sicherheitstechnik. H. Jrs, D. Reinert, Sicherheitstechnisches Informations- und

58、 Arbeitsblatt , BIA-Handbuch, Erich-Schmidt Verlag, Bielefeld, .A. 動力學(xué)原理留意注 IEC -的表A.參考了這個技術(shù)/方法目的：為了用動態(tài)信號處置來檢測靜態(tài)缺點(diǎn)描畫：另外的靜態(tài)信號的強(qiáng)迫變化內(nèi)部或者外部產(chǎn)生的協(xié)助 檢測元件中的靜態(tài)缺點(diǎn)。這個技術(shù)通常與機(jī)械電子元件聯(lián)絡(luò)在一同。參考文獻(xiàn)：Elektronik in der Sicherheitstechnik. H. Jrs, D. Reinert, Sicherheitstechnisches Informations-und Arbeitsblatt , BIA-Handbuc

59、h, Erich-Schmidt Verlag, Bielefeld, .A. 規(guī)范測試登陸端口和邊境檢測架構(gòu)留意注 IEC -的表A.，A和A.參考了這個技術(shù)/方法。目的：邊境檢測測試是一個IC設(shè)計(jì)技術(shù)描畫：這個技術(shù)經(jīng)過處理如何獲取登陸其范圍以內(nèi)的電流測試點(diǎn)這個問題提高了IC的可測性。在一個由中心邏輯模塊，輸入和輸出緩沖器組成的典型的邊境檢測IC里，一個移位存放器被放于近鄰IC管腳的中心邏輯模塊和輸入輸出緩沖器之間。每個邊緣檢測單元內(nèi)部都包含了移位存放器。經(jīng)過規(guī)范測試登陸端口，邊緣檢測單元可以控制并觀測每個IC的輸入輸出的發(fā)生的情況。IC中心邏輯模塊的內(nèi)部測試經(jīng)過將，單片中心邏輯模塊與從周圍

60、元件所接納的鼓勵別分開來然后執(zhí)行一個內(nèi)部測試，這樣一個過程來完成。這些測試可以用來檢測IC中的缺點(diǎn)。參考文獻(xiàn)：IEEE .:，規(guī)范測試登陸端口與邊境檢測架構(gòu)A. 自動防缺點(diǎn)安裝硬件留意注 - IEC-的表A.參考了這個技術(shù)/方法。目的：假設(shè)缺點(diǎn)出現(xiàn)，將系統(tǒng)置于平安形狀。描畫：在硬件銜接數(shù)控系統(tǒng)中，一個單元能夠運(yùn)轉(zhuǎn)在一個自動防缺點(diǎn)方式下，假設(shè) - 定義的一套缺點(diǎn)將導(dǎo)致一個平安的形狀，并且 - 它們被檢測出來例如 定義的一套缺點(diǎn)能夠包括綁定缺點(diǎn)，開路缺點(diǎn)，元件內(nèi)部和元件間的短路和定向短路。參考文獻(xiàn): Dependability of Critical Computer Systems . F. J