A method of dynamic V&V based on HILS for CTCS3

Chinese train control system level 3 (in short, CTCS3) is extremely complicated, and must be reliable and safe. Therefore, its design and development need to be validated by simulation. Particularly, we need to guarantee the reliability of the hardware-in-the-loop simulation (in short, HILS) system via verification and validation (V&V) during the modeling and simulation (M&S) for each sub-system. First, we analyze the common problem of most current V&V methods that they do not verify the model in this HILS system dynamically and automatically. Then, we present a dynamic V&V method based on HILS, and sequentially discuss the structure of the verifier, the verification algorithm and the validation criterion. Finally, we show how this method is successfully applied in CTCS3 HILS system.