Simulation of VANET Applications: Valentin Cristea Victor Gradinescu Cristian Gorgorin Raluca Diaconescu Liviu Iftode
Simulation of VANET Applications: Valentin Cristea Victor Gradinescu Cristian Gorgorin Raluca Diaconescu Liviu Iftode
Chapter XIV
ABSTRaCT
This chapter systematically presents actual issues regarding the simulation of VANET applications. Some of them refer to challenges in developing VANET simulators. The chapter discusses simulator architectures, models used for representing the communication among vehicles, vehicles mobility features, and simulation tool implementation methods. A critical analysis of the solutions adopted in some well-known actual simulators is also included. Other issues relate to the use of simulation in the evaluation of applications that aim at improving the traffic safety and control. Representative city and highway application scenarios are discussed, and results that can be obtained by simulation, along with ways these results can be exploited by VANET developers and users are highlighted. Future trends in the development of simulators that produce more accurate results and their use for the evaluation of more sophisticated traffic control solutions are also included.
Copyright 2009, IGI Global, distributing in print or electronic forms without written permission of IGI Global is prohibited.
INTRODUCTiON
Vehicle-to-vehicle communication is a very actual and challenging topic. Vehicles equipped with devices capable of short-range wireless connectivity can form a particular mobile ad-hoc network, VANETVehicular Ad-hoc NETwork. The existence of such networks opens the way for a wide range of applications. Two of the most important classes of such applications are those related to route planning and traffic safety. Route planning aims to provide drivers with real-time traffic information, which, in the absence of a VANET, would require an expensive infrastructure. By contrast, the VANET approach is scalable and has low maintenance costs. Moreover, short-range wireless communication technologies (such as 802.11) have no associated cost, other than the communication devices. Safety applications involve disseminating urgent information, which is not present in the drivers field of view, or it is difficult to notice for reasons such as fog or other vehicles obstructing the line of sight. For instance, a lot of accidents occur in foggy conditions because drivers notice too late that some kind of incident has occurred in front of them. Safety at intersections could also be enhanced, since the risk of collisions could be detected in advance and the driver could be warned seconds before what would otherwise be an imminent accident. The evaluation of VANET protocols and applications could be made through real outdoor experiments, which are time-costly and claim for a large number of resources in order to obtain significant results. Instead, simulation is a much cheaper and easier to use method. Obviously, this leads network and application developers to use simulation in order to evaluate different simple or complicated and innovative solutions before implementing them. In turn, this stimulated the interest for the development of simulators that easily integrate the models and respond to the requirements of VANET applications. Simulators have become indispensable tools at least
in the initial phases of the VANET application engineering process. This chapter aims to present the features and trends in VANET applications simulation, to explain the sources of its complexity and to describe actual solutions. The main challenges are presented in the next section, which introduces the three models involved in VANET simulations: the network and traffic models are determined by the currently used technology; the third model corresponds to the application itself. Then, general features of VANET simulators are presented. We describe an architecture that integrates the first two models and allows an easy interfacing with the third model. Details about the network / communication model are also given, and several components of the traffic / mobility model are then discussed. Current challenges in developing VANET simulators, and the description of solutions adopted so far are subjects of a separate section, in which issues regarding the performance of different simulation tools are presented. Another section is dedicated to application scenarios, the results that can be obtained by simulation, and the ways these results can be exploited by VANET developers and users to improve the car-to-car communication and the traffic control. The chapter ends with conclusions and future trends.
BaCKGROUND
Simulating a VANET involves two different aspects. First, there are issues related to the communication among vehicles. Network simulators, like The Network Simulatorns-2 (2008) and Jist/ SWANS (2008) cope with communication issues and focus on network protocol characteristics. The second very important aspect is related to the mobility of the VANET nodes. Traffic simulators take into account the traffic model, not necessarily in conjunction with VANETs. For example, TRANSTraffic Network Simulator
259
(Katz, 1963) was used to optimize the timing of traffic lights in the absence of inter-vehicular communication. In the majority of VANET applications, vehicles react to messages. For instance, if a driver receives a message saying that the road ahead is congested, that driver will probably change her/his route. In order to study such reactions, an integrated simulator is needed, one in which the relationship between the vehicle mobility module and the network communication module is bidirectional. Choffnes and Bustamante (2005) showed that the vehicular mobility (traffic) model is very important, and its integration with the wireless network model could produce more significant results. The authors present an integrated simulator that uses an original vehicular traffic model called Street Random Waypoint (STRAW) implemented on top of JiST/SWANS (2008). The authors have used the simulator to show that studying routing protocols for a vehicular network without an accurate vehicular traffic model is a wrong approach. In this respect, they compared their own results with those obtained with the Random Waypoint model (Broch, 1998), which is a very inaccurate representation of a vehicular network. The mobility model implemented in some simulators is not a sufficiently accurate representation of actual vehicle mobility. For example, in the model of Saha and Johnson (2004), each vehicle moves completely independent of other vehicles, with a constant speed randomly chosen. Multi-lane roads or traffic control systems are not taken into consideration. Other authors (Mangharam et al., 2005) make similar simplifying assumptions and do not consider multi-lane roads or car following models. The mobility model of Choffnes and Bustamante (2005) is more complex: the motion of a vehicle is influenced by the preceding vehicle, and traffic control systems are considered. However, multi-lane roads are not taken into consideration. A more accurate model has been used in the development of an integrated vehicular networks
simulator, VNSim (Gorgorin, 2006), which includes a complex model for vehicles mobility, a wireless network simulator, and an interface for the emulation of vehicular applications. The simulator can be used to analyze networks of several thousands of nodes in complex city scenarios as well as in highway scenarios. The simulator allows the evaluation of a large range of vehicular computing applications, which cannot be studied by using other simulators, and can be used to improve both car-to-car communication protocols and traffic control applications (Gradinescu, 2007; Diaconescu, 2007).
260
some of the features that a microscopic VANET simulator has to implement to allow the analysis of such applications.
Simulator Architecture
A VANET simulator has two main components: a network component, capable of simulating the behavior of a wireless network, and a vehicular traffic component, able to provide an accurate mobility model for the nodes of a VANET. Depending on the simulation type, the simulator can contain other components as well. To describe them, we refer to the VNSim presented in (Gorgorin, 2006). Figure 1 shows the general view of VNSim. This is a microscopic discrete-event simulator. Consequently, it includes components for event management: an Event Queue, where the events are registered in the order of their occurrence times, the modules for events processing, and a logical clock for the management of the simulation Figure 1. General VNSim architecture
time. The simulation time is quantified in fixed pieces so that each event can be associated to a specific timestamp with an acceptable resolution. At every moment of the simulation time, the Event Engine pulls the current events from the queue, and handles them in a random order by calling the event processing modules. The vehicular traffic component is represented by the Mobility Module, while the wireless network component is incorporated into the Network Module and Scheduler. The Event Queue can hold three types of events: send, receive or GPS. A send event for a specified node triggers the call to the nodes procedure responsible for preparing a message. It also schedules the corresponding receive event(s) for the message receiver(s) that are determined by the simulator according to the wireless network model. The receive event is associated with a node (group of nodes) to which the message is transmitted (broadcasted). Its action is to call the appropriate handler in each of the receiving
261
nodes. The GPS event is scheduled at a regular time interval, for each node, in order to simulate the way an actual VANET application periodically collects GPS data. The mobility module repeatedly updates the position of each node representing a vehicle, according to the vehicular mobility model. This model takes into account vehicle interactions (passing by, car following patterns, etc.), traffic rules, and the behavior of different drivers. The main advantage of this architecture is the possibility to execute (or emulate) the actual code of a vehicular application without significant changes, by using appropriate simulator interfaces. In other cases, the vehicular mobility and wireless network models can be incorporated in different simulation tools. For example, MOVEMObility model generator for VEhicular networks (2008) uses SUMOSimulation of Urban MObility (2008) for simulating a traffic scenario and generating an output file with vehicular mobility traces. This file is offered as an input to a network simulator, such as ns-2 or Qualnet (2008), to obtain the final simulation results. A similar solution is adopted in (Eichler, 2005), where the authors propose the coupling of the CARISMA Traffic simulator with ns-2 and with the application module, in order to study the vehicle-to-vehicle warning-message distribution. Synchronization data is exchanged periodically between the two simulators. The challenge is to ensure the coupling of simulators, i.e. the consistency of vehicle positions in both simulators, at synchronization points. The simple architecture mentioned above makes use of existing traffic and network simulators. The drawback is that it does not support the simulation of complex VANET applications in which the driver behavior would be influenced by the application itself, as already discussed before. An innovative architecture aiming at solving this problem is currently under evaluation by the authors of TraNS (Piorkowski, 2008). They are trying to develop a general framework for con-
trolling the mobility, without being limited to a specific traffic simulator or to a specific network simulator. This architecture promises to offer new possibilities for simulating VANET applications, but the framework has not yet been released. A slightly different architectural approach is the hybrid simulation (Killat, 2007). The simulator architecture incorporates a previously implemented vehicular traffic simulator VISSIM and two new components: VCOM, used to simulate the inter-vehicle communication on the basis of a statistical model proposed by the authors, and an application module. The simulator has to respond to specific user requirements regarding the functionality (it was aimed to investigate the impact of car-to-x communications on transport efficiency) and the performance (scalability, short response time, and easy of use). The relevant characteristics of a VANET simulator are the simulation efficiency and accuracy for large scale VANETs, which we will address in a separate section.
Communication Models
Communication models highlight the information flows between vehicles and are of special interest when vehicles move with high relative speeds. VANET applications are affected by wireless networking aspects such as transmission delay, packet loss or network access scheme. However, accurate network simulation introduces additional complexity and makes several large scale VANET applications unsuitable for simulation. In this section, we discuss the network characteristics that are mostly relevant for VANET simulation, as well as the accuracy that can be reached with their implementation. At the physical layer, the reliability of the wireless network, in terms of packet loss and transmission delays, is relevant to simulation. Several models are used for the radio waves propagation, which consider estimates of the power of a received signal. This signal can be received by an antenna only if the Signal-To-Noise (SNR) ratio is over a specific SNR Threshold (SNRT).
262
Wave propagation models have been studied extensively for decades in telecommunication and recently have been correlated with vehicular short range communication. The radio signal can be degraded by fading. This is caused by signal propagation over multiple paths (with different values for the attenuation, delay and phase shift), which produces interferences at the receiving antenna. There are several examples of such propagation models that were implemented in wireless simulators. Free Space Model is the simplest one, which considers ideal conditions: a single radio signal that attenuates with distance. Two Ray Ground propagation model considers two rays between the source and the destination: the direct line and the ground reflection. It gives more accurate estimates than the free space model, especially for long distances. VNSim (Gorgorin, 2006) implements this model and includes the signal attenuation with distance in order to test different ways to optimize the network traffic. Rayleigh fading (Sklar, 1997) models multiple indirect paths between the sender and the receiver, while the Ricean fading model considers only one dominant line of sight and multiple indirect signals. Reports from real experiments have shown that vehicular short-range wireless networks can be modeled using the Nakagami fading model (Sklar, 1997), which considers fast fading to characterize the wireless channel. Concerning the protocols, DSRCDedicated Short-Range Communications Protocol (Taliwal, 2004) is a multi-channel wireless protocol, which is based on the IEEE 802.11a Physical Layer and the IEEE 802.11 MAC Layer. It operates over a 75 MHz licensed spectrum in the 5.9 GHz band allocated by the Federal Communications Commission, and supports low latency vehicle-to-vehicle and vehicle-to-infrastructure communications. The motivation behind the development of DSRC is mainly the need for a more tightly controlled spectrum for maximized reliability. The use of hand-held and hands-free devices on the 2.4 and 5
GHz bands along with the increase of WiFi could cause intolerable and uncontrollable levels of interference, which would significantly decrease the reliability and effectiveness of vehicular safety applications. But, even with a licensed band, some issues arise, such as fair access to all applications, including priority scheduling of traffic between different application classes (safety over nonsafety). Unlike 802.11, multi-channel coordination is a fundamental capability of DSRC. Consistent effort has been put into matching simulation results to real outdoor experiments. Yin et al. (2004) observe significant degradation of the network performance under the high node mobility. The study evaluated the DSRC Physical Layer and the MAC Layer, in the context of a traffic safety application, on top of a customized simulator combining the CORSIM (2008) traffic simulator and the Qualnet (2001) network simulator. It showed a long term average throughput of 50-60%. Using the Nakagami m-distribution fading model implemented in ns-2, Killat et al. (2007) estimated the probability of successful reception at a given distance depending on vehicle density and data load. Their idea is to combine discreteevent simulation and mathematical modeling, starting from the observation that the data transmission that is actually interesting and relevant for a VANET application represents only a small percentage of the total data exchanged during a traffic scenario. There is a lot of background traffic, which can be much more efficiently simulated with statistical methods, while keeping the more accurate discrete-event simulation techniques only for interesting data. Their work is based on the concept of hybrid simulation and offers much better performance compared to purely discrete-event approaches. Although actual outdoor experiments have been made, the behavior of the wireless network (the DSRC protocol) under stressed city-like scenarios with high node density is still an open issue. This is why simulation frameworks now focus on large scale VANET simulations.
263
A lot of work has been done to study the routing layer protocols in mobile ad-hoc networks, MANETs. They can be grouped in two categories. The first category includes protocols that use the IP addresses to locate nodes, such as: DSDV Destination-Sequence Distance Vector Routing (Perkin, 1994), DSRDynamic Source Routing (Johnson, 2001), AODVAd hoc on demand distance vector (rfc3561, 2008), and MPRMobile Relay Protocol (Nain, 2004). Protocols in the second category are based on location information. Some examples are: DREAM (Basagni, 1998), GPSRGreedy Perimeter Stateless Routing (Karp, 2000), and ABRPAnchor Based Routing Protocol (Huaizhi, 2005). Classical MANET protocols have been proven to perform poorly (Blum, 2004) due to specific characteristics of vehicular ad-hoc networks, namely: rapid topology changes, small network diameter, and limited redundancy. This is why other position-based forwarding solutions have been proposed (Festag, 2004) for vehicular environments, which take into account some elements of the vehicle mobility model such as the distance between communicating partners and the available paths towards destination. This led to a combined position-based and map-based ad hoc routing. Mobility Models Mobility models emphasize local behavior of individual vehicles by representing the velocity and position of each vehicle at a given moment. This type of simulation is especially helpful for studying localized traffic interactions. Vehicular traffic mobility models have been studied for a long time. However, until recently, the purpose of developing and studying accurate mobility models has not been to use them for VANET simulation. In this section, we review vehicular mobility models, from the perspective of a VANET simulator architect.
Generally, when choosing a mobility model for a VANET simulator, the complexity and the accuracy are the most important issues need to be considered. The benefit of using a very complex and accurate mobility model, together with the performance penalty, should be carefully evaluated, keeping in mind the purpose of the VANET simulator and the type of applications for which it is designed. In the Random Waypoint mobility model (Broch 1998), each mobile node has a position and a velocity, and moves towards a random destination in a predictable way that can be calculated as a function of time. This model was used originally in ns-2 (2008). It was designed for general-purpose mobile networks and does not accurately represent vehicular motion. Jardosh et al. (2003) define a more complicated model that corresponds to urban settings, in which obstacles are introduced to constrain vehicles mobility and the wireless transmission. Two other models have been defined by Potnis and Mahajan (2006). The Stop Sign Model (SSM) introduces stop signs at every intersection. Every vehicle arriving at the intersection would wait for a fixed period of time before proceeding to its destination. The Traffic Sign Model (TSM) introduces traffic lights at every intersection. A vehicle arriving at an intersection waits for a random period. Both models introduce queues at intersections and interdependencies among vehicles on the same street. A thorough analysis of these models is described in (Mahajan et al., 2007). The authors studied the dependency of the packet delivery ratio and delay on the characteristics of the urban settings such as street layout, traffic rules, etc. In some studies (Baumann et al., 2008), specific models such as the Manhattan model and GIS models, are used to establish the street layouts. In the model of Saha and Johnson (2004), each vehicle starts at some randomly selected point on a road and moves until a destination point on another randomly selected road. Several new elements are added to the model and to its use.
264
First, the path between the starting and destination points is calculated by using the Dijkstras shortest path algorithm. Second, the vehicle speed is also randomly calculated using a uniform distribution within a specified interval. Third, the authors use the TIGER map database to create a more realistic environment of the simulation study. The mobility model of Choffnes and Bustamante (2005) is more complex: the motion of a vehicle is influenced by the preceding vehicle (car following model), and traffic control systems are considered to introduce some actual traffic conditions such as traffic congestion. In addition, the model includes communication details, such as the percentage of cars actively communicating, and road maps details, such as characteristics of street segments and number of lanes in each direction. The study of safety and traffic control applications requires an accurate model of driver behavior. One example is the model developed by Wiedemann (1974, 1991) and further studied by Fellendorf and Vortisch (2001). This psychophysical model is used in the commercial traffic simulator VISSIM (2008). The basic assumption is that a driver can be in one of four modes, which are classified according to the drivers convenience: free driving (superior convenience), approaching, following, and braking (lowest convenience). In the free driving mode there is no influence from preceding vehicles on the same lane. In this situation, the driver will seek to obtain and maintain a desired speed. The desired speed and the acceleration depend on drivers personality, and on roads characteristics. In the approaching mode, there is a slower preceding vehicle that influences the driver. In this situation, the driver decelerates in order to obtain the same speed as the preceding vehicle. The deceleration is a function of the distance between the two vehicles, their speeds, as well as other parameters. In the following mode, there is a current and a preceding vehicle, but the speeds of the two vehicles are practically equal. In this situation, the driver will seek to keep the
speed constant. In the braking mode, there is a slower preceding vehicle, very close in front. In this mode, due to the immediate danger, the driver will apply high deceleration rates. This model was implemented in VNSim, together with a lane-changing model for multilane roads, based on lane-usage rules valid for several European countries. According to these rules, the use of the first lane is required, unless it is occupied. It means that a driver will always try to stay on the lower lanes, except when overtaking another slower vehicle. Overtaking on the right side is not allowed. Whenever a driver is in a different mode than free driving, she/he will always check if the higher lane can provide a superior mode. If this is the case, the driver will switch to a higher lane. Similarly, whenever a driver is in a different mode than braking, she/he will always check if the lower lane provides at least equal conditions. In this case, the driver will switch to a lower lane. Different driver profiles (aggressive, regular, calm) can easily be modeled by using several parameters: distance between vehicles, maximum speed, desired speed, driver reaction time, critical distance for driver reaction, etc. Each driver class is represented by a specific set of values for these parameters. In order to further differentiate the drivers, the model allows small deviations from the specified values, which are randomly computed for each individual driver. Fellendorf and Vortisch (2001) showed that the model is accurate, by comparing simulated traces with actual measurement data taken from a German freeway and from a US freeway. To further calibrate the model, the authors of VNSim performed an extra validation, by measuring real-time traffic in intersections and comparing the results to those obtained by simulation (Gradinescu, 2007). Estimating fuel consumption and pollutant emissions is an increasingly important issue when studying vehicular traffic. The model of Akcelik and Besley (2003) considers the estimation of the relation between fuel consumption and emissions,
265
on one side, and the speed and acceleration of the vehicle, on the other. A simplified version of this was used in VNSim to take into account only light vehicles. Statistics and global measures have been easily obtained.
Maps
A digital map is required in almost any VANET application. Each vehicle that is part of the system should have access to such a digital map. A very popular option for digital maps used by VANET simulators is TIGERTopologically Integrated Geographic Encoding and Referencing (2008), which is freely-available, actual digital maps for the USA. Most of the VANET simulators use TIGER files as the source for their digital maps. TIGER files contain detailed geographical information about the roads in a region, from large highways to small streets. For each road, the TIGER files specify its end points, along with as many intermediate points as needed, depending on the roads shape. Furthermore, for each road, a class information is given (whether it is a small street, a local road, a State Route, or an Interstate Highway). Unfortunately, the TIGER database lacks more detailed traffic-specific information, like the number of lanes, or traffic control systems, like traffic lights, yield or stop signs. In more realistic simulations, such information is required. The authors of VNSim have chosen to add the extra information, based on simple heuristics and on the road class information included in the TIGER files. For example, more lanes are considered for higher class roads, yield or stop signs are introduced for lower class roads, traffic lights are used at intersections between equally important roads, etc.
266
development makes use of the TIGER database. The mobility model which they implement is very simple, without considering car-following or lane-changing models. However, their simulations are among the first ones which prove that using a different mobility model than the wellknown random waypoint model will generate significantly different results, thus proving that the mobility model is an important component of a VANET simulator The other approach is to use an existing mobility model implementation and integrate it with a network simulator. This approach takes advantage from existing vehicular traffic simulators, which already implement complex, validated mobility models. The challenge of this approach is to achieve an online integration, in which the movement of vehicles is directly influenced by the VANET applications running on some of the vehicles. The easier way for integration is to generate traffic patterns offline, and then use these results as an input to a network simulator. VanetMobiSim (Harri et al., 2006) is a generator of realistic vehicular movement traces for network simulators. It considers macro-mobility features, such as road topology, number of lanes, speed limits, etc., and micro-mobility characteristics, like crossroads regulated by traffic signs or lane change capability for vehicles. Similarly, the Generic Mobility Simulation FrameworkGMSF (Baumann et al., 2008), which models and simulates node mobility, is designed to work together with a network simulator. GMSF has some important distinctive features: it implements new GIS-based models with detailed road maps, and includes microscopic features such as traffic lights management. An example of using mobility traces is given in (Yang et al., 2007). The authors propose an evaluation framework for VANET applications. It utilizes a hybrid emulation testbed TWINE, which combines real implementation of high level network layers (closer to the application) with the simulation of low level layers (physical, MAC).
The framework offers several advantages to its users: it allows the execution of real applications in a simulated network environment; it integrates realistic mobility traces and deployment data; it uses evaluation metrics related to the application. A similar approach is described in (Rehunathan et al., 2007), where a microscopic traffic simulator, MITSIMLab is used to generate vehicle movement traces to be used in ns-2. This approach, however, does not allow for an accurate evaluation of a VANET application or protocol, because the mobility pattern cannot be modified as a reaction to the VANET application. Using an existing traffic simulator, which is based on already validated complex traffic models, has the important advantage of avoiding re-inventing the wheel. Among the most recent attempts to implement a VANET simulator by using this approach are MOVE (Karnadi et al., 2007) and TraNSTraffic and Network Simulator (Piorkowski et al., 2008). Both use the open-source microscopic traffic simulator SUMO (2008), which implements complex validated vehicular traffic mobility models. And both use two steps for the VANET simulation. In the first step, traffic traces are generated offline using the traffic simulator. In the second step, a network simulator processes the traffic traces and evaluates the network communication between the nodes. The authors of both simulators agree that the approach does not allow the simulation of complex VANET applications, in which the driver behavior would be changed by the application itself. However, both developer teams mention that this is a goal for future work that will achieve a real integration between the traffic mobility model and the network communication model. Furthermore, the authors of TraNS claim that their simulator is the first open source project that attempts to realize this highly pursued coupling for application-centric VANET evaluation (Piorkowski et al., 2008). Sommer et al. (2008) describe the simulation framework Veins (Vehicles in Network Simula-
267
tion) that is based on the bidirectional coupling of OMNeT++, a network simulator capable of modeling realistic communication patterns of VANET nodes, and of SUMO, the microscopic traffic simulator. The bidirectional coupling is able to support the analysis of more realistic traffic models that reflect the impact of inter vehicle communication on the road traffic.
Simulator Performance
Accurate simulation of vehicles mobility and wireless transmission is time-costly. Also, for an application designer, the study of many application scenarios requires experiments with large maps and with large numbers of vehicles. This is why the scalability of VANET simulators is a main performance metric for which we present some guiding figures. Experiments performed with VNSim on a 1.6GHz uni-processor showed that it can support around 10.000 network events per second. This value is lower than the throughput of the widelyused network simulator ns-2, which can simulate over 60.000 events per second, on a 2GHz uniprocessor. This is explained by the of the network simulator with a complex node mobility model,
which is responsible for accurately computing the motion of all nodes, in each time quantum. The graph in Figure 2 shows the evolution of the simulators performance with the increase of the number of nodes. The results are based on simulations performed in a highway traffic scenario, with all the nodes running a neighbordiscovery and update protocol, with a 1 second period for the beacon messages. VNSim is able to simulate motion of 1000 vehicles, in a complex city-scenario in real-time (1 second of simulation in 1 second of real time). Experiments have been done by the authors with a squared region of 1km by 1km in Manhattan downtown, which has a high number of intersections and traffic lights (see Figure 3). VNSim was also used to perform the simulation of more complex scenarios, involving up to 10.000 vehicles. NCTuns (Wang, 2008), a highly-integrated simulator, cannot be used for large-scale simulations. Thus, for the simulation of a scenario with 100 vehicles, 22 minutes are required. For the same scenario, if the number of vehicles doubles then the amount of time required for the simulation grows approximately 4 times, to 84 minutes. These results, obtained on a 1.8 GHz uniprocessor, show that the simulation of large-scale vehicular networks (with tens of thousands of vehicles) can be achieved. Figure 3 Squared region in Manhattan downtown
Figure 2 VNSim performance evolution with the increase of the number of nodes
500
450 400 350 300 250 200 150 100 50 0 250 500 750 1000 1250 1500 1750 2000 NUMBER OF NODES
268
Some performance results are presented in (Choffnes, 2005) for the STRAW simulator. Here, STRAWs overhead has been evaluated for two models: a simple one in which vehicle movement is determined randomly at each intersection, and a more complicated one in which the movements are determined according to pre-computed shortest paths. The evaluation was done by disabling the wireless communication simulator. The experiments were performed on a Pentium 4 at 2.4GHz computer with HyperThreading enabled. When the number of nodes considered in the experiment increased from 100 to 1600, the runtime increased four times for the simple model and 6.5 times for the more complicated model. The highest overhead of 10% of the simulation time has been registered for the complex model with 1600 vehicles. One solution to improve simulators performance is parallelization. Fujimoto et al (2003) report experiments performed on packet level network simulators. Parallelization is achieved by federating several copies of the same simulator or of different simulators. This approach was used to produce two parallel simulators, PDNSParallel / Distributed Network Simulator (PDNS) based on ns-2 and GTNetS developed at Georgia Tech. The results showed a very good performance measured in number of transmissions per second, PTSPacket Transmissions that can be simulated per Second. More specific, for the best case of parallel simulations, the number of PTS was 50 times higher than the number of PTS obtained in the best sequential case. MoVES, a Mobile Wireless Vehicular Environment Simulator (Bononi et al., 2006) is also parallel and distributed. Its idea is to distribute subsets of the model entities to different processors that communicate via message passing. The authors find that the parallel approach gives good results when simulating massive wireless vehicular networks. Higher performance can also be achieved by the use of hybrid simulators (Killat, 2007). The
authors present the results obtained for 2.500 to 3.000 vehicles in a scenario dedicated to the analysis of the impact of the penetration rate of radio-equipped vehicles on the average speed. The speedup factor was 500 as compared to the NS-2 simulation. The result is due to the use of the hybrid simulation concept, which combines the discrete-event simulation with analytical traffic modeling. As a general conclusion, developing a highlyintegrated simulator, with complex models for both the vehicular mobility and the wireless communication has the advantage of higher accuracy but has a severe impact on performance. Integrating existing vehicular traffic simulators and network simulators can lead to better performance but it is not able to support more complex scenarios involved in safety and traffic control applications. Improvements can be achieved by parallelization, which distributes the simulation task to different computing resources, or by selecting a model that reduces the computation load.
269
an example of a VANET application, we present an adaptive traffic light system based on wireless communication between vehicles and fixed controller nodes deployed in intersections (Gradinescu et al., 2007). We describe the steps required to deploy such an application in VNSim. Furthermore, we present the results showing significant improve of traffic fluency in intersections, and the advantages over other architectures in terms of cost and performance. The goal of the VNSim project was to reduce congestion and the number of accidents in intersections by enabling wireless communication between traffic lights and vehicles. In this way, the traffic lights can get a real-time image of the traffic, and make an informed decision on how to set signal plans. As a secondary benefit, the traffic lights can also detect dangerous situations and alert drivers about the intersection status to increase their awareness. The following aspects need to be taken into consideration when such an application is simulated. First, there must be a data dissemination system that supports the information flow from vehicle to vehicle and to the traffic light. Based on the TrafficView system (Dashtinezhad et. al 2004), data dissemination was designed so that vehicles forward information about other vehicles they know about (position, speed, direction) to all the other vehicles in their range. The simulation of this propagation scheme in VNSim demonstrated that a lot of redundant data is transmitted and a high data charge is put on the network. Moreover, for large packet Figure 4. Traffic lights and vehicles communicate to improve traffic efficiency
size, the probability of the successful transmissions decreases due to wireless interferences. A solution is the use of aggregation mechanisms. A possible method is the use of a probabilistic scheme in which only some leader vehicle, chosen randomly with a probability depending on the traffic density, transmit the information. The simulation experiments highlighted the great decrease in the network load while preserving the functionality of the solution. The data dissemination algorithm supports the implementation of the traffic light control that establishes a signaling plan well suited for the intersection. Considering the traffic light is a node participating in the dissemination process, it can gather traffic metric values (flows, delays) on all the concurrent roads. Optimum cycle length and green split phases are computed using traffic engineering methods, such as Websters formula (Gradinescu et. al 2007). One of the simulation scenarios that were used to analyze the efficiency of the algorithm was a 4-way intersection in Bucharest during rush hour. As shown in Figure 5, the intersection recovered sooner from congestion when using the adaptive strategy described above, compared to the pre-timed system deployed in the intersection. The total delay measured for all vehicles was decreased by 28%. An additional component of the VNSim simulator is the module for estimating the pollutant emissions and fuel consumption, which considers the particular behavior of each vehicle speed and acceleration. This feature was used in Figure 5. Average control delay in intersection
Average Control Delay (s)
270
this application to demonstrate the benefits of the adaptive solution due to increased traffic fluency: 6.5 % improvements in fuel consumption and CO2 emissions were measured.
ahead are sent via the ad-hoc network. Depending on the replies (for example, the reception of information about traffic jams ahead), re-calculations of the route occur. The simulation experiments showed that global improvements in travel times occur when only a percentage of the vehicles use the algorithm, not all of them. When all vehicles change their route, the traffic jam moves to another road. Starting from this observation, the authors suggested the use of fixed-nodes placed in intersections, which are able to communicate with vehicles and, at the same time, are inter-connected through a separate highspeed network. Of course, this solution requires a more extensive infrastructure. In large cities, a large part of this infrastructure might already be present. The fixed-nodes gather information about the actual traffic (number of vehicles traveling) on each road and execute a collaborative route planning with the other fixed nodes. The results are sent to the vehicles in proximity informing them about the best routes.
271
the dedicated lanes. This could be achieved by using RFID tags located on vehicles, and RFID readers placed on the highway. The lane entrance must be assisted by a VANET. More specific, since the dedicated lane will often be used at near-to-maximum capacity, it is important that vehicles that enter or leave the lane do not create disruptions in the traffic flow on this lane. In order to allow smooth entering and leaving, a VANET protocol can be designed. For example, the car that wants to enter the lane will send a request to a vehicle already on the lane, asking for permission to enter. In order to evaluate such a large-scale system, a proper simulation tool is needed. It should be scalable enough to be able to simulate a large-scale highway traffic scenario. Furthermore, emulating the application code run by each node would also be required. The authors plan to investigate the possibility of using VNSim in order to study and validate a lane reservation system.
CONCLUSiON
This chapter discussed the simulation of VANET applications. The focus was on the new trends
in communication protocols and traffic models, and on new facilities incorporated in simulation tools. The advances in the VANET technology and protocols support the adoption and use of more complex mobility models and of more flexible and adaptable traffic controls. VANETs have specific characteristics such as the rapid topology changes or the changes in the vehicles mobility as reaction to traffic changes. Obviously, these changes must be captured by the simulation models, which become more or less complicated and include more elements that constrain the vehicle mobility: maps, real traffic conditions (congestion), driver behavior, fuel consumption, pollutant emissions, etc. Recent research referenced in this chapter targeted the validation of these models and the exploitation of their facilities in different applications. Realistic models, such as those used in lane reservation, were proposed and will eventually constitute the subject of further research. In order to more accurately evaluate the traffic control applications, more powerful microscopic simulator tools have been developed. The tools integrate the network communication model and the traffic / mobility model, and facilitate the interfacing with the core application modules. One drawback is the high time consumption required by simulation experiments besides other aspects like usability and flexibility. Since microscopic simulators demonstrated their utility in the VANET applications design process, the increase of tool performance, scalability, and flexibility will be subjects to future research work. The technological progress will stimulate new applications aiming to improve the traffic safety and control strategies. More vehicles will be equipped with GPS receivers, communication devices compatible with different protocols (for example DSRC), radars for identifying neighbors positions, equipment for storing digital maps, etc. These and other similar components will facilitate the development of more complex safety applications (like imminent collision warning, obstacle detection, collision avoidance, etc.) and
272
traffic control applications (like traffic congestion avoidance, traffic lights control, route computation, etc.). Obviously, the role of simulation in the evaluation of different solutions will become even more important.
of the 2nd ACM International Workshop on Vehicular Ad Hoc Networks (pp. 6978). Cologne, Germany. CORSIM (2008). Microscopic Traffic Simulation Model. Retrieved March 19, 2008, from http://mctrans.ce.ufl.edu/featured/tsis/version5/corsim50. htm Dashtinezhad, S., Nadeem, T., Dorohonceanu, B., Borcea, C., Kang, P., & Iftode L. (2004). TrafficView: A driver assistant device for traffic monitoring based on car-to-car communication, In Proceedings of IEEE Semiannual Vehicular Technology Conference. Milan, Italy. Diaconescu, R., Gorgorin, C., Gradinescu, V., Cristea, V., & Iftode, L. (2007). Collaborative Route Planning in Vehicular Ad-hoc Networks. In Proceedings of the CSCS-16 (pp. 267-274). Bucharest, Romania. Eichler, S., Ostermaier, B., & Schroth, C. (2005) Simulation of Car-to-Car Messaging: Analyzing the Impact on Road Traffic. In Proceedings of the 13th IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (pp. 507-510). IEEE Computer Society Washington, DC, USA Fellendorf, M., & Vortisch, P. (2001, January). Validation of the Microscopic Traffic Flow Model VISSIM in Different Real-World Situations. Paper presented at the 80th Meeting of the Transportation Research Board. Washington, D.C. Fujimoto, R. M., Perumalla, K., Park, A., Wu, H., Ammar, M. H., & Riley, G. F. (2003) Large-Scale Network Simulation: How Big? How Fast? In Proceedings of the 11TH IEEE/ACM International Symposium on Modeling, Analysis and Simulation of Computer Telecommunications Systems (pp. 116-123). IEEE Computer Society Washington, DC, USA Gorgorin, C., Gradinescu, V., Diaconescu, R., Cristea, V. & Iftode,L. (2006). An Integrated
REfERENCES
Akcelik, R., & Besley, M. (2003, December). Operating cost, fuel consumption, and emission models in aaSIDRA and aaMOTION. Paper presented at the 25th Conference of Australian Institute of Transport Research. Univ of South Australia, Adelaide. Barr, R. (2004). An efficient, unifying approach to simulation using virtual machines. PhD thesis, Cornell University, US. Basagni, S., Chlamtac, I., Syrotiuk, V. R., & Woodward., B. A. (1998). A distance routing effect algorithm for mobility (DREAM). In Proceedings of MobiCom 98 (pp. 76-84). Dallas, TX. Baumann, R., Legendre, F., & Sommer, P. (2008). Generic Mobility Simulation Framework (GMSF). In Proceeding of the 1st ACM SIGMOBILE workshop on Mobility models (pp 49-56). Hong Kong, China Bononi, L., Di Felice, M., Bertini, M., & Croci, E. (2006). Parallel and Distributed Simulation of Wireless Vehicular Ad Hoc Networks. In Proceedings of the 9th ACM international symposium on Modeling analysis and simulation of wireless and mobile systems (pp 28-35). Terromolinos, Spain Broch, J., Maltz, D. A., Johnson, D. B., Hu, Y. C., & Jetcheva, J. G. (1998). A Performance Comparison of Multi-HopWireless Ad Hoc Network Routing Protocols. In Proceedings of MobiCom98 (pp. 85-97). Dallas, TX. Choffnes D. R., & Bustamante F. E. (2005). An Integrated Mobility and Traffic Model for Vehicular Wireless Networks. In Proceedings
273
Vehicular and Network Simulator for Vehicular Ad-hoc Networks. In Proceedings of the Eurosis European Simulation and Modeling Conference 2006 (pp. 142-149). Toulouse, France. Gradinescu, V., Gorgorin, C., Diaconescu, R., Cristea, V., & Iftode, L. (2007). Adaptive Traffic Lights Using Car-to-Car Communication. In Proceedings IEEE 65th Vehicular Technology Conference (pp. 21-25). Dublin, Ireland. Haerri, J., Filali, F., Bonnet, C., & Fiore, M. (2006). VanetMobiSim: Generating Realistic Mobility Patterns for VANETs. In Proceedings of the 3rd international workshop on Vehicular ad hoc networks (pp 9697). Los Angeles, CA, USA Huaizhi, Li, & Singhal, M. (2005) A scalable routing protocol for ad hoc networks. In Proceedings of the Vehicular Technology Conference 2005 Spring. 2005 IEEE 61st Volume 4 (pp. 24982503). Stockholm, Sweden Jardosh, A., Belding-Royer, Elizabeth M., Almeroth, K. C., & Suri, S. (2003). Towards realistic mobility models for mobile ad hoc networks. In MobiCom 03: Proceedings of the 9th annual international conference on Mobile computing and networking, (pp. 217229). ACM Press, New York, USA. Jist/SWANS (2008). Java in Simulation Time / Scalable Wireless Adhoc Network Simulator. Retrieved March 19, 2008, from http://jist.ece. cornell.edu/index.html Johnson, D. B., Maltz, D. A. & Broch, J. (2001). DSR: The Dynamic Source Routing Protocol for Multi-Hop Wireless Ad Hoc Networks. In C. E. Perkins (Ed.), Ad Hoc Networking (pp. 139-172). Addison-Wesley, 2001 Karnadi, F. K.,Zhi, H. M., & Kun-chan, L. (2007). Rapid Generation of Realistic Mobility Models for VANET. Wireless Communications and Networking Conference, WCNC 2007. IEEE (pp. 2506-2511). Kowloon, Hong Kong.
Karp, B., & Kung, H. T. (2000). GPSR: Greedy perimeter stateless routing for wireless networks. In Proceedings of the 6th annual international conference on Mobile computing and networking (pp. 243-254). Boston, Massachusetts, United States. Katz, J. H. (1963). Simulation of a Traffic Network. Communications of the ACM, 6(8), 480-486 Killat, M., Schmidt-Eisenlohr, F., Hartenstein, H., Rssel, C., Vortisch, P., Assenmacher, S., & Busch, F. (2007). Enabling efficient and accurate large-scale simulations of VANETs for vehicular traffic management. In Proceedings of the Fourth ACM international Workshop on Vehicular Ad Hoc Networks, VANET 07 (pp. 29-38). Montreal, Canada. Krajzewicz, D., Bonert, M., & Wagner, P. (2006). The Open Source Traffic Simulation Package SUMO. Presented at RoboCup 2006 Infrastructure Simulation Competition. Bremen, Germany. Mahajan, A., Potnis, N., Gopalan, K., & Wang, A. (2007). Modeling VANET Deployment in Urban Settings. In Proceedings of the 10th ACM Symposium on Modeling, analysis, and simulation of wireless and mobile systems (pp 151-158). Chania, Crete Island, Greece. Mangharam, R., Weller, D. S., Stancil, D. D., Rajkumar & R., Parikh, J. S. (2005). GrooveSim: A Topography-Accurate Simulator for Geographical Routing in Vehicular Networks. In Proceedings of the 2nd ACM International Workshop on Vehicular Ad Hoc Networks (pp. 59-68). Cologne, Germany MOVE (2008). MObility model generator for VEhicular networks. Retrieved March 19, 2008, from http://www.csie.ncku.edu.tw/~klan/move/ index.htm ns-2 (2008). The ns-2 wiki. Retrieved March 18, 2008 at http://www.isi.edu/nsnam/ns/doc/
274
Petigara, N. D., & Balakrishnan, H. (2004). Integrated routing and storage for messaging applications in mobile ad hoc networks. Mobile Networks and Applications, 9(6), 595-604. Perkins, C., & Bhagwat, P. (1994). Highly Dynamic Destination-Sequence DistanceVector Routing (DSDV) for Mobile Computers. ACM SIGCOMM Computer Communication Review, 24(4), 234-244. Piorkowski M., Raya M., Lugo A., Papadimitratos P., Grossglauser M., & Hubaux J. P. (2007, September). TraNS: Realistic Joint Traffic and Network Simulator for VANETs. Short paper presented at the Fourth ACM international Workshop on Vehicular Ad Hoc Networks, VANET 07. Montreal, Canada. Potnis, N., & Mahajan, A. (2006). Mobility Models for Vehicular Ad Hoc Network Simulations. In Proceedings of the 44th ACM Southeast regional conference (pp 746-747). Melbourne, Florida. Qualnet (2001). Version 3.1 Users Manual. Retrieved March 19, 2008 from http://linux.ucla. edu/~gavin/papers/SimulatorManual-3.1.pdf Ravi, N., Smaldone, S., Iftode, L., & Gerla, M. (2007). Lane Reservation for Highways (Position Paper). Retrieved March 19, 2008 from www. cs.rutgers.edu/~iftode/ILR-ITSC07.pdf Rehunathan, D. B., Seet, B. C., & Luong, T. T. (2007). Federating of MITSIMLab and ns-2 for realistic vehicular network simulation. In Proceedings of the 4th international conference on mobile technology, applications, and systems and the 1st international symposium on Computer human interaction in mobile technology (pp 6267). Singapore rfc3561 (2008). Ad hoc On-Demand Distance Vector (AODV) Routing. Retrieved March 19, 2008 from http://www.ietf.org/rfc/rfc3561.txt Saha, A., & Johnson, D. (2004). Modeling Mobility for Vehicular Ad-hoc Networks. In Proceed-
ings of the 1st ACM International Workshop on Vehicular Ad Hoc Networks (VANET) (pp. 91-92). Philadelphia PA, USA. Sklar, B. (1997). Rayleigh Fading Channels in Mobile Digital Communication Systems Part I: Characterization. IEEE Communications Magazine, 35(7), 90-100 Sommer, C., Yao, Z., German R., & Dressler, F. (2008) On the Need for Bidirectional Coupling of Road Traffic Microsimulation and Network Simulation. In Proceedings of the Computer Communications Workshops. INFOCOM (pp 1-6).Phoenix, AZ. SUMO (2008). Simulation of Urban MObility. Retrieved March 19, 2008 from http://sumo. sourceforge.net/docs/bibliography.shtml Taliwal, V., Jiang, D., Mangold, H., Chen, C., & Sengupta, R. (2004). Empirical determination of channel characteristics for DSRC vehicle-tovehicle communication. In Proc. 1st ACM Int. Workshop on Vehicular Ad Hoc Networks (p. 88). Philadelphia PA, USA. TIGER (2008). Topologically Integrated Geographic Encoding and Referencing system. Retrieved March 19, 2008 from http://www.census. gov/geo/www/tiger/ VISSIM (2008). VISSIM Micro-Simulation Software. Retrieved March 19, 2008 from http://www. english.ptv.de/cgi-bin/traffic/traf_vissim.pl Wang, S. Y., Chou, C. L., Chiu, Y. H., Tseng, Y. S., Hsu, M. S., Cheng, Y. W., Liu, W. L., & Ho, T. W. (2007, September). NCTUns 4.0: An Integrated Simulation Platform for Vehicular Traffic, Communication, and Network Researches. Paper presented at the 1st IEEE International Symposium on Wireless Vehicular Communications. Baltimore, MD, USA Wiedemann, R. (1974) Simulation des Strassenverkehrsflusses. Schriftenreihe des Instituts fr Verkehrswesen der Universitt Karlsruhe, Heft 8
275
Yang, Yi, Varshney, M., Mohan, S., & Bagrodia, R. (2007). High-Fidelity Application-Centric Evaluation Framework for Vehicular Networks. In Proceedings of the fourth ACM international workshop on Vehicular ad hoc networks (pp 4958). Montreal, Quebec, Canada
Yin, J., ElBatt, T., Yeung, G., Ryu, B., Habermas, S., Krishnan, H., & Talty, T. (2004). Performance evaluation of safety applications over DSRC vehicular ad hoc networks. In Proceedings of the 1st ACM international Workshop on Vehicular Ad Hoc Networks (pp. 1-9). Philadelphia PA, USA
276