A component-based topology model for railway interlocking systems

Mathematics and Computers in Simulation

Volumn 81, Issue 9, 2011, Pages 1892-1900

  Xi'angXi'an, Chen ^a   Yulin, He ^b   Hai, Huang ^a  

^a ZHEJIANG UNIVERSITY   (China)

^b System Development Center   (China)

Author keywords

Component based model; Interlocking system; Signaling system; Station topology

Indexed keywords

COMPONENT BASED; COMPONENT-BASED MODELS; CONNECTED COMPONENT; INTERLOCKING SYSTEM; NEW STATIONS; RAILWAY INTERLOCKING SYSTEM; RAILWAY STATIONS; ROUTE INFORMATION; SIGNALING SYSTEM; SOFTWARE TOOL; STATION TOPOLOGY; TOPOLOGY MODEL;

INTERLOCKING SIGNALS; RAILROADS; SAFETY DEVICES; SIGNALING;

TOPOLOGY;

EID: 79955558379     PISSN: 03784754     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.matcom.2011.02.007     Document Type: Article

References (14)

1. M. Banci, and A. Fantechi Geographical versus functional modelling by statecharts of interlocking systems Electronic Notes in Theoretical Computer Science 133 2005 3 19 (Pubitemid 40655193)
2. T. Basten, R. Bol, and M. Voorhoeve Simulating and analyzing railway interlockings in ExSpect IEEE Parallel and Distributed Technology 3 1995 50 62
3. K. Hansen, Modelling railway interlocking systems, in: Department of Computer Science, Technical University of Denmark, Citeseer.
4. V. Hartonas-Garmhausen, S. Campos, A. Cimatti, E. Clarke, and F. Giunchiglia Verification of a safety-critical railway interlocking system with real-time constraints Science of Computer Programming 36 2000 53 64 (Pubitemid 30541793)
5. T. Ho, B. Mao, Z. Yuan, H. Liu, and Y. Fung Computer simulation and modeling in railway applications Computer Physics Communications 143 2002 1 10 (Pubitemid 34097257)
6. A. Janota Using z specification for railway interlocking safety Periodica Polytechnica Transport Engineering 28 2000 39 53 (Pubitemid 33060746)
7. K. Kanso, F. Moller, and A. Setzer Automated verification of signalling principles in railway interlocking systems Electronic Notes in Theoretical Computer Science 250 2009 19 31
8. K. Kanso, A. Setzer, M. Roggenbach, T. Margaria, J. Padberg, G. Taentzer, K. Kanso, A. Setzer, Specifying Railway Interlocking Systems, 2010.
9. M. Pěnička, Formal approach to railway applications, in: Formal Methods and Hybrid Real-time Systems, Springer-Verlag, pp. 504-520.
10. E. Roanes-Lozano, A. Hernando, J. Alonso, L. Laita, A logic approach to decision taking in a railway interlocking system using maple, Mathematics and Computers in Simulation (2010).
11. E. Roanes-Lozano, and L. Laita An applicable topology-independent model for railway interlocking systems Mathematics and Computers in Simulation 45 1998 175 183 (Pubitemid 128450745)
12. E. Roanes-Lozano, E. Roanes-Macías, and L. Laita Railway interlocking systems and Gröbner bases Mathematics and Computers in Simulation 51 2000 473 481
13. E. Roanes-Lozano, E. Roanes-Macías, and L. Laita A computer algebra approach to the design of routes and the study of their compatibility in a railway interlocking Mathematics and Computers in Simulation 58 2002 203 214 (Pubitemid 34110228)
14. R. Short, Safety assurance of configuration data for railway signal interlockings, in: The 1st Institution of Engineering and Technology International Conference on System Safety, pp. 174-178.