Haifeng Song

Development and analysis of a Train-centric Distance Measurement System by means of Colored Petri Nets


Front	Back

ISBN:

978-3-8440-6742-2

Series:

Automatisierungstechnik

Keywords:

Train-to-train communication; System development and evaluation; Train control system; Petri nets; Formal method

Type of publication:

Thesis

Language:

English

Pages:

180 pages

Figures:

97 figures

Weight:

247 g

Format:

21 x 14,8 cm

Bindung:

Paperback

Price:

48,80 € / 61,10 SFr

Published:

June 2019

Buy:

Download:

Available PDF-Files for this title:

You need the Adobe Reader, to open the files. Here you get help and information, for the download.

These files are not printable.


	Document		Document
	Type		PDF
	Costs		36,60 EUR
	Action		Purchase in obligation and display of file - 4,0 MB (4149959 Byte)
	Action		Purchase in obligation and download of file - 4,0 MB (4149959 Byte)


	Document		Table of contents
	Type		PDF
	Costs		free
	Action		Display of file - 352 kB (360368 Byte)
	Action		Download of file - 352 kB (360368 Byte)

User settings for registered users

You can change your address here or download your paid documents again.

User:	Not logged in.
Actions:	Login / Register Forgotten your password?

Recommendation:

You want to recommend this title?

Review copy:

Here you can order a review copy.

Link:

You want to link this page? Click here.

Export citations:

Text
BibTex
RIS

Abstract:

Based on the technology trends, the train control system should weaken the proportion of ground facilities, and give trains more individual initiative than in the past. As a result, the safety and flexibility of the train control system can be further improved. In this thesis, an enhanced movement authority system is proposed, which combines advantages of the train-centric communication with current movement authority mechanisms. To obtain the necessary train distance interval data, the onboard equipment and a new train-to-train distance measurement system (TTDMS) are applied as normal and backup strategies, respectively.

While different location technologies have been used to collect data for trains, the development and validation of new systems remain challenges. In this thesis, formal approaches are presented for developing and verifying TTDMS. To assist the system development, the Colored Petri nets (CPNs) are used to formalize and evaluate the system structure and its behavior. Based on the CPN model, the system structure is validated. Additionally, a procedure is proposed to generate a Code Architecture from the formal model. The system performance is assessed in detection range and accuracy. Therefore both mathematical simulation and practical measurements validation are implemented. The results indicate that the system is feasible to carry out distance measurements both in metropolitan and railway lines, and the formal approaches are reusable to develop and verify other systems.