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

Francesco Flammini (IEEE Computer Society, Italy)

Select a Format: Hardcover List PricePRINT $195.00Hardcover List PriceE-BOOK $195.00Individuals: E-Book $295.00Institutions: Online Perpetual Access List PricePRINT + E-BOOK $295.00Individuals: Hardcover + E-Book $390.00Institutions: Hardcover + Online Perpetual Access	$195.00
Current Promotions: Free E-Access*

In Stock. Have it as soon as May. 27 with express shipping*.

DOI: 10.4018/978-1-4666-1643-1, ISBN13: 9781466616431, ISBN10: 1466616431, EISBN13: 9781466616448

Cite Book

MLA

Flammini, Francesco. "Railway Safety, Reliability, and Security: Technologies and Systems Engineering." IGI Global, 2012. 1-487. Web. 22 May. 2013. doi:10.4018/978-1-4666-1643-1

APA

Flammini, F. (2012). Railway Safety, Reliability, and Security: Technologies and Systems Engineering (pp. 1-487). doi:10.4018/978-1-4666-1643-1

Chicago

Flammini, Francesco. "Railway Safety, Reliability, and Security: Technologies and Systems Engineering." 1-487 (2012), accessed May 22, 2013. doi:10.4018/978-1-4666-1643-1

Export Reference

Favorite

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

Description | Table of Contents | Topics Covered | Author(s)/Editor(s) Bio

More Information

Request examination copy Brochure

Recommend

Send to a librarian Send to a colleague

Available In

InfoSci-Books Science, Engineering, and Information Technology InfoSci-Select InfoSci-Computer Science

Browse Subjects

Business & Management Business & Management Topics Accounting & Finance Administration & Leadership Business Information Systems Business Intelligence Business Process Management Consumer Management Decision Support Systems E-Business E-Commerce Economics & Economic Theory Electronic Services Enterprise Information Systems Enterprise Resource Planning Entrepreneurship & E-Innovation Hospitality, Travel & Tourism Management Management Science Marketing Professional Development Risk Management & Analysis Small & Medium Enterprises Supply Chain Management
Computer Science & IT Computer Science & IT Topics Adaptive & Complex Systems Agent Technologies Algorithms Artificial Intelligence Cognitive Informatics Collective Intelligence Computational Intelligence Computational Linguistics Computer Simulation Computer Vision & Image Processing Cybernetics Internet Technologies Nanotechnology Neural Networks Programming Languages Robotics Web Technologies & Engineering
Education Education Topics Adult Learning Applied E-Learning Blended & Mobile Learning Business & Technical Education Classroom Management Cognitive Learning Computer-Assisted Language Learning Digital Humanities Distance Education Educational Technologies Engineering Education Higher Education Humanities Education Instructional Design K-12 Education STEM Education Surveys, Measurements & Response Systems Teacher Education Technologies in Higher Education Technologies in K-12 Education Virtual Learning Environments Web-Based Teaching & Learning
Engineering Engineering Topics Aerospace Engineering Aviation Engineering Bioengineering Chemical Engineering Civil Engineering Cloud Computing Computer Engineering Data Modeling Languages Electrical Engineering Grid & High Performance Computing Industrial Engineering Industrial Informatics Materials Science Mechanical Engineering Nuclear & Energy Engineering Object-Oriented Design Open Source Software Optical Engineering Petroleum & Natural Gas Engineering Systems & Software Design
Environmental Science Environmental Science Topics Earth Science Ecology Environmental Science Natural Resource Management
Library & Info. Science Library & Info. Science Topics Business & Organizational Research Data Analysis & Statistics Data Mining Data Warehousing Databases Digital Libraries Digital Literacy Digital Publishing & E-Books Information Resources Management Information Retrieval Information Value & Quality IT Governance IT Research & Theory Knowledge Discovery Knowledge Management Library Information Systems Research Methods Strategic Information Systems Theoretical Studies
Media & Communications Media & Communications Topics Computer Graphics & Art Digital Communications Digital Composition Gaming Interactive Technologies Mobile Computing Multimedia Technology Music Technologies Networking Portal Technologies Semantic Web Sensor Technologies Telecommunications Web Services Wireless Systems
Medicine & Healthcare Medicine & Healthcare Topics Animal Science Assistive Technologies Bioinformatics Biologically-Inspired Computing Biology Biomedical Technologies Biometrics Chemistry Chemoinformatics Clinical Science Clinical Technologies Dentistry Emergency Medicine Genetics & Genomics Health Information Systems Healthcare Administration Medical Education Medical Engineering Medical Technologies Nursing Nursing Informatics Pharmaceutical Technologies Pharmacology Physical & Occupational Therapy Public Health & Healthcare Delivery Veterinary Technologies
Public Administration Public Administration Topics Agricultural & Food Technologies Digital Divide & Developing Countries Electronic Government Emergency & Disaster Management Environmental Engineering Environmental Technologies Federal Government Geoinformatics Global Business Global Information Technology Hydraulics & Water Engineering Local Government Outsourcing Policy & Reform Public & Sector Management State Government Sustainable Development Urban & Regional Development
Security & Forensics Security & Forensics Topics Criminal Science & Corrections Cryptography Cyber Warfare & Terrorism Digital Crime & Forensics Ethics & Law Forensics & Investigations Information Ethics Information Security & Privacy Information Trust IT Policy & Standardization Surveillance & Monitoring
Social Science Social Science Topics Archaeology Cognitive Science Computer-Mediated-Communication Criminology & Victimology Culture & Population Studies Cyber Behavior E-Collaboration End User Computing Gender & Technology Human Aspects of Business Human Aspects of Technology Human Resources Development Human-Computer Interaction Identity Theory Knowledge Society Mental Health & Behavioral Studies Political Science Religious Studies Social Networking Ubiquitous & Pervasive Computing Virtual Communities & Virtual Reality

Top

Description

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.

Top

Table of Contents and List of Contributors

Search this Book: Reset

U.S. Regulatory Requirements for Positive Train Control Systems (pages 1-21)

Mark Hartong (Federal Railroad Administration, USA), Duminda Wijesekera (George Mason University, USA)

Positive Train Control (PTC) Systems are a type of Communications Based Train Control System (CBTC) designed to enhance railroad safety. As a consequence of a series... Sample PDF | More details...

$37.50

The Model-Driven openETCS Paradigm for Secure, Safe and Certifiable Train Control Systems (pages 22-52)

Jan Peleska (University of Bremen, Germany), Johannes Feuser (University of Bremen, Germany), Anne E. Haxthausen (Technical University of Denmark, Denmark)

A novel approach to managing development, verification, and validation artifacts for the European Train Control System as open, publicly available items is analyzed... Sample PDF | More details...

$37.50

Semi-Quantitative Risk Assessment of Technical Systems on European Railways (pages 54-64)

Jens Braband (Siemens AG, Germany)

The European Railway Agency (ERA) has the challenging task of establishing common safety targets and common safety methods throughout Europe. In this context, the ha... Sample PDF | More details...

$37.50

The ForMoSA Approach to Qualitative and Quantitative Model-Based Safety Analysis (pages 65-114)

Axel Habermaier (Universität Augsburg, Institut für Informatik, Germany), Matthias Güdemann (Otto-von-Guericke University of Magdeburg, Germany), Frank Ortmeier (Otto-von-Guericke University of Magdeburg, Germany), Wolfgang Reif (Universität Augsburg, Institut für Informatik, Germany), Gerhard Schellhorn (Universität Augsburg, Institut für Informatik, Germany)

This chapter presents ForMoSA (FORmal MOdels and Safety Analysis), an integrated approach for the safety assessment of safety-critical embedded systems. The approach... Sample PDF | More details...

$37.50

Verification and Validation of Interoperability (pages 116-127)

Lars Ebrecht (DLR (German Aerospace Center), Institute of Transportation Systems, Germany), Michael Meyer zu Hörste (DLR (German Aerospace Center), Institute of Transportation Systems, Germany)

The chapter shows an approach to use existing test methods to prove technical as well as operational interoperability. The first kinds of tests are test sequences to... Sample PDF | More details...

$37.50

Fault Injection for On-Board ERTMS/ETCS Safety Assessment (pages 128-150)

Almir Villaro Arriola (CEIT and Tecnun (University of Navarra), Spain), Jon Mendizabal Samper (CEIT and Tecnun (University of Navarra), Spain), Juan Meléndez Lagunilla (CEIT and Tecnun (University of Navarra), Spain)

On-Board ERTMS/ETCS equipment performs safety related functions where the tolerable hazard rate is kept below 10-9 f/h. Safety standards such as EN50129 or IEC61508... Sample PDF | More details...

$37.50

Impact of Electromagnetic Environment on Reliability Assessment for Railway Signalling Systems (pages 151-173)

Iñigo Adin (CEIT and Tecnun(University of Navarra), Spain), Jaizki Mendizabal (CEIT and Tecnun, (University of Navarra), Spain), Jon del Portillo (CEIT and Tecnun,(University of Navarra), Spain)

The electromagnetic interferences (EMI) are threats that affect the reliability of the railway signalling systems. Consequently, the identification of the reliabilit... Sample PDF | More details...

$37.50

Mίνθa: A Framework for Auto-Programming and Testing of Railway Controllers for Varying Clients (pages 175-197)

Jörn Guy Süß (University of Queensland, Australia), Neil Robinson (RGB Assurance, Australia), David Carrington (University of Queensland, Australia), Paul Strooper (University of Queensland, Australia)

Implementation of railway controller application logic is a highly safety-critical and time-consuming task carried out individually for each client and station by sp... Sample PDF | More details...

$37.50

Software-Based Self-Test for Reliable Applications in Railway Systems (pages 198-220)

Alfredo Benso (Politecnico di Torino, Italy), Stefano Di Carlo (Politecnico di Torino, Italy), Alessandro Savino (Politecnico di Torino, Italy)

The very strict safety standards, which must be guaranteed in a railway system, make the testing of all electronic components a unique and challenging case study. So... Sample PDF | More details...

$37.50

10.

Real-Time Hardware-in-the-Loop in Railway: Simulations for Testing Control Software of Electromechanical Train Components (pages 221-248)

Silvio Baccari (University of Sannio, Italy), Giulio Cammeo (AnsaldoBreda, Italy), Christian Dufour (AnsaldoBreda, Italy), Luigi Iannelli (University of Sannio, Italy), Vincenzo Mungiguerra (AnsaldoBreda, Italy), Mario Porzio (Opal-RT Technologies, Canada), Gabriella Reale (University of Sannio, Italy), Francesco Vasca (University of Sannio, Italy)

The increasing complexity of modern ground vehicles is making crucial the role of control for improving energetic efficiency, comfort and performance. At the same ti... Sample PDF | More details...

$37.50

11.

Hardware-In-the-Loop Testing of On-Board Subsystems: Some Case Studies and Applications (pages 249-280)

Luca Pugi (University of Florence, Italy), Benedetto Allotta (University of Florence, Italy)

In this chapter some case-studies, based on typical topics of industrial research for railways, are introduced in order to emphasize some aspects of the mechatronic... Sample PDF | More details...

$37.50

12.

The Role of Formal Methods in Software Development for Railway Applications (pages 282-297)

Alessandro Fantechi (Università degli Studi di Firenze, Italy)

Formal methods for thirty years have promised to be the solution for the safety certification headaches of railway software designers. This chapter looks at the curr... Sample PDF | More details...

$37.50

13.

Symbolic Model Checking for Interlocking Systems (pages 298-315)

Kirsten Winter (The University of Queensland, Australia)

Our results yield a verification tool suitable for use in industry. Sample PDF | More details...

$37.50

14.

Designing Usable Interactive Systems within the Railway Domain: A Human Factors Approach (pages 317-326)

Nina Jellentrup (German Aerospace Center, Institute of Transportation Systems, Germany), Michael Meyer zu Hörste (German Aerospace Center, Institute of Transportation Systems, Germany)

Train drivers as well as signallers interact with several computer based information and communication systems to ensure safe and effective train operations. So far... Sample PDF | More details...

$37.50

15.

Integration of Human Factors to Safety Assessments by Human Barrier Interaction (pages 327-339)

Markus Talg (German Aerospace Center, Institute of Transportation Systems, Germany), Malte Hammerl (German Aerospace Center, Institute of Transportation Systems, Germany), Michael Meyer zu Hörste (German Aerospace Center, Institute of Transportation Systems, Germany)

Human factors have a strong impact on railways safety. However, the assessments of these factors still follow traditional and inadequate approaches. While failure pr... Sample PDF | More details...

$37.50

16.

Advanced Techniques for Monitoring the Condition of Mission-Critical Railway Equipment (pages 341-354)

Clive Roberts (University of Birmingham, UK), Joe Silmon (University of Birmingham, UK)

This chapter provides an overview of advanced techniques for monitoring the condition of mission-critical railway assets. The safe operation of railways depends on a... Sample PDF | More details...

$37.50

17.

Security of Railway Infrastructures (pages 355-379)

A. Di Febbraro (University of Genoa, Italy), F. Papa (University of Genoa, Italy), N. Sacco (University of Genoa, Italy)

The chapter is organized as follows: In section 1, the basic definitions of the security risk analysis and the characteristics of the railway security problem are in... Sample PDF | More details...

$37.50

18.

ETCS Developing and Operation: Italian Experience (pages 381-398)

Raffaele Malangone (RFI, Italy), Fabio Senesi (ANSF, Italy)

This testing process in ETCS laboratories has been useful not only before the putting the ETCS in service but also for the reconfiguration of the actual ETCS lines a... Sample PDF | More details...

$37.50

19.

Adoption of Low-Cost Rail Level Crossing Warning Devices: An Australian Case Study (pages 399-423)

Christian Wullems (Cooperative Research Centre for Rail Innovation, &Centre for Accident Research and Road Safety – Queensland (CARRS-Q), Australia), George Nikandros (Australian Safety Critical Systems Association, Australia)

The objective of this chapter is to provide rail practitioners with a practical approach for determining safety requirements of low-cost level crossing warning devic... Sample PDF | More details...

$37.50

Top

Topics Covered

Automatic Train Operation (ATO)
Computer Dependability
Driverless systems
Formal Methods in Software Development
High-Assurance Systems Engineering
Human Machine Interaction and Human Factors
Innovative Railway Control and Monitoring Systems
Protocols for Real-Time Distributed Systems
Railway Interoperability
Risk Assessment and Hazard Analysis

Top

Author(s)/Editor(s) Biography

Francesco Flammini got with honours his laurea (July 2003) and doctorate (December 2006) degrees in Computer Engineering from the University Federico II of Naples.From October 2003 to January 2007, he has worked in Ansaldo STS (Finmeccanica) as a Software/RAMS Engineer in the Verification & Validation unit. He has been involved in several ERTMS/ETCS (European Railway Traffic Management System / European Train Control System) related projects, both for the on-board and the trackside systems. In particular, he has specialized in functional testing of critical control systems. Since February 2007, after moving to the Innovation & Competitiveness unit, he has worked on critical infrastructure protection, transportation security and several interdisciplinary research projects. In particular, he has worked on risk assessment and design of security management systems. He has won company innovation awards in 2005 (Automatic Train Control System based on ERTMS/ETCS L3), 2007 (Subway Tunnel Protection System) and 2009 (PIEZORAIL Project). His main research interests are about dependability and security of critical systems and infrastructures, including multi-paradigm modeling approaches. He is author of more than 35 scientific papers published in international journals, book chapters and conference proceedings. He has been awarded a grant as the "Best Ph.D. student paper" at the Dependability of Computer System Conference in 2006. He has classified 3rd at the business-plan competition Start Cup Federico II 2008 with the project "N-Enterprise".He has served as a chairman, a member of the International Program Committee and a reviewer for several international conferences and IEEE journals. He is Vice-Chair of the IEEE Computer Society Italy and partecipates to several Technical Committees, including Software Engineering and Fault Tolerant Computing. He is also member of the European Workshop on Industrial Computer Systems Reliability, Safety and Security (EWICS TC7), FME (Formal Methods Europe), ERCIM Working Group on Formal Methods for Industrial Critical Systems (FMICS), ESRA TC on Operational Safety and Security of Interconnected Critical Infrastructures, and IEEE SMC TC on Homeland Security. He is Editor in Chief of the "International Journal of Critical Computer-Based Systems" (IJCCBS, Inderscience Publishers).

Individual Chapters

$37.50

Browse

Purchase individual chapters from this book and receive a PDF download link upon order completion.