Atjaunināt sīkdatņu piekrišanu

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: 5th International Conference, RSSRail 2023, Berlin, Germany, October 1012, 2023, Proceedings 1st ed. 2023 [Mīkstie vāki]

Edited by , Edited by , Edited by
  • Formāts: Paperback / softback, 226 pages, height x width: 235x155 mm, weight: 385 g, 75 Illustrations, color; 27 Illustrations, black and white; XX, 226 p. 102 illus., 75 illus. in color., 1 Paperback / softback
  • Sērija : Lecture Notes in Computer Science 14198
  • Izdošanas datums: 08-Sep-2023
  • Izdevniecība: Springer International Publishing AG
  • ISBN-10: 3031433653
  • ISBN-13: 9783031433658
Citas grāmatas par šo tēmu:
  • Mīkstie vāki
  • Cena: 60,29 €*
  • * ši ir gala cena, t.i., netiek piemērotas nekādas papildus atlaides
  • Standarta cena: 70,94 €
  • Ietaupiet 15%
  • Grāmatu piegādes laiks ir 3-4 nedēļas, ja grāmata ir uz vietas izdevniecības noliktavā. Ja izdevējam nepieciešams publicēt jaunu tirāžu, grāmatas piegāde var aizkavēties.
  • Daudzums:
  • Ielikt grozā
  • Piegādes laiks - 4-6 nedēļas
  • Pievienot vēlmju sarakstam
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: 5th International Conference, RSSRail 2023, Berlin, Germany, October 1012, 2023, Proceedings 1st ed. 2023Palielināt
  • Formāts: Paperback / softback, 226 pages, height x width: 235x155 mm, weight: 385 g, 75 Illustrations, color; 27 Illustrations, black and white; XX, 226 p. 102 illus., 75 illus. in color., 1 Paperback / softback
  • Sērija : Lecture Notes in Computer Science 14198
  • Izdošanas datums: 08-Sep-2023
  • Izdevniecība: Springer International Publishing AG
  • ISBN-10: 3031433653
  • ISBN-13: 9783031433658
Citas grāmatas par šo tēmu:
Permanent link: https://www.kriso.lv/db/9783031433658.html
Keywords:

This book constitutes the proceedings of the 5th International Conference on Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, RSSRail 2023, held in Berlin, Germany, during October 10–12, 2023.

The 13 full papers presented in this book together with 3 keynotes were carefully reviewed and selected from 25 submissions. The papers are divided into the following topical sections: modeling for security; tooled approaches and dependability of highly automated transport systems; formal methods for safety assessment; and formal model and visual tooling.

Modeling for Security: Automating an Analysis of
Safety-Security Interactions for Railway Systems.- TrainSec: A Simulation
Framework for Security Modeling and Evaluation in CBTC Networks.-Tooled
approaches and Dependability of highly automated transport systems: Safety
analysis of Automatic Train Operation based on ETCS.- Remaining Useful Life
Estimation for Railway Gearbox Bearings Using Machine Learning.- Towards
Scenario-based Certification of Highly Automated Railway
Systems.- Dependability Analysis of UPS Architectures for the Italian Railway
Signaling System.- Formal methods for safety assessment: The SafeCap
Trajectory: Industry-driven Improvement of an Interlocking Verification
Tool.- A Formal Model of Train Control with AI-based Obstacle
Detection.- Integral Formal Proof : A Verification Approach Bridging the Gap
between System and Software Levels in RailwaySystems.- Automated
Compositional Verication of Interlocking Systems.- Halfway Generic
Verification of Railway Control Systems.- Formal model and visual
tooling: Modelling, Visualisation and Proof of an ETCS Level 3 Moving Block
System.- A Tool-Chain for the Verification of Geographic Scheme Data.