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
19.12.2024
Patent
Elektronische Ressource
Englisch
Method and apparatus for verifying protecting logic of train
Europäisches Patentamt | 2015
|Europäisches Patentamt | 2015
|Method of verifying an ETCS (European Train Control System) design
Europäisches Patentamt | 2025
|METHOD OF VERIFYING AN ETCS (EUROPEAN TRAIN CONTROL SYSTEM) DESIGN
Europäisches Patentamt | 2025
|