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

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

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

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

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

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

全球化理論探討04-26

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

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

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

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

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

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

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