Modeling and Realization of CBTC Interlocking System Using SCADE

2013 ◽  
Vol 823 ◽  
pp. 445-450
Author(s):  
Xi Wang ◽  
Shuo Liu

With the rapidly growing of passenger flow in big city, Communications Based Train Control (CBTC) system is believed to be the chief choice for urban railway transportation system. Interlocking system is a key safety critical application for CBTC, as it provides trains safety routes both in normal condition and under degraded mode. To deal with the logic complexity and high demand for safety, this paper addresses a novel scheme for modeling and realization of CBTC interlocking system. Using SCADE toolset, core function model prototypes are elaborated and software codes are generated automatically. The practical application indicates that this method provides an accurate and complete description for the whole system, and offers a path to gain high quality system implementation.

2013 ◽  
Vol 409-410 ◽  
pp. 1315-1319 ◽  
Author(s):  
Yan Hui Wang ◽  
Jun Jin ◽  
Man Li

Facing the typical big city is into the network operation ,currently, it brings some difficulties without the section traffic data obtained in real time to monitor and limit measures. To solve the problem, this paper adopts the second exponential smoothing models based on the historical data at the same period, and forecasts the subway section passenger flow. In this paper, the data is collected a section traffic in Beijing Subway from every Monday to every Friday in March 2013, and the former periods are used as the sample data, and predicts the last day, and compares them with the known data to check error. The result shows the method has a strong practical utility.


Author(s):  
Peter Torrellas ◽  
Daniel J. Paulish

This paper describes experience with developing and maintaining a requirements tracing model for a system of systems for Positive Train Control (PTC). Positive Train Control is a system of monitoring and controlling train movements to provide increased safety. A PTC system consists of four segments: locomotive, office, wayside, and communication. We have found that it is useful to describe the segments of a PTC system as a system of systems. A requirements tracing model has been developed to manage the requirements of a PTC system of systems. The tracing model provides traces from requirements, design, features, and test artifacts across the development lifecycle. Tracing models are required for safety-critical systems, and they are very useful for performing various types of impact analyses on a PTC development project. The characteristics of the tracing model are described and lessons learned with implementing the model are discussed.


Author(s):  
William G. Tuohey

Many years of effort have been expended by experienced practitioners and academic experts in developing software engineering standards. Organizations should see it as a positive advantage—rather than as a costly negative necessity—when they are required to develop software to a recognized standard. A genuine, constructive program of measures to ensure compliance with an objective standard will achieve development process improvements that would otherwise be difficult to motivate and bring to fruition. This chapter provides an overview and comparison of a number of software engineering standards specific to safety-critical and regulated sectors. It goes on to describe implications and benefits that flow from these standards. Informed by current software engineering research, suggestions are made for effective practical application of the standards, both at individual project and at organizational level.


Sign in / Sign up

Export Citation Format

Share Document