Vehicle-to-Vehicle (V2V) and Vehicle-to-Infrastructure (V2I) technologies (together, V2X) will enable vehicles, ranging from cars to trucks to buses to pedestrians to wirelessly exchange important safety and congestion information. This exchange is expected to help save lives, prevent injuries and ease traffic congestion. The realization of this promise however critically depends on the deployment of judicious wireless and vehicular control strategies (e.g., how vehicular routing choices respond to V2X messages, how wireless network schedules these messages, how traffic signals may be controlled to optimize their spread) that exploit the opportunities and stymie the obstacles that the interdependence between the wireless and transportation infrastructures introduce. To that end, one needs mechanisms to model, evaluate and control V2X, which is what we seek to obtain, by proposing deployment of formal methods in the field of V2X. Specifically, we show how a V2X system can be formally verified to assess reachability to undesirable states by modeling it as a hybrid system and then verifying the safety properties for this hybrid system via reachability.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Towards formalization of wireless vehicular networking


    Contributors:


    Publication date :

    2020-04-01


    Size :

    508154 byte




    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    Vehicular networking

    Sommer, Christoph / Dressler, Falko | SLUB | 2015


    Vehicular networking

    Sommer, Christoph / Dressler, Falko | TIBKAT | 2015


    Vehicular networking

    Sommer, Christoph / Dressler, Falko | SLUB | 2014


    Vehicular networking

    Sommer, Christoph / Dressler, Falko | SLUB | 2015


    Vehicular networking

    Sommer, Christoph / Dressler, Falko | TIBKAT | 2014