KIT | KIT-Bibliothek | Impressum | Datenschutz
Originalveröffentlichung
DOI: 10.1109/VNC.2013.6737603
Scopus
Zitationen: 5

Verification and Evaluation of Fail-Safe Virtual Traffic Light Applications

Neudecker, T.; An, N.; Hartenstein, H.

Abstract:
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 requirem ... mehr


Zugehörige Institution(en) am KIT Institut für Telematik (TM)
Steinbuch Centre for Computing (SCC)
Publikationstyp Proceedingsbeitrag
Jahr 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 IEEE, Piscataway (NJ)
Seiten 158-165
Serie IEEE Vehicular Networking Conference, VNC
Nachgewiesen in Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page