KIT | KIT-Bibliothek | Impressum | Datenschutz

Verification and Evaluation of Fail-Safe Virtual Traffic Light Applications

Neudecker, T. 1; An, N. 1; Hartenstein, H. 1
1 Institut für Telematik (TM), Karlsruher Institut für Technologie (KIT)


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.

DOI: 10.1109/VNC.2013.6737603
Zitationen: 7
Zitationen: 6
Zugehörige Institution(en) am KIT Institut für Telematik (TM)
Scientific Computing Center (SCC)
Universität Karlsruhe (TH) – Zentrale Einrichtungen (Zentrale Einrichtungen)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 2013
Sprache Englisch
Identifikator ISBN: 978-147992687-9
ISSN: 2157-9857
KITopen-ID: 1000038038
Erschienen in Proceedings of the 2013 IEEE Vehicular Networking Conference, VNC 2013; Boston, MA; United States; 16 December 2013 through 18 December 2013
Verlag Institute of Electrical and Electronics Engineers (IEEE)
Seiten 158-165
Serie IEEE Vehicular Networking Conference, VNC
Nachgewiesen in Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page