一種用于形式化驗證的聯(lián)鎖數(shù)據(jù)安全轉(zhuǎn)換方法及翻譯器,采用不同的編程方法和編程語言開發(fā)兩個具有相同功能的翻譯器,所述翻譯器的輸入文件至少包含:聯(lián)鎖數(shù)據(jù)中的聯(lián)鎖信息表、設(shè)備接口信息表、站場描述數(shù)據(jù)和聯(lián)鎖布爾邏輯數(shù)據(jù),比較兩個翻譯器的輸出文件的一致性來實現(xiàn)對過程失效的檢測,從而保證數(shù)據(jù)的安全轉(zhuǎn)換。本發(fā)明無需對每個車站進(jìn)行專門的形式化開發(fā),降低了技術(shù)成本和設(shè)計風(fēng)險,安全性高,兼容性好,通用性強,應(yīng)用范圍廣。
聲明:
“用于形式化驗證的聯(lián)鎖數(shù)據(jù)安全轉(zhuǎn)換方法及翻譯器” 該技術(shù)專利(論文)所有權(quán)利歸屬于技術(shù)(論文)所有人。僅供學(xué)習(xí)研究,如用于商業(yè)用途,請聯(lián)系該技術(shù)所有人。
我是此專利(論文)的發(fā)明人(作者)