Modelling and Analysis of Microchipped Equipped Number Plate for Car Tracking System Using ‘UPPAAL’

Abstract

This paper presents the design and analysis of microchip equipped car number plate integrated with GPS car tracking system. A Microchipped car number plate is a technology where chips are embedded on number plates. The microchip can store data of the car owner, including registration details, chassis number and other necessary road traffic details and the car can be scanned from distance using chipreaders. The information on the plates can be used to quickly pick up vehicles which are on the road illegally. It can also help to eliminate vehicle theft, detect unlicensed and uninsured vehicles, and allow road traffic officer or law enforcement agent to trace and follow any vehicle without the need for this officer's car to be within miles. UPPAAL is used for the design and analysis of microchip equipped car number plate integrated. The model-checker UPPAAL based on the theory of timed automata and its modelling language offers additional features such as bounded integer variables and urgency. Results of our model show quick synchronisation of data captured from GPS tracking device and chip-readers. We note, however, that many numbers of states are covered in the modelling which caused delays in early termination and reachability analysis of the model as potential limitation of our proposed system.