UFMFCN 2015 - International Workshop on the Use of Formal Methods in Future Communication Networks

Millions of people around the world die in car accidents and many more are stricken, the car accidents have an increasing growth rate causing huge economic losses. Road Traffic congestion is a main problem that is of a major concern. This problem is increasing seriously day by day and accidents occur much more than common. This causes a traffic blockage, wasted a significant amount of time and fuel. However, Vehicular networks have received deep of research work in the recent years due to the wide range of services they provide. Vehicular Ad Hoc Network (VANET) is the most important part of Intelligent Transportation System (ITS). These systems sometimes help in accident and traffic blockage prevention, but for several reasons, they are not always useful. Using Wireless Sensor Networks (WSN) with VANET may to provide timely detection of road conditions and to help enhance road safety.
WSVNRS workshop aims to present the different aspects of integration of WSN with VANET and discuss the possible ways permitting the exploitation of the existing synergy between WNS and VANET and allowing road safety improvement. This workshop is an opportunity to bring together researchers from academia and industry to share their state-of-the art research and developmental work in this area.
Topics of interest
Topics of interest of this workshop include but are not limited to:
Data dissemination protocols for active safety in WSVNRS.
Wireless sensor Vehicular networks for automatically detection of road accident.
Wireless sensor Vehicular networks architectures, protocols, and algorithms.
Wireless sensor networks for road traffic management.
Use of WSN within cars.
Wireless sensor Vehicular networks performance modeling and analysis.
Medium access control and routing protocols.
Wireless sensor Vehicular networks flow and congestion control.
Quality of Services (QoS) provisioning for WSVNRS.