Abstract Current intelligent transportation systems are based on Vehicle-2-X communication. They accomplish the next level of cooperative advanced driver assistance systems. Since these Vehicle-2-X communication applications are often located in the safety critical areas, high quality demands arise. One part of these requirements is the correct functional behavior. For its validation, a formal specification is required. In this paper, the Red-Light Violation Warning application is used. To specify all the functionality, Continuous-Time State Machines (CTSM) are introduced. Such, a formal specification of a Vehicle-2-X application is given and, consequently, no unintended ambiguities exist furthermore.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Behavior Specification of a Red-Light Violation Warning Application – An Approach for Specifying Reactive Vehicle-2-X Communication Applications


    Beteiligte:


    Erscheinungsdatum :

    2011-01-01


    Format / Umfang :

    13 pages





    Medientyp :

    Aufsatz/Kapitel (Buch)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch





    Specification device, route specifying method, route specifying program, route specifying system, and flying body device

    ASANUMA KUNIMITSU / SHIMADA AKITOSHI / YASURAOKA YU | Europäisches Patentamt | 2022

    Freier Zugriff

    Intersection signal violation vehicle warning device and method

    LEE DONG KEON | Europäisches Patentamt | 2022

    Freier Zugriff

    Intersection signal violation vehicle warning device and method

    LEE DONG KEON | Europäisches Patentamt | 2021

    Freier Zugriff

    VEHICLE POSITION SPECIFYING DEVICE AND VEHICLE POSITION SPECIFYING METHOD

    TATEISHI KOJIRO / SUZUKI SHUNSUKE / MIZUNO HIROSHI et al. | Europäisches Patentamt | 2017

    Freier Zugriff