Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: A computer-based interlocking system (CIS) is a kind of safety-critical system widely applied in the signalling industry today. The relay logic is always used to describe the interlocking logic in CIS. Normally, all of the interlocking logic is designed by experienced signalling engineers manually, which leads to low efficiency and high cost. This article proposes a new logic design approach. In this new approach, a component-based model is used to represent the topology of the station layout, and statecharts are used to describe the interlocking logic. Then the statecharts description is transformed to the relay logic. The entire procedure of interlocking logic development can be finished automatically, and a software toolkit is implemented according to this approach. The introduction of statecharts also makes the formal verification of interlocking logic possible, which can guarantee the generated logic correction.
['Xiangxian Chen', 'Yu-Lin He', 'Huang H']
I am writing a research paper on a idea An approach to automatic development of interlocking logic based on Statechart
[{"from": "human", "value": "I am writing a research paper on a idea An approach to automatic development of interlocking logic based on Statechart"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: A computer-based interlocking system (CIS) is a kind of safety-critical system widely applied in the signalling industry today. The relay logic is always used to describe the interlocking logic in CIS. Normally, all of the interlocking logic is designed by experienced signalling engineers manually, which leads to low efficiency and high cost. This article proposes a new logic design approach. In this new approach, a component-based model is used to represent the topology of the station layout, and statecharts are used to describe the interlocking logic. Then the statecharts description is transformed to the relay logic. The entire procedure of interlocking logic development can be finished automatically, and a software toolkit is implemented according to this approach. The introduction of statecharts also makes the formal verification of interlocking logic possible, which can guarantee the generated logic correction."}]