This book constitutes the refereed proceedings of the 4th International Conference on Reliability, Safety, and Security of Railway Systems, RSSRail 2022, held in Paris, France, in June 2022. The 16 full papers presented in this book were carefully reviewed and selected from numerous 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.

Produktinformation

Utgivningsdatum2022-05-21
Mått155 x 235 x 15 mm
Vikt400 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor239
FörlagSpringer International Publishing AG
ISBN9783031058134

Tillhör följande kategorier

Hårdvara inom Data och IT
Programvaruutveckling inom Data och IT
Tillämpad datateknik inom Data och IT
Artificiell intelligens inom Data och IT

New methods for safety demonstration.- Satellite-based train localization for safety critical applications. The challenges of performance demo and certification.- Safe Interlocking”"Compositional verification of railway interlockings: comparison of two methods".- "Safety invariant verification that meets engineers’ expectations".- Session "Innovation in Traffic management".- "Formalization and Processing of Data Requirements for the Development of Next Generation Railway Traffic Management Systems".- "Acceleration Techniques for Symbolic Simulation of Railway Timetables".- "Optimal Railway Routing Using Virtual Subsections"Session ”Safety and new technologies” .- ""Learn to learn HVAC failures: layering ML experiments in the absence of ground truth".- Enhancing Autonomous Train Safety Through A Priori-Map Based Perception".- Lilian Burdy, David Deharbe and Denis Sabatier "Assigning safe software-based systems to meanings".- Generating and verifying configuration data with OVADO".- "The 4SECURail Formal Methods Demonstrator".- Formal Design and Validation of an Automatic Train Operation Control System".- "Investigating Human Error within GoA-2 railways".- "A Vision of Intelligent Train Control".- Analysis of Safety-critical Communication Protocols for On-premise SIL4 Cloud in Railways".- "TASC: Transparent, Agnostic, Secure Channel for CBTC under Failure or Cyberattack.

Mer från samma författare

Operating Rules and Interoperability in Trans-National High-Speed Rail

Simon Collart-Dutilleul

Inbunden, 2021

2 449 kr

Del 15456

Risks and Security of Internet and Systems

Samir Ouchani, Simon Collart-Dutilleul, Samir Ouchani, Nora Cuppens, Frédéric Cuppens

Häftad, 2025

1 929 kr

Mer från samma serie

Agent Mediated Electronic Commerce II

Alexandros Moukas, Carles Sierra, Fredrik Ygge

Häftad, 2000

749 kr

COLOG-88

Per Martin-Löf, Grigori Mints

Häftad, 1990

729 kr

Compiler Construction

Albert Cohen

Häftad, 2014

719 kr

Del 16375

Interactive Storytelling

María Cecilia Reyes, Frank Nack

Häftad, 2025

729 kr

Theory of Cryptography

Yehuda Lindell

Häftad, 2014

749 kr

Computer Science Logic

Dirk van Dalen, Marc Bezem

Häftad, 1997

749 kr

Reliable Software Technology – Ada-Europe 2005

Tullio Vardanega, Andy Wellings

Häftad, 2005

749 kr

Spyridon Bakas, Emily Dennis, Mehdi Astaraki, Ujjwal Baid, Gian Marco Conte, Martha Foltyn-Dumitru, Zhifan Jiang, Dominic Labella, Marie-Christin Metz, Udunna Anazodo, Maria Correia de Verdier, Florian Kofler, Hongwei Bran Li, Marius George Linguraru, Nazanin Maleki - Segmentation, Classification, and Synthesis for Brain Tumors and Traumatic Brain Injuries, Häftad

Del 16376

Segmentation, Classification, and Synthesis for Brain Tumors and Traumatic Brain Injuries

Spyridon Bakas, Emily Dennis, Mehdi Astaraki, Ujjwal Baid, Gian Marco Conte, Martha Foltyn-Dumitru, Zhifan Jiang, Dominic Labella, Marie-Christin Metz, Udunna Anazodo, Maria Correia de Verdier, Florian Kofler, Hongwei Bran Li, Marius George Linguraru, Nazanin Maleki

Häftad, 2026

1 219 kr

Objects and Databases

Alan Dearle, Roberto V. Zicari

Häftad, 2010

749 kr

Anna Schroder, Xiang Li, Tanveer Syeda-Mahmood, Neil P. Oxtoby, Alexandra Young, Alessa Hering, Tejas S. Mathai, Pritam Mukherjee, Sven Kuckertz, Tiantian He, Isaac Llorente-Saguer, Andreas Maier, Satyananda Kashyap, Hayit Greenspan, Anant Madabhushi - Medical Image Computing and Computer Assisted Intervention – MICCAI 2024 Workshops, Häftad

Del 15401

Medical Image Computing and Computer Assisted Intervention – MICCAI 2024 Workshops

Anna Schroder, Xiang Li, Tanveer Syeda-Mahmood, Neil P. Oxtoby, Alexandra Young, Alessa Hering, Tejas S. Mathai, Pritam Mukherjee, Sven Kuckertz, Tiantian He, Isaac Llorente-Saguer, Andreas Maier, Satyananda Kashyap, Hayit Greenspan, Anant Madabhushi

Häftad, 2025

969 kr

Du kanske också är intresserad av

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

Simon Collart-Dutilleul, Thierry Lecomte, Alexander Romanovsky

Häftad, 2019

869 kr

Birgit Milius, Simon Collart-Dutilleul, Thierry Lecomte - Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, Häftad

Del 14198

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

Birgit Milius, Simon Collart-Dutilleul, Thierry Lecomte

Häftad, 2023

939 kr

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

Maurice H. ter Beek, Simon Collart-Dutilleul, Thierry Lecomte

Häftad, 2025

839 kr

Alessandro Fantechi, Thierry Lecomte, Alexander Romanovsky - Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, Häftad

Del 10598

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

Alessandro Fantechi, Thierry Lecomte, Alexander Romanovsky

Häftad, 2017

729 kr

Del 15456

Risks and Security of Internet and Systems

Samir Ouchani, Simon Collart-Dutilleul, Samir Ouchani, Nora Cuppens, Frédéric Cuppens

Häftad, 2025

1 929 kr

Del 14952

Formal Methods for Industrial Critical Systems

Anne E. Haxthausen, Wendelin Serwe

Häftad, 2024

969 kr

Operating Rules and Interoperability in Trans-National High-Speed Rail

Simon Collart-Dutilleul

Inbunden, 2021

2 449 kr

Theoretical Aspects of Computing - ICTAC 2008

John S. Fitzgerald, Anne E. Haxthausen, Husnu Yenigun

Häftad, 2008

749 kr

Del 14165

Applicable Formal Methods for Safe Industrial Products

Anne E. Haxthausen, Wen-ling Huang, Markus Roggenbach

Häftad, 2023

1 119 kr

Journeys Between Formal Methods and the Railway Industry

Maurice H. ter Beek, Stefania Gnesi, Anne E. Haxthausen, Laura Semini

Häftad, 2026

1 459 kr

Del 13294 i serien Lecture Notes in Computer Science

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

4th International Conference, RSSRail 2022, Paris, France, June 1–2, 2022, Proceedings

Häftad, Engelska, 2022

AvSimon Collart-Dutilleul,Anne E. Haxthausen,Thierry Lecomte

969 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Finns i fler format (5)

Häftad

869 kr

Skickas inom 10-15 vardagar

Häftad

939 kr

Skickas inom 10-15 vardagar

Häftad

839 kr

Skickas inom 10-15 vardagar

Häftad

749 kr

Skickas inom 10-15 vardagar

Häftad

729 kr

Skickas inom 10-15 vardagar

Produktinformation

Utgivningsdatum2022-05-21
Mått155 x 235 x 15 mm
Vikt400 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor239
FörlagSpringer International Publishing AG
ISBN9783031058134

Tillhör följande kategorier

Hårdvara inom Data och IT
Programvaruutveckling inom Data och IT
Tillämpad datateknik inom Data och IT
Artificiell intelligens inom Data och IT

New methods for safety demonstration.- Satellite-based train localization for safety critical applications. The challenges of performance demo and certification.- Safe Interlocking”"Compositional verification of railway interlockings: comparison of two methods".- "Safety invariant verification that meets engineers’ expectations".- Session "Innovation in Traffic management".- "Formalization and Processing of Data Requirements for the Development of Next Generation Railway Traffic Management Systems".- "Acceleration Techniques for Symbolic Simulation of Railway Timetables".- "Optimal Railway Routing Using Virtual Subsections"Session ”Safety and new technologies” .- ""Learn to learn HVAC failures: layering ML experiments in the absence of ground truth".- Enhancing Autonomous Train Safety Through A Priori-Map Based Perception".- Lilian Burdy, David Deharbe and Denis Sabatier "Assigning safe software-based systems to meanings".- Generating and verifying configuration data with OVADO".- "The 4SECURail Formal Methods Demonstrator".- Formal Design and Validation of an Automatic Train Operation Control System".- "Investigating Human Error within GoA-2 railways".- "A Vision of Intelligent Train Control".- Analysis of Safety-critical Communication Protocols for On-premise SIL4 Cloud in Railways".- "TASC: Transparent, Agnostic, Secure Channel for CBTC under Failure or Cyberattack.