Verification and evaluation of fail-safe Virtual Traffic Light applications

Neudecker, Till; An, Natalya; Hartenstein, Hannes

doi:10.1109/vnc.2013.6737603

Cited by 6 publications

(5 citation statements)

References 11 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…After the publication of the original VTL idea, the interest in VTL technology has increased considerably [5,6,9,10,12]. It can be seen from the reported results that the growing interest in VTL spans both academic institutions as well as industry (e.g., the article in [5] was recently published by Audi).…”

Section: Related Workmentioning

confidence: 99%

“…While a recent paper by Fathollahnejad et al from Chalmers University investigates the leader election algorithms for VTL [10], an interesting paper by Neudecker et al from Karlsruhe Institute of Technology looks into how to design VTL in a fail-safe manner [12]. To this end, the paper proposes a formal verification and model checking approach, and shows that VTL can be designed in a completely failsafe manner at the expense of 2 percent degradation in throughput at a given intersection.…”

Section: Related Workmentioning

confidence: 99%

“…V2V communications using dedicated short range communications (DSRC) in the 5.9 GHz band have facilitated the development of VTL [12,13]. However, given that the introduction of DSRC and VTL technology might occur gradually (with initial penetration rate of only 5-10 percent), systems, methods, and policies must be designed to pave the way for a smooth transition from the current infrastructure-based traffic control system to a full-blown VTL system.…”

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

Implementing virtual traffic lights with partial penetration: a game-theoretic approach

2014

View full text Add to dashboard Cite

Section: Related Workmentioning

confidence: 99%

Section: Related Workmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Implementing virtual traffic lights with partial penetration: a game-theoretic approach

2014

View full text Add to dashboard Cite

“…Vehicles are able to take both pro-active and passive actions well ahead of time, contributing to a globally effective transportation system. • Virtual Infrastructure [31][32][33]-Vehicles negotiate with each other and with infrastructure to improve safety, efficiency and contribute to reduced environmental impact. Road infrastructure will gradually become virtualized, contributing to reducing the cost of installation and maintenance.…”

Section: Vanets For Enabling a Safer More Efficient And Sustainablementioning

confidence: 99%

Future Applications of VANETs

Englund

Chen

Vinel

et al. 2015

Vehicular Ad Hoc Networks

View full text Add to dashboard Cite

Current transportation systems face great challenges due to the increasing mobility. Traffic accidents, congestion, air pollution, etc., are all calling for new methods to improve the transportation system. With the US legislation in progress over vehicle communications and EU's finalization of the basic set of standards over cooperative intelligent transportation systems (C-ITS), vehicular ad hoc network (VANET) based applications are expected to address those challenges and provide solutions for a safer, more efficient and sustainable future intelligent transportation systems (ITS). In this chapter, transportation challenges are firstly summarized in respect of safety, efficiency, environmental threat, etc. A brief introduction of the VANET is discussed along with state of the art of VANET-based applications. Based on the current progress and the development trend of VANET, a number of new features of future VANET are identified, together with a set of potential future ITS applications. The on-going research and field operational test projects, which are the major enabling efforts for the future VANET-based C-ITS, are presented. The chapter is of great interest to readers working within ITS for current development status and future trend within the C-ITS area. It is also of interest to general public for an overview of the VANET enabled future transportation system.

show abstract

“…Nakamurakare at all [1] and Neudecker [2] proposed an Android based prototype of Virtual Traffic Lights (VTL) to mitigate traffic congestion in urban areas by to increasing traffic efficiency without the use of conventional traffic light infrastructure. Castignani et all [ 3] contrasts cellular networks against community networks based on Wi-Fi residential access and tries to develop traces explorer to gather not only access point locations but also their performance in term of bandwidth and successful connection rate.…”

Section: Introductionmentioning

confidence: 99%

Inter-cars safety communication system based on Android smartphone

Djajadi

Putra

2014

2014 IEEE Conference on Open Systems (ICOS)

View full text Add to dashboard Cite

This paper proposes to create a communication system between cars to prevent and also to handle an accident. In the case of accident prevention, the system broadcast information to other cars about the condition of the surroundings by giving a warning notification upon some event, such bumpy road, speed bump and sudden brake. The system uses an Android based smart phone as the main platform. It utilizes the phone's internal built-in sensors for the event detection and localization and employs Wi-Fi Direct for the fast and cheap inter-cars communication to other Android devices in the surrounding areas. In the case of accident handling, the system implements an automatic emergency request by sending an emergency related data to dedicated numbers when the car is involved in an accident. The overall system has been tested for above sample situation in a real car on the roads and it proved to be very responsive and readily deployable with no additional hardware. Acquired sensor data are displayed on a map in the receiving Android Smartphone. The communication system between cars can lead to useful applications that help promote safety. By incorporating the information from the system's peers, the peers can cooperate together to prepare for any unwanted incident.

show abstract

Verification and evaluation of fail-safe Virtual Traffic Light applications

Cited by 6 publications

References 11 publications

Implementing virtual traffic lights with partial penetration: a game-theoretic approach

Implementing virtual traffic lights with partial penetration: a game-theoretic approach

Future Applications of VANETs

Inter-cars safety communication system based on Android smartphone

Contact Info

Product

Resources

About