Lecomte Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification 9783319339504

Варианты приобретения

Цена: 6988.00р.
Кол-во:
Наличие: Поставка под заказ. Есть в наличии на складе поставщика.
Склад Америка: Есть
При оформлении заказа до: 2025-07-28
Ориентировочная дата поставки: Август-начало Сентября
При условии наличия книги у поставщика.

Добавить в корзину

в Мои желания

Автор: Lecomte
Название: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
ISBN: 9783319339504
Издательство: Springer
Классификация:

Сетевое оборудование

Технология разработки программного обеспечения

Математическая теория вычислений

Искусственный интеллект

ISBN-10: 3319339508
Обложка/Формат: Paperback
Страницы: 255
Вес: 0.42 кг.
Дата издания: 2016
Серия: Programming and Software Engineering
Язык: English
Иллюстрации: 55 black & white illustrations, biography
Размер: 234 x 156 x 14
Читательская аудитория: General (us: trade)
Основная тема: Computer Science
Подзаголовок: First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: 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.
Дополнительное описание:

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

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, Lecomte