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
2023-05-11
Patent
Electronic Resource
English
Taming Interrupts for Verifying Industrial Multifunction Vehicle Bus Controllers
British Library Conference Proceedings | 2016
|European Patent Office | 2015
|Method and apparatus for verifying protecting logic of train
European Patent Office | 2015
|Method and apparatus for verifying reliability of train input signal
European Patent Office | 2021
|Method and apparatus for verifying reliability of train input signal
European Patent Office | 2021