Formal modeling and verification for MVB
M Xia, K Lo, S Shao, M Sun - Journal of Applied Mathematics, 2013 - Wiley Online Library
Multifunction Vehicle Bus (MVB) is a critical component in the Train Communication Network
(TCN), which is widely used in most of the modern train techniques of the transportation …
(TCN), which is widely used in most of the modern train techniques of the transportation …
The bilevel design problem for communication networks on trains: model, algorithm, and verification
Y Tian, H Dong, L Jia, Y Qin, S Li - Mathematical Problems in …, 2014 - Wiley Online Library
This paper proposes a novel method to solve the problem of train communication network
design. Firstly, we put forward a general description of such problem. Then, taking …
design. Firstly, we put forward a general description of such problem. Then, taking …
[PDF][PDF] Formal Verification of Multifunction Vehicle Bus
L Zhang, D Qing, L Yu, M Xia, H Zhang, Z Li - 2018 - ep.liu.se
Abstract Multifunction Vehicle Bus (MVB) is a critical component in the Train Communication
Network (TCN), which represents a challenging problem for model checking. Although …
Network (TCN), which represents a challenging problem for model checking. Although …
Design of FPGA based frame transceiver of MVBC
D Qingfeng, Z Guoxin, Z Lixia… - 2013 3rd International …, 2013 - ieeexplore.ieee.org
A design of frame transceiver of Multifunction Vehicle Bus Controller (MVBC) utilized by
FPGA is proposed in this paper. Firstly at all, on the basis of analyzing the MVB …
FPGA is proposed in this paper. Firstly at all, on the basis of analyzing the MVB …