دانلود کتاب Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings

فهرست مطالب :

Front Matter....Pages I-XII
Front Matter....Pages 1-1
The Risk Assessment of ERTMS-Based Railway Systems from a Cyber Security Perspective: Methodology and Lessons Learned....Pages 3-19
Using Formal Proof and B Method at System Level for Industrial Projects....Pages 20-31
A Novel Approach to HW/SW Integration Testing of Route-Based Interlocking System Controllers....Pages 32-49
Front Matter....Pages 51-51
A Formal Security Analysis of ERTMS Train to Trackside Protocols....Pages 53-68
Operational Security – A Coming Evolution of Railway Operational Procedures Under the IT Security Threat....Pages 69-78
Risk Assessment of the 3Des in ERTMS....Pages 79-92
Front Matter....Pages 93-93
Failure Analysis of Chinese Train Control System Level 3 Based on Model Checking....Pages 95-105
Correct Formalization of Requirement Specifications: A V-Model for Building Formal Models....Pages 106-122
Static Verification of Railway Schema and Interlocking Design Data....Pages 123-133
Verification of Railway Interlocking - Compositional Approach with OCRA....Pages 134-149
Safety Verification of Heterogeneous Railway Networks....Pages 150-159
Comparing Formal Verification Approaches of Interlocking Systems....Pages 160-177
Predictive Reasoning and Machine Learning for the Enhancement of Reliability in Railway Systems....Pages 178-188
Front Matter....Pages 189-189
Applying Abstract Interpretation to Verify EN-50128 Software Safety Requirements ....Pages 191-202
The PERF Approach for Formal Verification....Pages 203-214
Abstract Software Specifications and Automatic Proof of Refinement....Pages 215-230
S3: Proving the Safety of Critical Systems....Pages 231-242
Increasing Proofs Automation Rate of Atelier-B Thanks to Alt-Ergo ....Pages 243-253
Back Matter....Pages 255-255