n7_計(jì)算機(jī)聯(lián)鎖控制系統(tǒng)軟件的可靠性與安全性技術(shù)保障-文庫吧資料
2025-03-17 05:59本頁面
【正文】 件容錯(cuò)設(shè)計(jì)基本技術(shù) 容錯(cuò)算法的設(shè)計(jì) ? 數(shù)值運(yùn)算容錯(cuò)設(shè)計(jì) （ 1）慎重設(shè)計(jì)算法，合理安排運(yùn)算順序 （ 2）子程序的容錯(cuò)設(shè)計(jì) ? 邏輯運(yùn)算的容錯(cuò)設(shè)計(jì) 計(jì)算機(jī)聯(lián)鎖控制系統(tǒng)的軟件安全性與可靠性技術(shù)保障 計(jì)算機(jī)聯(lián)鎖技術(shù) (四 ) 減少程序失控的編程技術(shù) ? 1．盡量采用單字節(jié)指令 ? 2．盡量少用程序控制類指令的操作碼作多字節(jié)指令的操作數(shù)，以降低程序失控的概率。 ? (4) 應(yīng)校驗(yàn)危險(xiǎn)出口有關(guān)的所有條件標(biāo)志；在選擇安全側(cè)出口時(shí)，只作簡(jiǎn)單校驗(yàn)即可。使用前進(jìn)行驗(yàn)證。 ? (5)模塊的輸入輸出參數(shù)應(yīng)限制到最少 計(jì)算機(jī)聯(lián)鎖控制系統(tǒng)的軟件安全性與可靠性技術(shù)保障 計(jì)算機(jī)聯(lián)鎖技術(shù) (二 ) 程序設(shè)計(jì)階段必須遵循的措施 采用結(jié)構(gòu)化程序設(shè)計(jì)原則 ? (1) 安全關(guān)鍵模塊之間的接口嚴(yán)格的校驗(yàn)。 ? (3)任何模塊長(zhǎng)度不得超出該系統(tǒng)規(guī)定的極限。 監(jiān)視器防止程序進(jìn)入死循環(huán)或停止運(yùn)行 計(jì)算機(jī)聯(lián)鎖控制系統(tǒng)的軟件安全性與可靠性技術(shù)保障 計(jì)算機(jī)聯(lián)鎖技術(shù) (二 ) 程序設(shè)計(jì)階段必須遵循的措施 嚴(yán)格遵守軟件工程方法 編制正確的規(guī)格說明書 ，良好的軟件開發(fā)工具和環(huán)境 采用模塊化程序設(shè)計(jì)原則 ? (1)每個(gè)模塊對(duì)應(yīng)一種特定功能。 有效組織各種程序高效運(yùn)行 ， 從而為用戶提供良好的 、 可擴(kuò)展的系統(tǒng)操作環(huán)境 ， 達(dá)到使用方便 、 資源分配合理 、 安全可靠的目的 。 計(jì)算機(jī)聯(lián)鎖控制系統(tǒng)的軟件安全性與可靠性技術(shù)保障 計(jì)算機(jī)聯(lián)鎖技術(shù) 二、 操作系統(tǒng)選擇與應(yīng)用 定義 操作系統(tǒng) 是最基本的系統(tǒng)軟件 ， 是計(jì)算機(jī)用戶和計(jì)算機(jī)硬件之間的接口程序模塊 ，是計(jì)算機(jī)系統(tǒng)的核心控制軟件 。電子信息工程學(xué)院 岳強(qiáng) 計(jì)算機(jī)聯(lián)鎖控制系統(tǒng)軟件可靠性與安全性技術(shù)保障 計(jì)算機(jī)聯(lián)鎖控制系統(tǒng)的軟件安全性與可靠性技術(shù)保障 計(jì)算機(jī)聯(lián)鎖技術(shù) 計(jì)算機(jī)聯(lián)鎖控制系統(tǒng)軟件可靠性與安全性技術(shù)保障 一、 軟件故障 二、 操作系統(tǒng)選擇與應(yīng)用 三、 數(shù)據(jù)的的安全性保障技術(shù) 四、 功能軟件的可靠性與安全性保障技術(shù) 計(jì)算機(jī)聯(lián)鎖控制系統(tǒng)的軟件安全性與可靠性技術(shù)保障 計(jì)算機(jī)聯(lián)鎖技術(shù) 一、 故障分析 故障的分類 (1)永久故障 :軟件編程出現(xiàn)錯(cuò)誤 (2)瞬間故障 ： 硬件的瞬間故障和干擾 。 軟件的故障安全性 指軟件無論是否完成其預(yù)定功能，不會(huì) 導(dǎo)致意外事故發(fā)生的概率 計(jì)算機(jī)聯(lián)鎖控制系統(tǒng)的軟件安全性與可靠性技術(shù)保障 計(jì)算機(jī)聯(lián)鎖技術(shù) 一、 故障分析 軟件故障安全性的主要研究?jī)?nèi)容 (1)軟件故障安全性需求分析及軟件故障安全性設(shè)計(jì) ? 消除與控制系統(tǒng)危險(xiǎn)的方法 ? 減少損失的方法 (2)軟件 故障安全 性驗(yàn)證和確認(rèn)
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號(hào)-1