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.


    Access

    Download


    Export, share and cite



    Title :

    SYSTEMS AND METHODS FOR VERIFYING TRAIN CONTROLLERS


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

    Publication date :

    2024-12-19


    Type of media :

    Patent


    Type of material :

    Electronic Resource


    Language :

    English


    Classification :

    IPC:    B61L Leiten des Eisenbahnverkehrs , GUIDING RAILWAY TRAFFIC / G06F ELECTRIC DIGITAL DATA PROCESSING , Elektrische digitale Datenverarbeitung



    SYSTEMS AND METHODS FOR VERIFYING TRAIN CONTROLLERS

    PLATZER ANDRE / MITSCH STEFAN / KABRA ADITI | European Patent Office | 2023

    Free access

    Method and apparatus for verifying protecting logic of train

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

    Free access

    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 of verifying an ETCS (European Train Control System) design

    MARK THOMAS | European Patent Office | 2025

    Free access