利用時間自動機(jī)理論探討客專RBC控車流程

基于時間自動機(jī)理論,在UPPAAL這種目前最先進(jìn)的實(shí)時系統(tǒng)建模分析驗(yàn)證工具中,對RBC系統(tǒng)消息收發(fā)進(jìn)行分析、建模及驗(yàn)證.最終對RBC系統(tǒng)控車消息收發(fā)流程的特性進(jìn)行驗(yàn)證,對于保證RBC系統(tǒng)控車流程的安全性、減少系統(tǒng)開發(fā)周期及開發(fā)成本都有重要的實(shí)際意義.

作 者： 童超 Tong Chao   作者單位： 中鐵第一勘察設(shè)計(jì)院集團(tuán)有限公司,西安,710043  刊 名： 鐵路通信信號工程技術(shù)  英文刊名： RAILWAY SIGNALLING & COMMUNICATION ENGINEERING  年，卷(期)： 2010 7(1)  分類號： U2  關(guān)鍵詞： RBC   時間自動機(jī)   UPPAAL   建模驗(yàn)證  

【利用時間自動機(jī)理論探討客專RBC控車流程】相關(guān)文章：

對不良桑葉處理與利用的探討04-26

生態(tài)恢復(fù)理論探討04-25

全球化理論探討04-26

磷石膏綜合利用現(xiàn)狀探討04-26

我國磷石膏利用途徑的探討04-26

城市污水及其回收利用的技術(shù)探討04-26

十二平均律的理論探討04-26

磷石膏綜合利用途徑探討04-26

引黃灌區(qū)水沙的綜合利用及探討04-26

含砷廢渣的資源化利用技術(shù)探討04-26