Reliability, safety, and security of railway systems : modelling, analysis, verification, and certification : first International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings /: modelling, analysis, verification, and certification : first International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings. (2016)

• Record Type: Book
• Other Titles: RSSRail 2016
• Further Information: Note: Thierry Lecomte, Ralf Pinger, Alexander Romanovsky (eds.).
• Editors: Lecomte, Thierry; Pinger, Ralf; Romanovsky, Alexander, 1954-
• Other Names: RSSRail (Conference), 1st
• Contents: The Risk Assessment of ERTMS-Based Railway Systems from a Cyber Security Perspective: Methodology and Lessons Learned -- Using Formal Proof and B Method at System Level for Industrial Projects -- A Novel Approach to HW/SW Integration Testing of Route-Based Interlocking System Controllers -- A Formal Security Analysis of ERTMS Train to Trackside Protocols -- Operational Security ? A Coming Evolution of Railway Operational Procedures under the IT Security Threat -- Risk Assessment of the 3Des in the ERTMS -- Failure Analysis of Chinese Train Control System Level 3 Based on Model Checking -- Correct Formalization of Requirement Specifications: A V-Model for Building Formal Methods -- Static Verification of Railway Scheme and Interlocking Design Data -- Verification of Railway Interlocking ? Compositional Approach with OCRA -- Safety Verification of Heterogeneous Railway Networks -- Comparing Formal Verification Approaches of Interlocking Systems -- Predictive Reasoning and Machine Learning for the Enhancement of Reliability in Railway Systems -- Applying Abstract Interpretation to Verify EN-50128 Software Safety Requirements -- The PERF Approach for Formal Verification -- Abstract Software Specifications and Automatic Proof of Refinement -- S3: Proving the Safety of Critical Systems -- Increasing Proofs Automation Rate of Atelier-B Thanks to Alt-Ergo.
• Publisher Details: Switzerland : Springer
• Publication Date: 2016
• Extent: 1 online resource (xii, 255 pages), illustrations
• Subjects: 625.1; Computer science; Railroads -- Safety measures -- Congresses; Railroads -- Safety measures; Computers -- Programming -- General; Computers -- Hardware -- Network Hardware; Computers -- Security -- General; Mathematics -- Logic; Computers -- Intelligence (AI) & Semantics; Computer programming / software development; Network hardware; Computer security; Mathematical theory of computation; Artificial intelligence; Software engineering; Logic design; Computer Communication Networks; Computer security; Artificial intelligence; Computers -- Software Development & Engineering -- General; Software Engineering; Electronic books; Conference papers and proceedings; Electronic books
• Languages: English
• ISBNs: 9783319339511; 3319339516
• Related ISBNs: 9783319339504
• Notes: Note: Online resource; title from PDF title page (SpringerLink, viewed June 28, 2016).
• 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.