Decentralised control-based interaction framework for secure data transmission in internet of automated vehicles

Recent technological advancements in the field of communication and control are transforming the transportation industry by extending the capabilities of conventional human-controlled vehicles to partially or fully automated vehicles. These vehicles create a network, also termed as internet of automated vehicles (IAV), having the capability of sensing the data from the surroundings and using it as feedback mechanism in order to assist drivers and the static infrastructure for safe navigation and control. However, a uniform framework is required to isolate the interactions among the vehicles and different entities for secure transmission and control. In this paper, we propose a decentralised control-based interaction framework to promote smooth transmission of sensor data in automated vehicular systems and verify the correctness of the underlying policy model on access control policy testing (ACPT) tool. In addition, we present some case studies to show the effectiveness of the proposed framework in real-time applications.