책 이미지
책 정보
· 분류 : 외국도서 > 컴퓨터 > 소프트웨어 개발/엔지니어링 > 일반
· ISBN : 9783319684987
· 쪽수 : 265쪽
목차
Keynote Talk.- Cyber Security in Railways: Quo vadis?.- Communication Challenges in Railway Systems.- LTE System Design for Urban Light Rail Transport.- A framework to evaluate 5G networks for smart and fail-safe communications in ERTMS/ETCS.- Systems-Theoretic Likelihood and Severity Analysis for Safety and Security Co-Engineering.- Formal Modelling and Verification for Safety.- Formal modelling techniques for efficient development of railway control products.- OVADO: Enhancing Data Validation for Safety-Critical Railway Systems.- A Domain-Specific Language for Generic Interlocking Models and Their Properties.- Bayesian Network Modeling Applied on Railway Level Crossing Safety.- Deductive Verification of Railway Operations.- Safety Analysis of a CBTC System: A Rigorous Approach with Event-B.- B-PERFect: Applying the PERF approach to B based system developments.- Formal Verification of Train Control with Air Pressure Brakes.- Light Rail and Urban Transit.- An Efficient Evaluation Scheme for KPIs in Regulated Urban Train Systems.- Redundant and Reliable Architecture Based On Open Source Tools for Light-Rail-Transit On-Board-Systems.- Dynamic Routing for Urban Transport Systems Through Integer Linear Programming.- Engineering Techniques and Standards.- Theories, Techniques and Tools for Engineering Heterogeneous Railway Networks.- Are Standards an Ambiguity-free Reference for Product Validation.