CTCS-4无线通信故障恢复模型的形式化研究  

Research on Fault Recovery Modeling of CTCS-4 Wireless Communication System

作　　者：权庆乐[1] 胡晓辉[1] 

机构地区：[1]兰州交通大学电子与信息工程学院,甘肃兰州730070

出　　处：《兰州交通大学学报》2013年第1期68-72,共5页Journal of Lanzhou Jiaotong University

基　　金：国家自然科学基金(61163009)

摘　　要：对CTCS-4的无线通信系统的故障恢复模型进行了研究,使用Event-B对CTCS-4无线通信系统的故障恢复过程进行建模.通过证明义务对模型的逻辑正确性和完备性进行验证,证明其可以满足要求.The fault recovery model of CTCS-4 wireless communication system is studied, and the model of fault recovery process of wireless communication system is built with Event-B. The model＇s logical correctness and completeness are verified by proof obligations to proof it can meet the requirements.

关 键 词：CTCS-4 EVENT-B GSM-R 证明义务 

分 类 号：TP391.9[自动化与计算机技术—计算机应用技术]