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

Enterprise Information Systems

Volumn 7, Issue 3, 2013, Pages 354-374

  Chen, Xiangxian ^a   Guan, Aiai ^a   Qiu, Xinxi ^a   Huang, Hai ^a   Liu, Jiquan ^b   Duan, Huilong ^b  

^a ZHEJIANG UNIVERSITY   (China)

^b ZHEJIANG UNIVERSITY   (China)

Author keywords

application data configuration; automatic generation technology; enterprise system; IIIE; railway signalling system; workflow

Indexed keywords

APPLICATION DATA; AUTOMATIC GENERATION; ENTERPRISE SYSTEM; IIIE; RAILWAY SIGNALLING SYSTEMS; WORKFLOW;

ENTERPRISE RESOURCE PLANNING; RAILROADS; SECURITY SYSTEMS;

RAILROAD TRANSPORTATION;

EID: 84882727238     PISSN: 17517575     EISSN: 17517583     Source Type: Journal    
DOI: 10.1080/17517575.2012.705021     Document Type: Article

References (28)

1. Belmonte, F. Role of supervision systems in railway safety. COMPRAIL 2006 conference, July, Prague, Czech Republic. pp. 129-138. Southampton, UK: WIT Press.
2. 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.
3. Bowen, J. and Stavridou, V. 1993. Safety-critical systems, formal methods and standards. Software Engineering Journal, 8 (4): 189-209.
4. 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.
5. 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.
6. European Standards. 1999. CELENEC EN 50126:1999 Railway applications-the specification and demonstration of reliability, availability, maintainability and safety (RAMS)
7. European Standards. 2001. CELENEC EN 50128:2001 Railway applications-communications, signaling and processing systems-software for railway control and protection systems
8. European Standards. 2003. CELENEC EN 50129-1:2001 Railway applications-communication, signaling and processing systems-safety related electronic systems for signaling
9. 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.
10. Gao, C. 2007. Communication based train control system. Modern Urban Transit, 2: 7-10.
11. Geng, G. and Li, L. 2001. Scheduling railway freight cars. Knowledge-based Systems, 14: 289-297.
12. 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
13. Hansen, K.M. 1998. " Modeling railway interlocking systems. Vol. 33. Lyngby, Denmark ". In Department of Computer Science, 83-94. Technical University of Denmark.
14. 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.
15. 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
16. 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.
17. Liu, W. 2012. Soundness preservation in composed logical time workflow nets. Enterprise Information Systems, 6 (1): 95-113.
18. Mietzner, R. 2011. Horizontal and vertical combination of multi-tenancy patterns in service-oriented applications. Enterprise Information Systems, 5 (1): 59-77.
19. 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.
20. 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.
21. 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.
22. 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.
23. Xu, L. 2011a. Enterprise systems: state-of-the-art and future trends. IEEE Transactions on Industrial Informatics, 7 (4): 630-640.
24. Xu, L. 2011b. Information architecture for supply chain quality management. International Journal of Production Research, 49 (1): 183-198.
25. Xu, L. 2009. Modeling and analysis techniques for cross-organizational workflow systems. Systems Research and Behavioral Science, 26 (3): 367-389.
26. 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
27. 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.
28. 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.