Advances in Communications-Based Train Control Systems PDF Download

Author: F. Richard Yu
Publisher: CRC Press
ISBN: 1482257459
Category : Computers
Languages : en
Pages : 270

View

Book Description
With rapid population explosion, improving rail transit speed and capacity is strongly desirable around the world. Communication-based train control (CBTC) is an automated train control system using high capacity bidirectional train-ground communications to ensure the safe operation of rail vehicles. This book presents the latest advances in CBTC r

Author: Alain Pirovano
Publisher: Springer
ISBN: 3319568809
Category : Computers
Languages : en
Pages : 149

View

Book Description
This book constitutes the proceedings of the 12th International Workshop on Communication Technologies for Vehicles, Nets4Cars/Nets4Trains/Nets4Aircraft 2017, held in Toulouse, France, in May 2017. The 12 full papers presented together with 2 demo papers in this volumewere carefully reviewed and selected from 16 submissions. The volume features contributions in the theory or practice of intelligent transportation systems (ITS) and communication technologies for: Vehicles on road: e.g. cars, tracks and buses; Air: e.g. aircraft and unmanned aerial vehicles; and Rail: e.g. trains, metros and trams.

Author: Zhenyuan Zhang
Publisher: Springer Nature
ISBN: 9811922594
Category : Technology & Engineering
Languages : en
Pages : 1238

View

Book Description
This book features high-quality, peer-reviewed papers from the 2021 6th International Conference on Intelligent Transportation Engineering (ICITE 2021), held in Beijing, China, on October 29–31, 2021. Presenting the latest developments and technical solutions in Intelligent Transportation engineering, it covers a variety of topics, such as intelligent transportation, traffic control, road networking, intelligent automobile and vehicle operation & management. The book will be a valuable reference for graduate and postgraduate audiences, researchers and engineers, working in Intelligent Transportation Engineering.

Author: Zhang-Dui Zhong
Publisher: Springer
ISBN: 3662548607
Category : Law
Languages : en
Pages : 354

View

Book Description
This book addresses the fundamental theory and key technologies of narrowband and broadband mobile communication systems specifically for railways. It describes novel relaying schemes that meet the different design criteria for railways and discusses the applications of signal classification techniques as well as offline resource scheduling as a way of advancing rail practice. Further, it introduces Novel Long Term Evolution for Railway (LTE-R) network architecture, the Quality of Service (QoS) requirement of LTE-R and its performance evaluation and discusses in detail security technologies for rail-dedicated mobile communication systems. The advanced research findings presented in the book are all based on high-speed railway measurement data, which offer insights into the propagation mechanisms and corresponding modeling theory and approaches in unique railway scenarios.It is a valuable resource for researchers, engineers and graduate students in the fields of rail traffic systems, telecommunication and information systems.

Author: Baoming Liu
Publisher: Springer Nature
ISBN: 9811529140
Category : Technology & Engineering
Languages : en
Pages : 715

View

Book Description
This book reflects the latest research trends, methods and experimental results in the field of electrical and information technologies for rail transportation, which covers abundant state-of-the-art research theories and ideas. As a vital field of research that is highly relevant to current developments in a number of technological domains, the subjects it covered include intelligent computing, information processing, Communication Technology, Automatic Control, etc. The objective of the proceedings is to provide a major interdisciplinary forum for researchers, engineers, academicians as well as industrial professionals to present the most innovative research and development in the field of rail transportation electrical and information technologies. Engineers and researchers in academia, industry, and the government will also explore an insight view of the solutions that combine ideas from multiple disciplines in this field. The volumes serve as an excellent reference work for researchers and graduate students working on rail transportation, electrical and information technologies.

Author: Birgit Milius
Publisher: Springer Nature
ISBN: 3031433661
Category : Computers
Languages : en
Pages : 237

View

Book Description
This book constitutes the proceedings of the 5th International Conference on Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, RSSRail 2023, held in Berlin, Germany, during October 10–12, 2023. The 13 full papers presented in this book together with 3 keynotes were carefully reviewed and selected from 25 submissions. The papers are divided into the following topical sections: modeling for security; tooled approaches and dependability of highly automated transport systems; formal methods for safety assessment; and formal model and visual tooling.

Author: Bin Ning
Publisher: WIT Press
ISBN: 1845644689
Category : Transportation
Languages : en
Pages : 1025

View

Book Description
These conference proceedings update the use of computer-based techniques, promoting their general awareness throughout the business management, design, manufacture and operation of railways and other advanced passenger, freight and transport systems.

Author: G. Passerini
Publisher: WIT Press
ISBN: 1784664030
Category : Transportation
Languages : en
Pages : 426

View

Book Description
It is important to continue to update the use of advanced systems by promoting general awareness throughout the management, design, manufacture and operation of railways and other emerging passenger, freight and transit systems. Originating from presentations at the 17th International Conference on Railway Engineering Design and Operation, this volume contains selected research works on the topic. The included papers help to facilitate the use of advanced systems and place a key focus on the applications of computer systems in advanced railway engineering. These research studies will be of interest to all those involved in the development of railways, including managers, consultants, railway engineers, designers of advanced train control systems and computer specialists.

Author: Jean-Louis Boulanger
Publisher: John Wiley & Sons
ISBN: 1118614372
Category : Technology & Engineering
Languages : en
Pages : 296

View

Book Description
Although formal analysis programming techniques may be quite old, the introduction of formal methods only dates from the 1980s. These techniques enable us to analyze the behavior of a software application, described in a programming language. It took until the end of the 1990s before formal methods or the B method could be implemented in industrial applications or be usable in an industrial setting. Current literature only gives students and researchers very general overviews of formal methods. The purpose of this book is to present feedback from experience on the use of “formal methods” (such as proof and model-checking) in industrial examples within the transportation domain. This book is based on the experience of people who are currently involved in the creation and evaluation of safety critical system software. The involvement of people from within the industry allows us to avoid the usual problems of confidentiality which could arise and thus enables us to supply new useful information (photos, architecture plans, real examples, etc.). Topics covered by the chapters of this book include SAET-METEOR, the B method and B tools, model-based design using Simulink, the Simulink design verifier proof tool, the implementation and applications of SCADE (Safety Critical Application Development Environment), GATeL: A V&V Platform for SCADE models and ControlBuild. Contents 1. From Classic Languages to Formal Methods, Jean-Louis Boulanger. 2. Formal Method in the Railway Sector the First Complex Application: SAET-METEOR, Jean-Louis Boulanger. 3. The B Method and B Tools, Jean-Louis Boulanger. 4. Model-Based Design Using Simulink – Modeling, Code Generation, Verification, and Validation, Mirko Conrad and Pieter J. Mosterman. 5. Proving Global Properties with the Aid of the SIMULINK DESIGN VERIFIER Proof Tool, Véronique Delebarre and Jean-Frédéric Etienne. 6. SCADE: Implementation and Applications, Jean-Louis Camus. 7. GATeL: A V&V Platform for SCADE Models, Bruno Marre, Benjamin Bianc, Patricia Mouy and Christophe Junke. 8. ControlBuild, a Development Framework for Control Engineering, Franck Corbier. 9. Conclusion, Jean-Louis Boulanger.

Author: Paris Avgeriou
Publisher: Springer
ISBN: 3642331769
Category : Computers
Languages : en
Pages : 190

View

Book Description
This book constitutes the refereed proceedings of the Fourth International Workshop on Software Engineering for Resilient Systems, SERENE 2012, held in Pisa, Italy, in September 2012. The 12 revised full papers were carefully reviewed and selected from numerous submissions. The papers address all aspects of fault tolerance and exception handling, safety modeling, supporting evolution, resilience in service-oriented computing, and applying formal methods in case studies.