An approach to automatic development of interlocking logic based on statechart

Enterprise Information Systems

Volumn 5, Issue 3, 2011, Pages 273-286

  Chen, Xiangxian ^a   He, Yulin ^b   Huang, Hai ^a  

^a ZHEJIANG UNIVERSITY   (China)

^b System Development Center   (China)

Author keywords

Component based model; Formal verification; High speed railway; Interlocking; Railway integrated information systems; Railway signalling systems; Statechart

Indexed keywords

COMPONENT-BASED MODELS; FORMAL VERIFICATIONS; HIGH-SPEED RAILWAYS; INTEGRATED INFORMATION SYSTEM; INTERLOCKING; RAILWAY SIGNALLING SYSTEMS; STATE CHARTS;

ACCIDENT PREVENTION; LOGIC DESIGN; RAILROAD TRANSPORTATION; RAILROADS; TOPOLOGY;

INTERLOCKING SIGNALS;

EID: 79960313421     PISSN: 17517575     EISSN: 17517583     Source Type: Journal    
DOI: 10.1080/17517575.2011.575475     Document Type: Article

References (18)

1. Banci, M., and Fantechi, A., 2005. Geographical versus functional modelling by statecharts of interlocking systems. Electronic Notes in Theoretical Computer Science, 133, 3-19.
2. Basten, T., Bol, R., and Voorhoeve, M., 1995. Simulating and analyzing railway interlockings in ExSpect. IEEE Parallel and Distributed Technology, 3 (3), 50-62.
3. Cimatti, A., et al., 1998. Formal verification of a railway interlocking system using model checking. Formal Aspects of Computing, 10 (4), 361-380.
4. Hansen, K.M., 1994. Formalising railway interlocking systems. In: Nordic seminar on dependable computing systems, August 1994, Technical University of Denmark, 83-94.
5. Harel, D., 1987. Statecharts: a visual formalism for complex systems. Science of Computer Programming, 8 (3), 231-274.
6. Hartonas-Garmhausen, V., et al., 2000. Verification of a safety-critical railway interlocking system with real-time constraints. 1. Science of Computer Programming, 36 (1), 53-64.
7. Ho, T., et al., 2002. Computer simulation and modeling in railway applications. Computer Physics Communications, 143 (1), 1-10.
8. Janota, A., 2000. Using Z specification for railway interlocking safety1. Periodica Polytechnica, Ser. Transport Engineering, 28 (1-2), 39-53.
9. Kanso, K., Moller, F., and Setzer, A., 2009. Automated verification of signalling principles in railway interlocking systems. Electronic Notes in Theoretical Computer Science, 250 (2), 19-31.
10. Manesis, S., and Akantziotis, K., 2005. Automated synthesis of Ladder automation circuits based on state-diagrams. Advances in Engineering Software, 36 (4), 225-233.
11. Mirabadi, A., and Yazdi, M., 2009. Automatic generation and verification of railway interlocking control tables using FSM and NuSMV. Transport Problems: an International Scientific Journal, 4, 103-110.
12. Pěnicka, M., 2007. Formal approach to railway applications. In: Formal methods and hybrid real-time systems. Berlin, Heidelberg: Springer-Verlag, 504-520.
13. Roanes-Lozano, E., et al., 2010. A logic approach to decision taking in a railway interlocking system using maple. Mathematics and Computers in Simulation, 58, 203-214.
14. Roanes-Lozano, E., and Laita, L., 1998. An applicable topology-independent model for railway interlocking systems. Mathematics and Computers in Simulation, 45 (1-2), 175-183.
15. Roanes-Lozano, E., Roanes-Macías, E., and Laita, L., 2000. Railway interlocking systems and Gröbner bases. Mathematics and Computers in Simulation, 51 (5), 473-481.
16. Roanes-Lozano, E., Roanes-Macías, E., and Laita, L., 2002. A computer algebra approach to the design of routes and the study of their compatibility in a railway interlocking* 1. Mathematics and Computers in Simulation, 58 (3), 203-214.
17. Sužiedelyte-Visockiene, J., 2006. Improvement of railway topographic plans updating technologies. Transport, 21 (2), 119-122.
18. Zhao, S., and Li, Z., 2009. Assembly information modelling and sequences generation algorithm of autobody. Enterprise Information Systems, 3 (2), 159-172.