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.


    Access

    Download


    Export, share and cite



    Title :

    SYSTEMS AND METHODS FOR VERIFYING TRAIN CONTROLLERS


    Additional title:

    SYSTÈMES ET PROCÉDÉS DE VÉRIFICATION DE COMMANDES DE TRAIN


    Contributors:
    PLATZER ANDRE (author) / MITSCH STEFAN (author) / KABRA ADITI (author)

    Publication date :

    2023-05-11


    Type of media :

    Patent


    Type of material :

    Electronic Resource


    Language :

    English


    Classification :

    IPC:    G06F ELECTRIC DIGITAL DATA PROCESSING , Elektrische digitale Datenverarbeitung / B61C Lokomotiven , LOCOMOTIVES



    Taming Interrupts for Verifying Industrial Multifunction Vehicle Bus Controllers

    Liu, Han / Jiang, Yu / Zhang, Huafeng et al. | British Library Conference Proceedings | 2016


    High-speed train operation environment monitoring train-ground information verifying method, device and system

    WANG XIAOSHU / LYU XIAOJUN / SHI TIANYUN et al. | European Patent Office | 2015

    Free access

    Method and apparatus for verifying protecting logic of train

    ZHANG DATAO / GUO YANQUN / TAN XUEQIAN | European Patent Office | 2015

    Free access

    Method and apparatus for verifying reliability of train input signal

    PARK SEONG HO / KIM KYOUNG SHIK / HONG GOO SUN | European Patent Office | 2021

    Free access