TY - JOUR A2 - 朱，李盟 - 锋，好难PY - 2018 DA - 2018年6月4日TI - 研究列车对列车通信SP的形式化建模与检验 - 2406968 VL - 2018 AB - VBTC（车辆-to-车辆基于通信的列车控制）已逐渐成为在轨道交通领域的一个重要研究方向。这导致减少路边器材的件数和提高实时系统的通信效率的优点。特性及列车至列车的通信机制，安全关键系统的关键实现技术，给出了和讨论。一种新的方法，基于所述LTS（标记为过渡系统）模型检查，提出了一种用于在通信过程中验证所述安全属性。的LTS方法适用于模型系统行为;分析和安全性验证用LTSA（标记过渡系统分析器）软件的装置进行检查。结果表明，这是验证安全性能，以及协助复杂系统的设计和开发的有效方法。SN - 1530-8669 UR - https://doi.org/10.1155/2018/2406968 DO - 10.1155 /二百四十○万六千九百六十八分之二千○十八JF - 无线通信和移动计算PB - Hindawi出版KW - ER -