Driver Machine Interface (DMI) is a slave unit of the train onboard computer (EVC) in the ERTMS automatic train control system. The SAFEDMI project aimed at the development of a DMI that fulfills the requirements of Safety Integrity Level 2 according to the CENELEC development standards. Formal methods were successfully applied in the quantitative evaluation of the DMI. It is presented an overview of the methods applied for the evaluation of the architecture, the wireless communication protocol, and the error detection codes. The DMI is responsible for the display of the information originating from the EVC (that supports the train driving) and the acquisition of driver's commands. Accordingly, its main hardware component are a display and a keyboard. Its functions and ergonomic requirements are defined in CENELEC requirement documents (CENELEC, 2005).


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Formal methods in the evaluation of a safe driver machine interface


    Additional title:

    Formale Verfahren zur Bewertung einer sicheren Treiber-Schnittstelle


    Contributors:


    Publication date :

    2008


    Size :

    8 Seiten, 8 Bilder, 16 Quellen



    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    Haptic interface of driver-assistance system based on safe driving evaluation

    Hiraoka, Toshihiro / Hayakawa, Masafumi | IEEE | 2015


    Driver Identification Through Formal Methods

    Martinelli, Fabio / Mercaldo, Francesco / Nardone, Vittoria et al. | IEEE | 2022


    Fail-safe bidirectional valve driver

    Fujimoto, H. | NTRS | 1974


    MEASURING DRIVER SAFE-DRIVING QUOTIENTS

    PATEL NIKHIL / KAMBHAMPATI PRITHVI / BOHL GREG et al. | European Patent Office | 2022

    Free access

    Human Machine Interface Integration for Driver Systems

    Ross, T. / ITS Congress Association | British Library Conference Proceedings | 2000