Overview
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 10598)
Part of the book sub series: Programming and Software Engineering (LNPSE)
Included in the following conference series:
Conference proceedings info: RSSRail 2017.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (17 papers)
-
Keynote Talk
-
Communication Challenges in Railway Systems
-
Formal Modelling and Verification for Safety
-
Light Rail and Urban Transit
Other volumes
-
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Keywords
- software engineering
- artificial intelligence
- model checking
- formal methods
- data security
- computer networks
- embedded systems
- formal verifications
- system safety
- extra-functional properties
- railway signaling systems
- cyber security
- network security
- requirement analysis
- semantics and reasoning
- railway control systems
About this book
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.
Editors and Affiliations
Bibliographic Information
Book Title: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Book Subtitle: Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings
Editors: Alessandro Fantechi, Thierry Lecomte, Alexander Romanovsky
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-68499-4
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing AG 2017
Softcover ISBN: 978-3-319-68498-7Published: 20 October 2017
eBook ISBN: 978-3-319-68499-4Published: 06 November 2017
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XVIII, 265
Number of Illustrations: 80 b/w illustrations
Topics: Software Engineering, Artificial Intelligence, Theory of Computation, Computer Systems Organization and Communication Networks, Systems and Data Security, Control Structures and Microprogramming