Disclosed herein is a system and method for formally verifying the safety of the Federal Railroad Administration freight train kinematics model with all its relevant forces and parameters, including track slope and curvature, airbrake propagation, and resistive forces as computed by the Davis equation.
SYSTEMS AND METHODS FOR VERIFYING TRAIN CONTROLLERS
2024-12-19
Patent
Electronic Resource
English
Method and apparatus for verifying protecting logic of train
European Patent Office | 2015
|European Patent Office | 2015
|Method of verifying an ETCS (European Train Control System) design
European Patent Office | 2025
|Method of verifying an ETCS (european train control system) design
European Patent Office | 2023