Specification of Railway Cyber Physical Systems Using AADL
Railway cyber physical systems involve interactions between software controllers, communication networks, and physical devices. These systems are among the most complex cyber physical systems being designed by humans, but the complexities of railway cyber
- PDF / 2,168,814 Bytes
- 11 Pages / 439.37 x 666.142 pts Page_size
- 90 Downloads / 194 Views
Abstract Railway cyber physical systems involve interactions between software controllers, communication networks, and physical devices. These systems are among the most complex cyber physical systems being designed by humans, but the complexities of railway cyber physical systems make their development a significant technical challenge. Various development technologies are now indispensable for quickly developing safe and reliable transportation systems. In this paper, we apply AADL to specify railway cyber physical systems and give a detailed analysis and design of the CBTC system. The CBTC system is split into four subsystems and makes friendly communication between the other three subsystems connecting to the data communication subsystem. We apply AADL to model each subsystem and give a detailed analysis and modeling, and make an effective integration of all subsystems together to form a complete CBTC system finally. Keywords Railway cyber physical systems
AADL Specification CBTC
Introduction The problems that must be addressed in operating a railway are numerous in quantity, complex in nature, and highly inter-related [1–3]. For example, collision and derailment, rear-end, head-on and side-on collisions are very dangerous and may occur between trains. Trains may collide at level crossings. Derailment is caused by excess speed, a wrong switch position and so on. The purpose of train control is to carry the passengers and goods to their destination, while preventing L. Zhang (&) Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai 200062, China e-mail: [email protected]
Y.-M. Huang et al. (eds.), Advanced Technologies, Embedded and Multimedia for Human-centric Computing, Lecture Notes in Electrical Engineering 260, DOI: 10.1007/978-94-007-7262-5_45, Ó Springer Science+Business Media Dordrecht 2014
377
378
L. Zhang
them from encountering these dangers. Because of the timeliness constraints, safety and availability of train systems, the design principles and implementation techniques adopted must ensure to a reasonable extent avoidance of design errors both in hardware and software. The train to train collision accident that happened on July 23, 2011 in one of the high speed lines gave a big hit to the high speed railway development in China. Besides a great surprise, everybody is eager to know what has happened, what went wrong, whose responsibility it is. The accident investigation report published in December 2011 described the events and the software and hardware failures of the train control system equipments. Thus, a specific methodology relevant, to design should be applied for train control systems development. The dependability of the railway cyber physical system should arouse more attention [4, 5]. The development of railway cyber physical systems is a challenging process. On the one hand, the railway domain experts have to make the requirement analysis for the railway cyber physical systems in such a way that they are implementable. On the other h
Data Loading...
