In a series of contributions Olderog et al. have formulated and verified safety controllers for a number of lane-maneuvers on multilane roads. Their work is characterized by great clarity and elegance partly due to the introduction of a special-purpose Multi-Lane Spatial Logic. In this paper, we want to illustrate the potential of current modelchecking technology for automatic synthesis of opti...

This paper presents a formal verification of a safety message dissemination protocol used in vehicular adhoc networks. It is proposed to use Road Side Units to broadcast road hazard information to vehicles travelling on highways. Quick dissemination of road hazard information, like road blocks, slippery roads and other obstacles can help to prevent road accidents and improve passenger safety. F...

a pedestrian is every person who is walking, especially along or the width of a street or other place used by cars. growth, development and industrialization of societies, threatens the safety of pedestrians. increase and acceleration of vehicles and traffic, lack of road and street standards, weakness of laws or inappropriate executive guarantees, causing to insecurity and incidence of physica...

In vehicular ad hoc networks there is the ability to communicate between vehicles. This Communication which is wireless should be rapid and reliable. These networks have unique characteristic. This communication among vehicles has many advantages in safety and comfort applications. Since, the roads are always encountered to accidents and risks, using optimized tools could be useful in these sit...

Between March 2004 and June 2007 The Rural and Remote Road Safety Study recorded 164 non-fatal motorcycle crashes in which a rider was seriously injured (hospitalised for 24 hours or more) on North Queensland public roads or lands. 88 of these riders consented to an interview with research staff during which a questionnaire was administered to gather information on crash experience, demographic...