The latest advancements in intelligent transportation systems (ITSs) increasingly rely on wireless vehicle-to-vehicle (VTV) and vehicle-to-infrastructure (VTI) communications to manage traffic flows at intersections dynamically. A prominent example is virtual traffic lights (VTLs), which use only VTV communications and which have been shown to have the potential to increase traffic flows and reduce emissions significantly. Two key issues that can affect the adoption of desirable ITS solutions like VTLs are functional safety and the management of a move from a vehicle fleet not equipped with VTLs to a vehicle fleet completely equipped with VTLs. For the first issue, the first model-driven engineering-based modeling and verification technique for ITSs is proposed. This technique can be used to prove functional safety with 100% coverage. Through the use of this technique, it is shown that although VTLs are safe under normal circumstances, they are very fragile when they face unlikely, but not impossible, exceptional circumstances. For the second issue, an extended algorithm called VTL+ is proposed. VTL+ uses additional VTI communication with the existing infrastructure to enable effective and safe traffic flow during the VTL transition phase. It is also found through static analysis that VTL+ is more robust and more feature rich than VTLs.


    Access

    Download

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Virtual Traffic Lights+


    Subtitle :

    A Robust, Practical, and Functionally Safe Intelligent Transportation System


    Additional title:

    Transportation Research Record


    Contributors:


    Publication date :

    2013-01-01




    Type of media :

    Article (Journal)


    Type of material :

    Electronic Resource


    Language :

    English



    Towards Personal Virtual Traffic Lights

    Martins, Vanessa / Rufino, João / Silva, Luis Emanuel et al. | BASE | 2019

    Free access

    Virtual Traffic Lights: System Design and Implementation

    Zhang, Rusheng / Schmutz, Frank / Gerard, Kyle et al. | IEEE | 2018


    Virtual traffic lights in partial deployment scenarios

    Conceicao, Hugo / Ferreira, Michel / Steenkiste, Peter | IEEE | 2013


    VIRTUAL TRAFFIC LIGHTS IN PARTIAL DEPLOYMENT SCENARIOS

    Conceicao, H. / Ferreira, M. / Steenkiste, P. et al. | British Library Conference Proceedings | 2013


    System and method implementing virtual pedestrian traffic lights

    TONGUZ OZAN / ZHANG RUSHENG / SONG LIN et al. | European Patent Office | 2023

    Free access