基于交互式马尔可夫链的CTCS无线通信可靠性分析

CTCS无线通信的可靠性与整个系统的稳定性和安全性紧密相关,对其进行建模与分析具有重要意义。利用交互式马尔可夫链对CTCS无线通信的可靠性进行了建模与分析,主要解决了CTCS无线通信中存在的信道延时、通信故障、网络故障等随机事件与确定动作的分隔问题,以及带有同步的并发操作的实现问题。定义了交互式马尔可夫链的相关语义和逻辑刻画,给出了基于交互式马尔可夫链的模型检验算法。分析结果表明:在具有修复机制和双网冗余结构的条件下,系统在规定时间内完成数据传输的概率大于99%,24 h内连续正常工作的概率大于95%,满足系统要求。

Reliability Analysis of CTCS Train Radio Communication Based on Interactive Markov Chain

As the reliability of CTCS radio communication is closely related to the stability and security of the whole system,it is of great significance to model and analyze it.In this paper,the modelling and analysis on the reliability of CTCS radio communication by using Interactive Markov Chain,mainly solved the problem of separating random events such as channel delay,communication fault,network fault from deterministic actions in CTCS radio communication,and the realization of concurrent operation with synchronization.Relevant semantics and logic characterization of Interactive Markov Chains were defined,and an algorithm for modeling checking was given.The analysis results show that in the dual network redundancy structure with repair mechanism,the probability of completing data transmission within a specified time is greater than 99%,and the probability of 24 hour continuous normal operation is greater than 95%,which meets the system requirements.