Skip to main content

2 Result(s)

within TianHua Xu Remove this filter Engineering, general Remove this filter

and

  1. No Access

    Article

    Formal verification of safety protocol in train control system

    In order to satisfy the safety-critical requirements, the train control system (TCS) often employs a layered safety communication protocol to provide reliable services. However, both description and verificati...

    Yan Zhang, Tao Tang, Ke** Li, Jose Manuel Mera… in Science China Technological Sciences (2011)

  2. No Access

    Article

    Dependability analysis of the data communication system in train control system

    Communication based train control (CBTC) system is based on mobile communication and overcomes fixed blocks in order to increase track utilization and train safety. The data communication system (DCS) between ...

    TianHua Xu, Tao Tang, ChunHai Gao… in Science in China Series E: Technological S… (2009)