Reliability, safety, and security of railway systems : modelling, analysis, verification, and certification : second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings /: modelling, analysis, verification, and certification : second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings. (2017)

• Record Type: Book
• Other Titles: RSSRail 2017
• Further Information: Note: Edited by Alessandro Fantechi, Thierry Lecomte, Alexander Romanovsky.
• Editors: Fantechi, Alessandro; Lecomte, Thierry; Romanovsky, Alexander
• Other Names: RSSRail (Conference), 2nd
• Contents: Keynote Talk -- Cyber Security in Railways: Quo vadis? -- Communication Challenges in Railway Systems -- LTE System Design for Urban Light Rail Transport -- A framework to evaluate 5G networks for smart and fail-safe communications in ERTMS/ETCS -- Systems-Theoretic Likelihood and Severity Analysis for Safety and Security Co-Engineering -- Formal Modelling and Verification for Safety -- Formal modelling techniques for efficient development of railway control products -- OVADO: Enhancing Data Validation for Safety-Critical Railway Systems -- A Domain-Specific Language for Generic Interlocking Models and Their Properties -- Bayesian Network Modeling Applied on Railway Level Crossing Safety -- Deductive Verification of Railway Operations -- Safety Analysis of a CBTC System: A Rigorous Approach with Event-B -- B-PERFect: Applying the PERF approach to B based system developments -- Formal Verification of Train Control with Air Pressure Brakes -- Light Rail and Urban Transit -- An Efficient Evaluation Scheme for KPIs in Regulated Urban Train Systems -- Redundant and Reliable Architecture Based On Open Source Tools for Light-Rail-Transit On-Board-Systems -- Dynamic Routing for Urban Transport Systems Through Integer Linear Programming -- Engineering Techniques and Standards -- Theories, Techniques and Tools for Engineering Heterogeneous Railway Networks -- Are Standards an Ambiguity-free Reference for Product Validation.
• Publisher Details: Cham : Springer
• Publication Date: 2017
• Extent: 1 online resource
• Subjects: 625.1; Computer science; Railroads -- Safety measures -- Congresses; Railroads -- Safety measures; Computers -- Intelligence (AI) & Semantics; Computers -- Computer Science; Computers -- Hardware -- General; Computers -- Security -- General; Computers -- Systems Architecture -- General; Artificial intelligence; Computer science; Computer networking & communications; Computer security; Algorithms & data structures; Software engineering; Artificial intelligence; Information theory; Computer network architectures; Computer security; Microprogramming; Computers -- Software Development & Engineering -- General; Software Engineering; Electronic books; Conference papers and proceedings
• Languages: English
• ISBNs: 9783319684994
• Related ISBNs: 331968499X; 9783319684987
• Notes: Note: Includes bibliographical references and author index.
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.