Data configurations in railway signalling engineering - an application of enterprise systems techniques

References

• Belmonte , F. Role of supervision systems in railway safety . COMPRAIL 2006 conference, July, Prague, Czech Republic . pp. 129 – 138 . Southampton, UK : WIT Press .
   Google Scholar
• Bowen , J. Formal methods in safety-critical standards . Software engineering standards symposium, 1933. Proceedings, 30 August–3 September, Brighton . pp. 168 – 177 . Oxford, UK : Oxford University Press .
   Google Scholar
• Bowen , J. and Stavridou , V. 1993 . Safety-critical systems, formal methods and standards . Software Engineering Journal , 8 ( 4 ) : 189 – 209 .
   Web of Science ®Google Scholar
• Chen , X. , He , Y. and Huang , H. 2011a . An approach to automatic development of interlocking logic based on statechart . Enterprise Information Systems , 5 ( 3 ) : 273 – 286 .
   Web of Science ®Google Scholar
• Chen , X. , He , Y. and Huang , H. 2011b . A component-based topology model for railway interlocking systems . Mathematics and Computers in Simulation , 81 ( 9 ) : 1892 – 1900 .
   Web of Science ®Google Scholar
• European Standards . 1999 . CELENEC EN 50126:1999 Railway applications – the specification and demonstration of reliability, availability, maintainability and safety (RAMS)
   Google Scholar
• European Standards . 2001 . CELENEC EN 50128:2001 Railway applications – communications, signaling and processing systems – software for railway control and protection systems
   Google Scholar
• European Standards . 2003 . CELENEC EN 50129-1:2001 Railway applications – communication, signaling and processing systems – safety related electronic systems for signaling
   Google Scholar
• Fabien , B. , Louis , B.J. and Walter , S. 2007 . Human reliability analysis for automatic train supervision . Analysis, Design, and Evaluation of Human-Machine Systems , 10 ( 1 ) : 372 – 377 .
   Google Scholar
• Gao , C. 2007 . Communication based train control system . Modern Urban Transit , 2 : 7 – 10 .
   Google Scholar
• Geng , G. and Li , L. 2001 . Scheduling railway freight cars . Knowledge-based Systems , 14 : 289 – 297 .
   Web of Science ®Google Scholar
• Goddard , E. 2008 . Electric traction systems overview of signaling and train control systems . In: 2008 IET professional development course on electric traction systems , : 314 – 322 . 3–7 November 2008, Manchester, UK. Stevenage, UK: Institution of Engineering and Technology
   Google Scholar
• Hansen , K.M. 1998 . “ Modeling railway interlocking systems. Vol. 33. Lyngby, Denmark ” . In Department of Computer Science , 83 – 94 . Technical University of Denmark .
   Google Scholar
• Hartong , M. , Goel , R. and Wijesekera , D. Communications based positive train control systems architecture in the USA . 63rd IEEE international vehicle technology conference, 7–10 May, Australia . pp. 2987 – 2997 . Piscataway, NJ : Institute of Electrical and Electronics Engineers Inc .
   Google Scholar
• IEEE Standards . 2004 . TCN: IEEE standard for communications-based train control (CBTC) performance and functional requirements 1 – 45 . IEEE Std 1474.1-2004. New York: IEEE
   Google Scholar
• Li , L. and Liu , J. 2012 . An efficient and flexible web services-based multidisplinary design optimisation framework for complex engineering systems . Enterprise Information Systems , 6 ( 3 ) : 345 – 371 .
   Web of Science ®Google Scholar
• Liu , W. 2012 . Soundness preservation in composed logical time workflow nets . Enterprise Information Systems , 6 ( 1 ) : 95 – 113 .
   Web of Science ®Google Scholar
• Mietzner , R. 2011 . Horizontal and vertical combination of multi-tenancy patterns in service-oriented applications . Enterprise Information Systems , 5 ( 1 ) : 59 – 77 .
   Web of Science ®Google Scholar
• Minin , .A. V . Development of the communications-based train control system for Moscow metro . Railroad conference, 1997, proceedings of the 1997 IEEE/ASME Joint. 18–20 March 1997, Boston . pp. 201 – 210 . Piscataway, NJ : IEEE .
   Google Scholar
• Sato , Y. , Takashige , T. and Watanabe , . I . Advanced automatic train protection system . The 1996 5th international conference on computer aided design, manufacture and operation in the railway and other advanced mass transit systems, 21–23 August, Berlin . pp. 333 – 342 . Southampton, UK : Computational Mechanics Publications .
   Google Scholar
• Tashiro , K. and Matsumoto , M. Comparison of documents of an automatic train protection system project with RAMS standard . 2009 international symposium on autonomous decentralized systems, 23–25 March, Athens . pp. 479 – 483 . Piscataway, NJ : IEEE Computer Society .
   Google Scholar
• Wang , H. , Liu , S. and Gao , C. Study on model-based safety verification of automatic train protection system . Computational intelligence and industrial applications, PACIIA2009 Asia-Pacific conference on, 28–29 November, Wuhan . pp. 467 – 470 . Piscataway, NJ : IEEE Computer Society .
   Google Scholar
• Xu , L. 2011a . Enterprise systems: state-of-the-art and future trends . IEEE Transactions on Industrial Informatics , 7 ( 4 ) : 630 – 640 .
   Web of Science ®Google Scholar
• Xu , L. 2011b . Information architecture for supply chain quality management . International Journal of Production Research , 49 ( 1 ) : 183 – 198 .
   Web of Science ®Google Scholar
• Xu , L. 2009 . Modeling and analysis techniques for cross-organizational workflow systems . Systems Research and Behavioral Science , 26 ( 3 ) : 367 – 389 .
   Web of Science ®Google Scholar
• Xu , L. 2012 . Using propositional logic for requirements verification of service workflow . IEEE Transactions on Industrial Informatics , 8 (3). DOI: 10.1109/TII.2012. 2187908
   Web of Science ®Google Scholar
• Yang , X. , Xu , M. and Cheng , Y. Risk analysis for the modification in automatic train control systems . 2010 international symposium on computer communication control and automation (3CA), 5–7 May Tainan . pp. 100 – 103 . Piscataway, NJ : IEEE Computer Society .
   Google Scholar
• Zhao , X. , Tang , T. and Yan , F. A functional safety analysis approach for analyzing CBTC system . 2009 international conference on measuring technology and mechatronics automation, 11–12 April, Zhangjiajie . pp. 737 – 741 . Piscataway, NJ : IEEE Computer Society .
   Google Scholar