An approach to automatic development of interlocking logic based on Statechart-Reference-Cited by-同舟云学术

An approach to automatic development of interlocking logic based on Statechart

Published:2011-08 Issue:3 Volume:5 Page:273-286
ISSN:1751-7575
Container-title:Enterprise Information Systems
language:en
Short-container-title:Enterprise Information Systems

Author:

Chen Xiangxian,He Yulin,Huang Hai

Publisher

Informa UK Limited

Subject

Information Systems and Management,Computer Science Applications

Link

http://www.tandfonline.com/doi/pdf/10.1080/17517575.2011.575475

Reference18 articles.

1. Geographical Versus Functional Modelling by Statecharts of Interlocking Systems

2. Simulating and analyzing railway interlockings in ExSpect

3. Formal Verification of a Railway Interlocking System using Model Checking

4. Hansen, K. M. Formalising railway interlocking systems.Nordic seminar on dependable computing systems. pp.83–94. August 1994, Technical University of Denmark.

5. Statecharts: a visual formalism for complex systems

Cited by 28 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Decision making in railway interlocking systems based on calculating the remainder of dividing a polynomial by a set of polynomials;Electronic Research Archive;2023

2. Automatic Railway Signaling Generation for Railways Systems Described on Railway Markup Language (railML);IEEE Transactions on Intelligent Transportation Systems;2023

3. Intelligent control systems at stations for different categories of trains;THE THIRD INTERNATIONAL SCIENTIFIC CONFERENCE CONSTRUCTION MECHANICS, HYDRAULICS AND WATER RESOURCES ENGINEERING (CONMECHYDRO 2021 AS);2023

4. Simulation of a Safe Train Traffic Management System at the Stations;2022 Conference of Russian Young Researchers in Electrical and Electronic Engineering (ElConRus);2022-01-25

5. Design of railway signaling system using IR sensor as train detection;IOP Conference Series: Materials Science and Engineering;2021-03-01