一種新型安全計算機數(shù)據(jù)庫更新機制的設計和實現(xiàn).pdf

1、在航空航天、軌道交通、軍事以及能源電力等領域對計算機系統(tǒng)具有很高的可靠性和安全性要求，安全計算機作為一種高安全性、高可靠性設備，正越來越多的被應用在這些領域。
　　 安全計算機是通過多系之間的數(shù)據(jù)表決來保證輸入輸出的安全性的，這對于安全計算機內(nèi)部的正常數(shù)據(jù)是沒有任何問題的，但是當安全計算機在進行數(shù)據(jù)庫的更新時，由于數(shù)據(jù)庫的數(shù)據(jù)量非常的大，安全計算機是沒辦法對數(shù)據(jù)庫數(shù)據(jù)進行直接表決的，在這個情況下必須采取其它辦法來保證數(shù)據(jù)庫更新時

2、系統(tǒng)的安全性。傳統(tǒng)的方法是安全計算機多系之間各自進行更新，但這種更新方法無法檢測出各系之間數(shù)據(jù)庫版本不一致或者數(shù)據(jù)庫校驗失敗的情況。如果不直接對數(shù)據(jù)庫進行表決，而是對數(shù)據(jù)庫狀態(tài)進行表決來代替，就既沒有表決數(shù)據(jù)量過大的問題，也可以對多系之間的數(shù)據(jù)庫版本進行實時比對。采用這種基于數(shù)據(jù)庫狀態(tài)表決的表決機制可確保安全計算機數(shù)據(jù)庫在線更新的安全性。
　　 三取二安全計算機是安全計算機的一種，該安全計算機由三系組成，三系之間通過周期的同步和

3、數(shù)據(jù)的表決聯(lián)系起來，本文首先介紹了一種三取二安全計算機的硬件架構，然后對在該硬件架構之上的數(shù)據(jù)庫更新功能進行了需求分析以及軟件模塊的概要設計和詳細設計，之后介紹了數(shù)據(jù)庫更新時所需要用到的協(xié)議。
　　 軟件的設計完成以后需要對該更新機制進行安全性與可靠性的驗證。這里使用馬爾科夫的模型對該數(shù)據(jù)庫更新機制進行建模和計算。最后在安全計算機的平臺上對各種故障注入組合進行測試，統(tǒng)計并總結了測試結果，計算結果表明該數(shù)據(jù)庫更新機制完全能達到安全