安全關(guān)鍵數(shù)據(jù)的反向驗證方法
【專利摘要】本發(fā)明公開了一種安全關(guān)鍵數(shù)據(jù)的反向驗證方法，包括：將聯(lián)鎖子系統(tǒng)軟件提供的二進制文件數(shù)據(jù)依據(jù)聯(lián)鎖下位機約定的順序形成安全關(guān)鍵數(shù)據(jù)的二進制數(shù)據(jù)模型；利用.Net中反射機制解析所述二進制文件到所述安全關(guān)鍵數(shù)據(jù)的二進制數(shù)據(jù)模型；然后在依據(jù)安全關(guān)鍵數(shù)據(jù)信息設(shè)計安全關(guān)鍵數(shù)據(jù)的配置數(shù)據(jù)、Excel數(shù)據(jù)模型和Excel數(shù)據(jù)特性；將安全關(guān)鍵數(shù)據(jù)的二進制數(shù)據(jù)模型通過特性轉(zhuǎn)換到Excel數(shù)據(jù)模型；Excel數(shù)據(jù)模型通過NPIO.DLL生成新的Excel文檔，讀入源Excel文檔和反向生成新的Excel文檔，比較兩份文檔之間的數(shù)據(jù)一致性，如果相同給出正確提示信息，如果不同給出警示信息并提供錯誤日志信息。本發(fā)明能保證提供給聯(lián)鎖子系統(tǒng)應(yīng)用軟件安全關(guān)鍵數(shù)據(jù)的準確性，保證聯(lián)鎖子系統(tǒng)的可靠性和魯棒性。
【專利說明】安全關(guān)鍵數(shù)據(jù)的反向驗證方法
【技術(shù)領(lǐng)域】
[0001]本發(fā)明涉及通訊領(lǐng)域，特別是涉及一種信號系統(tǒng)安全關(guān)鍵數(shù)據(jù)的反向驗證方法。【背景技術(shù)】
[0002]在CBTC (基于無線通信的列車自動控制系統(tǒng))地鐵信號控制系統(tǒng)中，聯(lián)鎖子系統(tǒng)是其中最為重要組成的一部分，為了確保整個系統(tǒng)的正常運行，那么要求子系統(tǒng)的配置數(shù)據(jù)的準確性和唯一性。從配置數(shù)據(jù)的所屬類別分析，主要是分為安全關(guān)鍵數(shù)據(jù)和非安全關(guān)鍵數(shù)據(jù)，安全關(guān)鍵數(shù)據(jù)主要是指聯(lián)鎖子系統(tǒng)的靜態(tài)數(shù)據(jù)。就目前而言，合理的驗證安全關(guān)鍵數(shù)據(jù)的準確性是聯(lián)鎖子系統(tǒng)運行的基礎(chǔ)，驗證的過程是保證數(shù)據(jù)不因為任何差錯導(dǎo)致的數(shù)據(jù)的錯誤，降低了系統(tǒng)的整體的魯棒性。由于軌道交通的數(shù)據(jù)準確的重要性，當(dāng)然對關(guān)鍵數(shù)據(jù)的準確性也就有了很高的要求，從而保證關(guān)鍵數(shù)據(jù)的準確性問題需要得到良好的解決。

【發(fā)明內(nèi)容】

[0003]本發(fā)明要解決的技術(shù)問題是提供一種能驗證聯(lián)鎖子系統(tǒng)軟件安全關(guān)鍵數(shù)據(jù)的準確性的信號系統(tǒng)安全關(guān)鍵數(shù)據(jù)的反向驗證方法。
[0004]本發(fā)明通過聯(lián)鎖子系統(tǒng)提供的安全關(guān)鍵數(shù)據(jù)，其形式為Excel文檔，該文檔總共包括四份文檔，分別是聯(lián)鎖表、IOBitmap、系統(tǒng)參數(shù)和子系統(tǒng)ID，而聯(lián)鎖配置數(shù)據(jù)軟件需要先讀取該Excel文檔，生成聯(lián)鎖子系統(tǒng)軟件的二進制文件，在讀取過程中，要驗證IOBitmap中的設(shè)備名稱必須在聯(lián)鎖表存在，以及驗證聯(lián)鎖表各個表之間的聯(lián)鎖拓撲邏輯關(guān)系，其次，在生成二進制文件過程中，合理保證數(shù)據(jù)的字節(jié)數(shù)以及數(shù)據(jù)的排序準確性，生成了二進制文件之后；
[0005]本發(fā)明安全關(guān)鍵數(shù)據(jù)的反向驗證方法，包括:
[0006]I)將聯(lián)鎖子系統(tǒng)軟件提供的二進制文件數(shù)據(jù)依據(jù)聯(lián)鎖下位機約定的順序形安全關(guān)鍵數(shù)據(jù)的二進制數(shù)據(jù)模型；
[0007]2)利用。Net中反射機制解析聯(lián)鎖子系統(tǒng)軟件提供的二進制文件到所述安全關(guān)鍵數(shù)據(jù)的二進制數(shù)據(jù)模型；
[0008]3)根據(jù)安全關(guān)鍵數(shù)據(jù)信息形成安全關(guān)鍵數(shù)據(jù)的配置數(shù)據(jù)、Excel數(shù)據(jù)模型和Excel數(shù)據(jù)特性；
[0009]配置數(shù)據(jù)主要包含設(shè)備名稱，設(shè)備繼電器名稱等信息，以配置數(shù)據(jù)中的設(shè)備信息作為標識，形成安全關(guān)鍵數(shù)據(jù)的Excel數(shù)據(jù)模型和Excel數(shù)據(jù)特性(Attribute)；
[0010]4)將安全關(guān)鍵數(shù)據(jù)的二進制數(shù)據(jù)模型通過特性轉(zhuǎn)換到Excel數(shù)據(jù)模型；
[0011]5) Excel數(shù)據(jù)模型通過NPI0.DLL生成新的Excel文檔
[0012]6)同時讀入系統(tǒng)提供的源Excel文檔和通過二進制文件反向生成新的Excel文檔，比較兩份文檔之間的數(shù)據(jù)的一致性，如果相同，給出正確提示信息，如果不同，給出警示信息并提供錯誤日志信息。
[0013]7)若為正確提示信息則提供給聯(lián)鎖子系統(tǒng)應(yīng)用軟件使用，若為警示信息則依據(jù)錯誤日志信息作出修改，直到驗證成功之后才提供給聯(lián)鎖子系統(tǒng)軟件。
[0014]本發(fā)明利用的聯(lián)鎖下位機的二進制文件，是由源Excel文件生成，通過安全反向驗證方法生成Excel,并比對Excel文件,形成閉環(huán)方式的安全驗證。CBTC地鐵信號控制系統(tǒng)中聯(lián)鎖子系統(tǒng)的安全關(guān)鍵數(shù)據(jù)通過本發(fā)明的反向驗證方法驗證之后，能保證提供給聯(lián)鎖子系統(tǒng)應(yīng)用軟件的安全關(guān)鍵數(shù)據(jù)的準確性，從而保證了聯(lián)鎖子系統(tǒng)的可靠性和魯棒性。
【專利附圖】

【附圖說明】
[0015]下面結(jié)合附圖與【具體實施方式】對本發(fā)明作進一步詳細的說明:
[0016]圖1是本發(fā)明的流程示意圖。
【具體實施方式】
[0017]通過系統(tǒng)提供的安全關(guān)鍵數(shù)據(jù)，其形式為Excel文檔，該文檔總共包括四份文檔，分別是聯(lián)鎖表、IOBitmap、系統(tǒng)參數(shù)和子系統(tǒng)ID，聯(lián)鎖配置數(shù)據(jù)軟件需要先讀取該Excel文檔，生成聯(lián)鎖子系統(tǒng)軟件的二進制文件。生成聯(lián)鎖子系統(tǒng)軟件的二進制文件之后，實施本發(fā)明實施本發(fā)明的反向驗證方法，包括:
[0018]I)將聯(lián)鎖子系統(tǒng)軟件提供的二進制文件數(shù)據(jù)依據(jù)聯(lián)鎖下位機約定的順序形安全關(guān)鍵數(shù)據(jù)的二進制數(shù)據(jù)模型；
[0019]二進制文件中是分模塊化組成，并且有一定的順序，以信號機二進制數(shù)據(jù)為例，二進制數(shù)據(jù)模型通過信號機每個字段所占字節(jié)數(shù)來設(shè)計一個class模型(即DataModel)，信號機每個字段對應(yīng)類中的屬性；安全關(guān)鍵數(shù)據(jù)的二進制文件是提供給聯(lián)鎖下位機軟件使用，順序如表I所示，該二進制文件包含所有的靜態(tài)數(shù)據(jù)，依據(jù)下位機約定的順序，表I所示二進制文件模塊順序為:系統(tǒng)參數(shù)，信號機，區(qū)段，道岔，屏蔽門，緊急停車按鈕，司機保護按鈕等等，通過信號機每個字段所占字節(jié)數(shù)來形成一個類數(shù)據(jù)模型，該二進制數(shù)據(jù)模型中信號機模塊每個字段與信號機類中的屬性對應(yīng)。
[0020]
【權(quán)利要求】
1.一種安全關(guān)鍵數(shù)據(jù)的反向驗證方法，其特征是，包括以下步驟: 1)將聯(lián)鎖子系統(tǒng)軟件提供的二進制文件數(shù)據(jù)依據(jù)聯(lián)鎖下位機約定的順序形成安全關(guān)鍵數(shù)據(jù)的二進制數(shù)據(jù)模型； 2)利用.Net中反射機制解析聯(lián)鎖子系統(tǒng)軟件提供的二進制文件到所述安全關(guān)鍵數(shù)據(jù)的二進制數(shù)據(jù)模型； 3)根據(jù)安全關(guān)鍵數(shù)據(jù)信息設(shè)計安全關(guān)鍵數(shù)據(jù)的配置數(shù)據(jù)、Excel數(shù)據(jù)模型和Excel數(shù)據(jù)特性； 配置數(shù)據(jù)主要包含設(shè)備名稱，設(shè)備繼電器名稱，二進制數(shù)據(jù)模型中各字段的字節(jié)長度等信息，以配置數(shù)據(jù)中的設(shè)備信息作為標識，形成安全關(guān)鍵數(shù)據(jù)的Excel數(shù)據(jù)模型和Excel數(shù)據(jù)特性； 4)將安全關(guān)鍵數(shù)據(jù)的二進制數(shù)據(jù)模型通過特性轉(zhuǎn)換到Excel數(shù)據(jù)模型； 5)Excel數(shù)據(jù)模型通過NPI0.DLL生成新的Excel文檔 6)同時讀入系統(tǒng)提供的源Excel文檔和通過二進制文件反向生成新的Excel文檔，比較兩份文檔之間的數(shù)據(jù)的一致性，如果相同，給出正確提示信息，如果不同，給出警示信息并提供錯誤日志信息。
2.如權(quán)利要求1所述的安全關(guān)鍵數(shù)據(jù)的反向驗證方法，其特征是:還包括步驟 7)若為正確提示信息則提供給聯(lián)鎖子系統(tǒng)應(yīng)用軟件使用，若為警示信息則依據(jù)錯誤日志信息作出修改，直到驗證成功之后才提供給聯(lián)鎖子系統(tǒng)軟件。
【文檔編號】G05B23/02GK103941719SQ201410109681
【公開日】2014年7月23日 申請日期:2014年3月21日 優(yōu)先權(quán)日:2014年3月21日
【發(fā)明者】饒皓 申請人:上海富欣智能交通控制有限公司