1. Application development based on the Large Language Model;2. Developing Model-Based Development Tools, including a Modeler, Code generator, Test case automatic generator, and Formal validator;3. Developing the railway signal system, including the meta models of Interlocking and OBCU model, as far as the simulation system of tramway;4. Developing the tools for building Sites & Interlocking automatically with Simulink;5. Developing the tools for testing the Interlocking system automatically;6. Developing the tools for formal data validation.

1. Developing Model-Based Development Tools, including Modeler, Code generator, Test case automatic generator, and Formal validator;2. Developing the tramway signal system, including the meta models of Interlocking and OBCU model, as far as the simulation system of tramway;3. Developing the Automatic Train Supervision;4. Developing the tools for building Interlocking automatically with Simulink;5. Developing the tools for testing Interlocking automatically with Robot Framework;6. Developing the tools for formal data validation using B-Method;7. Developing the proven software using B-Method.

1. Event-B project for signal system and B project for signal software;2. BOOL interlocking development and formal verification based on PROVER iLock;3. Interlocking SCADE model automatic generator development, which can generate the Interlocking SCADE model according to site data;4. SCADE toolbox development, including memory/udp/tcp/com/new test framework, etc;5. SCADE models development, simulation, and testing verification for ZC;6. SCADE co-simulation platform development, which can do the simulation of SCADE model subsystem with external subsystem;7. Development of test tool for software, this tool can execute test cases rapidly and automatically, analyze the code coverage status, and also without compilation;8. Interlocking subsystem of CBTC development;9. RBC subsystem of CTCS-3 development;10. Radio communication handheld device development;11. Over 2 years of management testing and development department, completed the workflow construction, software test plan building, and completed the development of multiple CBTC subsystem test platforms.