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).


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Formal methods in the evaluation of a safe driver machine interface


    Weitere Titelangaben:

    Formale Verfahren zur Bewertung einer sicheren Treiber-Schnittstelle


    Beteiligte:
    Majzik, Istvan (Autor:in) / Bondavalli, Andrea (Autor:in) / Klapka, Stepan (Autor:in) / Madsen, Tatiana K. (Autor:in) / Iovino, Danilo (Autor:in)


    Erscheinungsdatum :

    2008


    Format / Umfang :

    8 Seiten, 8 Bilder, 16 Quellen



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




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

    Freier Zugriff

    Human Machine Interface Integration for Driver Systems

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