•   Home
  • Proceedings
  • Proceedings of 2010 Cross-Strait Conference on Information S...

Proceedings of 2010 Cross-Strait Conference on Information Science and Technology (CSCIST 2010 E-BOOK)

Qinhuangdao,China,7.9-7.13，2010

ISBN: 978-1-935068-15-0 Scientific Research Publishing, USA

E-Book 840pp Pub. Date: July 2010

Category: Computer Science & Communications

Price: $120

Title: Safety Monitoring of Communication Session for CTCS-3
Source: Proceedings of 2010 Cross-Strait Conference on Information Science and Technology (CSCIST 2010 E-BOOK) (pp 529-532)
Author(s): Ming Chai, State Key Laboratory of Rail Traffic Control and Safety, Beijing Jiaotong University, Beijing
Xian Li, State Key Laboratory of Rail Traffic Control and Safety, Beijing Jiaotong University, Beijing
Lin Zhao, State Key Laboratory of Rail Traffic Control and Safety, Beijing Jiaotong University, Beijing
Tao Tang, State Key Laboratory of Rail Traffic Control and Safety, Beijing Jiaotong University, Beijing
Abstract: The safety of the communication session for CTCS-3 is of high importance. The method, using the framework of properties monitoring, is given to make sure the communication session running safely. In this framework, the relevant properties are described by finite LTL formulae. Then the framework is applied in the communication initiation process. Through analyzing the finite trace of the running system, the method is proved to be able to detect violations of safety properties. The method turns out to be feasible and appropriate for the verification of train control system.
Proceedings by Subjects
Resources
Products
Contact us
book@scirp.org
WhatsApp +86 18163351462(WhatsApp)
Click here to send a message to me 1243940697
Book Publishing WeChat
Follow SCIRP
Free SCIRP Newsletters
Copyright © 2006-2024 Scientific Research Publishing Inc. All Rights Reserved.
Top