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.
La présente divulgation concerne un système et un procédé pour vérifier formellement la sécurité du modèle cinématique de train de marchandises de la Federal Railroad Administration avec l'ensemble de ses forces et paramètres pertinents, notamment l'inclinaison et la courbure de voie, la propagation de frein à air et les forces résistives telles que calculées par l'équation de Davis.
SYSTEMS AND METHODS FOR VERIFYING TRAIN CONTROLLERS
SYSTÈMES ET PROCÉDÉS DE VÉRIFICATION DE COMMANDES DE TRAIN
11.05.2023
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
|