n7_計算機(jī)聯(lián)鎖控制系統(tǒng)軟件的可靠性與安全性技術(shù)保障(編輯修改稿)
2025-03-31 05:59 本頁面
【文章內(nèi)容簡介】 障 計算機(jī)聯(lián)鎖技術(shù) 計算機(jī)聯(lián)鎖控制系統(tǒng)的軟件安全性與可靠性技術(shù)保障 計算機(jī)聯(lián)鎖技術(shù) 計算機(jī)聯(lián)鎖控制系統(tǒng)的軟件安全性與可靠性技術(shù)保障 計算機(jī)聯(lián)鎖技術(shù) 三、 數(shù)據(jù)的的安全性保障技術(shù) 1. 采用不對稱編碼表示涉及安全的信息 2. 關(guān)鍵數(shù)據(jù)異地多份存儲 3. 空間冗余 4. 規(guī)范化數(shù)據(jù)結(jié)構(gòu)與數(shù)據(jù)生成方式 5. 機(jī)輔設(shè)計 6. 數(shù)據(jù)完好的正確性檢驗(yàn) 7. 檢驗(yàn)軟件 計算機(jī)聯(lián)鎖控制系統(tǒng)的軟件安全性與可靠性技術(shù)保障 計算機(jī)聯(lián)鎖技術(shù) 四、功能軟件的可靠性與安全性保障 (一 ) 故障安全軟件設(shè)計的基本原則及方 采用冗余結(jié)構(gòu)，多樣性， 雙份編碼 充分的分析和測試 失敗或可疑時，可采用程序卷回的方法 所有在線的計算機(jī)應(yīng)該進(jìn)行連續(xù)的比較 正確的次序執(zhí)行 采用固件運(yùn)行的模式 失效發(fā)生 ，輸出限定在安全狀態(tài)。 監(jiān)視器防止程序進(jìn)入死循環(huán)或停止運(yùn)行 計算機(jī)聯(lián)鎖控制系統(tǒng)的軟件安全性與可靠性技術(shù)保障 計算機(jī)聯(lián)鎖技術(shù) (二 ) 程序設(shè)計階段必須遵循的措施 嚴(yán)格遵守軟件工程方法 編制正確的規(guī)格說明書 ，良好的軟件開發(fā)工具和環(huán)境 采用模塊化程序設(shè)計原則 ? (1)每個模塊對應(yīng)一種特定功能。 ? (2)一個模塊只應(yīng)有一個入口和一個出口。 ? (3)任何模塊長度不得超出該系統(tǒng)規(guī)定的極限。 ? (4)模塊間的接口應(yīng)盡可能簡單。 ? (5)模塊的輸入輸出參數(shù)應(yīng)限制到最少 計算機(jī)聯(lián)鎖控制系統(tǒng)的軟件安全性與可靠性技術(shù)保障 計算機(jī)聯(lián)鎖技術(shù) (二 ) 程序設(shè)計階段必須遵循的措施 采用結(jié)構(gòu)化程序設(shè)計原則 ? (1) 安全關(guān)鍵模塊之間的接口嚴(yán)格的校驗(yàn)。 ? (2) 明確的安全側(cè)和危險側(cè)。使用前進(jìn)行驗(yàn)證。 ? (3) 選擇結(jié)構(gòu)應(yīng)使用條件標(biāo)志的危險例編碼做為判斷條件；對選擇結(jié)構(gòu)的兩個出口必須規(guī)定哪一個是安全側(cè)。 ? (4) 應(yīng)校驗(yàn)危險出口有關(guān)的所有條件標(biāo)志；在選擇安全側(cè)出口時，只作簡單校驗(yàn)即可。 正確的數(shù)據(jù)結(jié)構(gòu)和良好的設(shè)計風(fēng)格 計算機(jī)聯(lián)鎖控制系統(tǒng)的軟件安全性與可靠性技術(shù)保障 計算機(jī)聯(lián)鎖技術(shù) (三 ) 軟件容錯設(shè)計基本技術(shù) N版本程序設(shè)計（ NVP）靜態(tài)冗余結(jié)構(gòu) ? 優(yōu)點(diǎn) : 機(jī)構(gòu)簡單，不需設(shè)計檢測程序 ? 缺點(diǎn)： ? ①處理時間是單版本的 N倍； ? ②設(shè)計所花的力量是單版本的 N倍； ? ③表決程序設(shè)計比較困難； ? ④與外部事件同步或并行處理中有交互過程時，難于處理。 計算機(jī)聯(lián)鎖控制系統(tǒng)的軟件安全性與可靠性技術(shù)保障 計算機(jī)聯(lián)鎖技術(shù) NVP結(jié)構(gòu) 計算機(jī)聯(lián)鎖控制系統(tǒng)的軟件安全性與可靠性技術(shù)保障 計算機(jī)聯(lián)鎖技術(shù) (三 )
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號-1