Abstract
Techniques in vehicular ad-hoc networks have been utilised to reduce challenging issues such as pollution, accidents and traffic jams. The platoon management system (PMS) has shown promising results to solve the aforementioned problems. In PMS, vehicles in a platoon-based driving network execute several manoeuvers, e.g. platoon formation, joining, leaving and disruption of platoons. However, existing solutions could not well perform in real time scenario, e.g. handling multiple manoeuvers simultaneously, and fail to provide accurate observation to handle all the possible scenarios of platoon manoeuvers. In this article, an improved multiple manoeuver management protocol (IMMP) is proposed for platoon mobility management. IMMP manages multiple joining and leaving manoeuvers simultaneously, via vehicle-to-infrastructure and vehicle-to-vehicle communications. The performance of IMMP is highlighted by the developed real time simulation tool. Also, the logical flow of IMMP has been presented, by verifying various systems design properties using PROMELA and SPIN validation tool. Simulation results and analysis validate the behaviour of joining and leaving procedures, without infringing the safety of the whole system. This study shows the efficiency of IMMP that works successfully within acceptable manoeuvers duration time.