The Domain Modeling Of Railway Signal Interlocking Safety Control Logic Based On Feature Analysis

ABSTRACT:Computer interlocking system is a real-time controlling system which ensures the safety of trains and improves the transporting efficiency by operating signal equipment of stations. Being the kernel of interlocking system, computer interlocking software is a large-scale and safty-critical one which has complex funcions. It’s hard to develop the interlocking software easily and timely. Along with the computer interlocking technology development, achieving software reuse has practical significance for promoting the software development efficiency and software quality in the interlocking development.The traditional interlocking software developing method has its drawbacks on guiding implementing software reuse, because of the lack of efficient techniques. Domain engineering, which is a key technique to achieve software reuse, can effectively realize large granularity software reuse. Therefore, developing interlocking software based on the domain engineer method is a subject which deserves research. On the background of interlocking system, with the concept of domain engineering, this paper researches on the domainmodeling and development of interlocking system core functions based on feature analysis. It has done the jobs as following:(1) Analyzed the methods and status of interlocking software development and the lack of achieving software reuse, expounded the definition and engineering significance of domain engineering and analyzed the feasibility and importance of the interlocking software development based on domain engineer method.(2) Expounded the research status and the developing direction of domain engineer method and according to the characteristics of the interlocking system, determined that the domain modeling method based on feature analysis is used to develop the interlocking software.(3) Used the feature-oritented domain analysis method to analyze the interlocking system requirements,divided the domain hierarchy of interlocking software, defined the boundary of the interlocking logic domain by the context analysis, designed the entity-relationship model to describe the domain knowledge in terms of domain entites and their relationships, established feature models of signaling control elements, including signal, switch, section and route, to capture domain-user’s requirements and analyzed data-flow relationships between functions by building functional models.(4) According to feature models, the domain meta-model of interlocking logic was built by using GME and the domain-specific modeling language was generated by the meta-model interpreter. The usability of the modeling languagewas was verified by constructing the router-selecting function model.According to the researches, it is declared that interlocking software modeled and developed with the domain-specific modeling method based on feature-oriented domain analysis is easy to implement and has practical value, and this would provide references for enhancing the interlocking software developing method.