Railway Safety, Reliability, and Security: Technologies and Systems Engineering
Railway Safety, Reliability, and Security: Technologies and Systems Engineering

Author: Flammini, Francesco

Publisher: IGI Global

Published: 2012-05-31

Total Pages: 487

ISBN-13: 146661644X

DOWNLOAD EBOOK

Human errors, as well as deliberate sabotage, pose a considerable danger to passengers riding on the modern railways and have created disastrous consequences. To protect civilians against both intentional and unintentional threats, rail transportation has become increasingly automated. Railway Safety, Reliability, and Security: Technologies and Systems Engineering provides engineering students and professionals with a collection of state-of-the-art methodological and technological notions to support the development and certification of ‘real-time safety-critical’ railway control systems, as well as the protection of rail transportation infrastructures.

Railway Safety, Reliability, and Security
Railway Safety, Reliability, and Security

Author:

Publisher:

Published: 2012

Total Pages: 388

ISBN-13: 9781621989448

DOWNLOAD EBOOK

"This book provides engineering students and professionals with a collection of state-of-the-art methodological and technological notions to support the development and certification of 'real-time safety-critical' railway control systems, as well as the protection of rail transportation infrastructures"--

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

Author: Alessandro Fantechi

Publisher: Springer

Published: 2017-11-06

Total Pages: 274

ISBN-13: 331968499X

DOWNLOAD EBOOK

This volume constitutes the proceedings of the Second International Conference on Reliability, Safety and Security of Railway Systems, RRSRail 2017, held in Pistoia, Italy, in November 2017. The 16 papers presented in this volume were carefully reviewed and selected from 34 submissions. They are organized in topical sections named: communication challenges in railway systems; formal modeling and verification for safety; light rail and urban transit; and engineering techniques and standards. The book also contains one keynote talk in full-paper length.

Railway Systems Engineering: Security Concerns
Railway Systems Engineering: Security Concerns

Author: Marshall Roy

Publisher:

Published: 2015-01-19

Total Pages: 0

ISBN-13: 9781632404381

DOWNLOAD EBOOK

This book is an important source of information on railway systems engineering. In railway applications, performance studies are important for increasing the durability of railway systems. One of the main objectives is to validate whether the working conditions are reliable and safe. This task not only requires analysis of the whole traction chain, but also needs authentication that the railway infrastructure is efficiently working. Therefore, many tests for detecting any dysfunctions on their proper operation have been developed. This book discusses the various basics of railway traction, providing suggestions on exploratory approaches to spot any dysfunctions as well as reliability and safety issues. This book aims to serve as a valuable reference for students, educators, scientists, faculty members, researchers, and engineers.

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

Author: Simon Collart-Dutilleul

Publisher: Springer

Published: 2019-05-28

Total Pages: 297

ISBN-13: 3030187446

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the Third International Conference on Reliability, Safety, and Security of Railway Systems, RSSRail 2019, held in Lille, France in June 2019. The 18 full papers presented in this book were carefully reviewed and selected from 38 submissions. They cover a range of topics including railways system and infrastructure advance modelling; scheduling and track planning; safety process and validation; modelling; formal verification; and security.

Safety and Security in Railway Engineering
Safety and Security in Railway Engineering

Author: G. Sciutto

Publisher: WIT Press

Published: 2010

Total Pages: 161

ISBN-13: 1845644964

DOWNLOAD EBOOK

The book comprises a number of research papers presented at several Computers in Railways Conferences. It has been compiled by Giuseppe Sciutto, from Università degli Studi di Genova, and contains selected papers originating from different countries, such as France, Germany, Japan, Italy, Spain, USA, and Taiwan. There is a strong lack of agreement regarding the safety approaches adopted by different transportation modes while the sudden increased demands for security for both freight and passengers has provided a more uniform methodological approach. The papers in this volume give an overview of the current state-of-the-art analytical approaches, methods and simulation tools for the modelling and analysis of the safety and security of transport networks. Topics include e.g. the role of the notified bodies in the process of the railway liberalization, safety at the platform, computer architectures and safety integrity level apportionment, potential dangerous object detection on railway ballast using digital image processing, as well as taking advantage of some complementary modelling methods to meet critical system requirement specifications.

Safety and Reliability: Methodology and Applications
Safety and Reliability: Methodology and Applications

Author: Tomasz Nowakowski

Publisher: CRC Press

Published: 2014-09-01

Total Pages: 408

ISBN-13: 1315736977

DOWNLOAD EBOOK

Within the last fifty years the performance requirements for technical objects and systems were supplemented with: customer expectations (quality), abilities to prevent the loss of the object properties in operation time (reliability and maintainability), protection against the effects of undesirable events (safety and security) and the ability to

ICTE in Transportation and Logistics 2019
ICTE in Transportation and Logistics 2019

Author: Egils Ginters

Publisher: Springer Nature

Published: 2020-01-30

Total Pages: 400

ISBN-13: 3030396886

DOWNLOAD EBOOK

This proceedings volume explores the latest advances in transport and logistics, while also discussing the applications of modern information technologies, telecommunications, electronics, and prospective research methods and analyzing their impacts on society and the environment, which in turn determine the future development of these technologies. The book is intended for a broad readership, including transport and logistics business planners and technical experts, leveraging industry knowledge and facilitating technology adoption in promising business regions and transit corridors such as Ukraine, Kazakhstan, and others. The authors, who include policy planners and crafters as well as education and training professionals, address various types of intermodal transport such as rail, road, maritime, air, etc.

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

Author: Thierry Lecomte

Publisher: Springer

Published: 2016-06-14

Total Pages: 261

ISBN-13: 3319339516

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the FirstInternational Conference on Reliability, Safety, and Security of RailwaySystems, RSSRail 2016, held in Paris, France, in June 2016. The 15 revised full papers presented were carefully reviewed andselected from 36 initial submissions. The papers cover a wide range oftopics including failure analysis, interlocking verification, formalsystem specification and refinement, security analysis of ERTMS, safetyverification, formalisation of requirements, proof automation,operational security, railway system reliability, risk assessment forERTMS, and verification of EN-50128 safety requirements.

Safety and Security of Cyber-Physical Systems
Safety and Security of Cyber-Physical Systems

Author: Frank J. Furrer

Publisher: Springer Nature

Published: 2022-07-20

Total Pages: 559

ISBN-13: 365837182X

DOWNLOAD EBOOK

Cyber-physical systems (CPSs) consist of software-controlled computing devices communicating with each other and interacting with the physical world through sensors and actuators. Because most of the functionality of a CPS is implemented in software, the software is of crucial importance for the safety and security of the CPS. This book presents principle-based engineering for the development and operation of dependable software. The knowledge in this book addresses organizations that want to strengthen their methodologies to build safe and secure software for mission-critical cyber-physical systems. The book: • Presents a successful strategy for the management of vulnerabilities, threats, and failures in mission-critical cyber-physical systems; • Offers deep practical insight into principle-based software development (62 principles are introduced and cataloged into five categories: Business & organization, general principles, safety, security, and risk management principles); • Provides direct guidance on architecting and operating dependable cyber-physical systems for software managers and architects.