论文信息 - Train control system modeling and design based on AADL

Train control system modeling and design based on AADL

Automatic train control system (ATC) is widely used in China, which effectively improve the efficiency of train operations, reduce system maintenance and construction costs, etc. In view of this situation, we propose the use of structural analysis and design language (AADL) for ATC modeling and analysis, It is described by automatic train protection (ATP), automatic train supervision (ATS) and Automatic train operation (ATO), then we use OSATE build ATC system. Through the ATC system modeling proved that the model is able to quickly and easily handle daily operation of the automatic train control system.

Lichen Zhang | Chuqian Li

[1] Peter H. Feiler,et al. The Architecture Analysis & Design Language (AADL): An Introduction , 2006 .

[2] Dong-Hyuk Choi,et al. Modeling of CBTC carborne ATO functions using SCADE , 2011, 2011 11th International Conference on Control, Automation and Systems.

[3] Jérôme Hugues,et al. Expressing and Enforcing User-Defined Constraints of AADL Models , 2010, 2010 15th IEEE International Conference on Engineering of Complex Computer Systems.

[4] Rajkumar Buyya,et al. Big Data Computing and Clouds: Challenges, Solutions, and Future Directions , 2013, ArXiv.

[5] Xiaomin Liu,et al. Modeling and reliability evaluation of Avionics Clouds based on AADL and GSPN , 2013, 2013 IEEE/AIAA 32nd Digital Avionics Systems Conference (DASC).

[6] Peter H. Feiler,et al. Developing AADL Models for Control Systems: A Practitioner's Guide , 2007 .

[7] Atsushi Kawabata,et al. The new ATC system with an autonomous speed control with on-board equipment , 2001, Proceedings 5th International Symposium on Autonomous Decentralized Systems.

[8] Steve Vestal,et al. The SAE Avionics Architecture Description Language (AADL) Standard: A Basis for Model-Based Architecture-Driven Embedded Systems Engineering , 2003 .