The purpose of Virtual Traffic Light (VTL) applications is to increase traffic efficiency without the use of conventional traffic light infrastructure. With VTL applications, vehicles self-organize for intersection crossing based on wireless communication. Although VTL applications must comply with high safety requirements, no verification of VTL's safety has been provided so far. We present a VTL protocol that is verified to be fail-safe using model checking as a verification approach. Performance evaluation through simulation showed that the verified fail-safe VTL protocol delivers—although far from optimum—decent results with respect to such traffic efficiency metrics like throughput and travel time. The investigated efficiency optimization substantially improved efficiency, yet compromised the safety of VTL. We quantify the tradeoff between efficiency and safety and show that increasing the safety level deteriorates efficiency only marginally. In particular, a safety level increase by a factor of 1,000 increases travel time by approximately 2% in the studied scenario. Therefore, high safety requirements can be met while maintaining high efficiency gains.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Verification and evaluation of fail-safe Virtual Traffic Light applications


    Contributors:


    Publication date :

    2013-12-01


    Size :

    785523 byte





    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    Long life, fail safe traffic light

    HEBBORN KEVIN A / ZINGLER GLENN J | European Patent Office | 2017

    Free access

    LONG LIFE, FAIL SAFE TRAFFIC LIGHT

    HEBBORN KEVIN A / ZINGLER GLENN J | European Patent Office | 2020

    Free access

    LONG LIFE, FAIL SAFE TRAFFIC LIGHT

    HEBBORN KEVIN A / ZINGLER GLENN J | European Patent Office | 2018

    Free access

    Fail safe or fail dead?

    Davis,A. | Automotive engineering | 1988


    FAIL-SAFE CONTROL DEVICE AND FAIL-SAFE CONTROL METHOD

    OKUBO YOICHI / SUGIYAMA AKINOBU | European Patent Office | 2019

    Free access