Muutke küpsiste eelistusi

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings 1st ed. 2016 [Pehme köide]

Edited by , Edited by , Edited by
  • Formaat: Paperback / softback, 255 pages, kõrgus x laius: 235x155 mm, kaal: 4102 g, 55 Illustrations, black and white; XII, 255 p. 55 illus., 1 Paperback / softback
  • Sari: Programming and Software Engineering 9707
  • Ilmumisaeg: 15-Jun-2016
  • Kirjastus: Springer International Publishing AG
  • ISBN-10: 3319339508
  • ISBN-13: 9783319339504
Teised raamatud teemal:
  • Pehme köide
  • Hind: 48,70 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Tavahind: 57,29 €
  • Säästad 15%
  • Raamatu kohalejõudmiseks kirjastusest kulub orienteeruvalt 2-4 nädalat
  • Kogus:
  • Lisa ostukorvi
  • Tasuta tarne
  • Tellimisaeg 2-4 nädalat
  • Lisa soovinimekirja
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings 1st ed. 2016Suurem pilt
  • Formaat: Paperback / softback, 255 pages, kõrgus x laius: 235x155 mm, kaal: 4102 g, 55 Illustrations, black and white; XII, 255 p. 55 illus., 1 Paperback / softback
  • Sari: Programming and Software Engineering 9707
  • Ilmumisaeg: 15-Jun-2016
  • Kirjastus: Springer International Publishing AG
  • ISBN-10: 3319339508
  • ISBN-13: 9783319339504
Teised raamatud teemal:
Püsilink: https://www.kriso.ee/db/9783319339504.html
Märksõnad:
This book constitutes the refereed proceedings of the First
International Conference on Reliability, Safety, and Security of Railway
Systems, RSSRail 2016, held in Paris, France, in June 2016.

The 15 revised full papers presented were carefully reviewed and
selected from 36 initial submissions. The papers cover a wide range of
topics including failure analysis, interlocking verification, formal
system specification and refinement, security analysis of ERTMS, safety
verification, formalisation of requirements, proof automation,
operational security, railway system reliability, risk assessment for
ERTMS, and verification of EN-50128 safety requirements.
The Risk Assessment of ERTMS-Based Railway Systems from a Cyber
SecurityPerspective: 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.