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.


    Zugriff

    Download


    Exportieren, teilen und zitieren



    Titel :

    SYSTEMS AND METHODS FOR VERIFYING TRAIN CONTROLLERS


    Beteiligte:
    PLATZER ANDRE (Autor:in) / MITSCH STEFAN (Autor:in) / KABRA ADITI (Autor:in)

    Erscheinungsdatum :

    19.12.2024


    Medientyp :

    Patent


    Format :

    Elektronische Ressource


    Sprache :

    Englisch


    Klassifikation :

    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 | Europäisches Patentamt | 2023

    Freier Zugriff

    Method and apparatus for verifying protecting logic of train

    ZHANG DATAO / GUO YANQUN / TAN XUEQIAN | Europäisches Patentamt | 2015

    Freier Zugriff

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

    WANG XIAOSHU / LYU XIAOJUN / SHI TIANYUN et al. | Europäisches Patentamt | 2015

    Freier Zugriff

    Method of verifying an ETCS (European Train Control System) design

    MARK THOMAS | Europäisches Patentamt | 2025

    Freier Zugriff

    METHOD OF VERIFYING AN ETCS (EUROPEAN TRAIN CONTROL SYSTEM) DESIGN

    THOMAS MARK | Europäisches Patentamt | 2025

    Freier Zugriff