Research On The Application Of DSL In Software Development Of Computer Based Interlocking

The Computer Based Interlocking System (CBI) is the critical signal equipment used to ensure the traveling safety and improve the transportation efficiency. The interlocking software is the core part of the CBI system. In recent years, computer-based interlocking systems have been widely used, and became the main direction of the development of interlocking system, which bring out the new requests for technique and function to the interlocking software. The traditional software developing method has its drawbacks in reliability, safety, efficiency and maintainability. The paper proposes a new interlocking software developing strategy, based mainly on domain modeling language (Domain Specific Language, DSL), which have effectively improved the reliability, safety and automation level of the interlocking software through integrating DSL, model transformation technology, model verification and simulation theory and methods.The thesis focuses on route-control process, core part of interlocking system and presents a DSL based interlocking software developing method. It realizes the station drawing based on the DSL-S, the automatic generation and verification of interlocking tables, the route control process modeling, the generation of control program based on model transformation approaches and the code simulation.First, the thesis introduces the Domain Specific Language of Railway Station (DSL-S) and the designing objective of its editor, along with which a specific design method is also presented. Second, the thesis analyzes the main contents and generation methods of interlocking table, and then proposes the algorithm based on the idea of backtracking to generate interlocking tables automatically. Third, the thesis gives the method of interlocking-tables verification based on timed automata and its verification tool UPPAAL. Fourth, the thesis establishes the route control model using xUML based on the analysis of route control flow. Fifth, the thesis puts much emphasis on illustrating the principle of automatic generation of route control codes through the model transformation technology and the main steps of simulation of the generated codes. Finally, the thesis takes the interlocking software development of a rail station as the example to elaborate the actual application of the interlocking software developing method the paper proposed.The experiment results show that the interlocking software developed through the DSL based method is of high reliability, security, efficiency and is easy to be maintained. It can effectively meet the requirements of the railway CBI system's development.