Syed Muhammad Haris

Academic

Career

Verbatim text

KARAVAN (Smart Traffic Flow – Design and Verification) 
 
KARAVAN is an IoT based caravan of cars (rovers) that move in a line while maintaining their lane 
and following traffic signal rules i.e. stopping at Red Sign and move at Green Sign. The project 
features 2 cars: the leading car and the following car. The following car follows the leading car 
while maintaining a safe distance from it. The rovers use image processing and inter vehicular 
communication over TCP/IP to move on the track. Each rover is equipped with a Raspberry Pi and 
an Arduino. An Android application monitors the location of the caravan using a BLE based Indoor 
Positioning System. The application also allows the user to set a destination for the caravan to 
which it moves to. 
The system’s design has been validated using IAR VisualState and verified using UPPAAL tool. 
Features include: 
 2 rovers moving in a line on the track while maintaining their lane and following traffic signals 
 The rovers keep a safe distance among them  
 A BLE based IPS using RSSI signal strength to calculate position  
 Android Application to monitor current status and position of the caravan. 
 Android Application to set the destination of the caravan. 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
Technology Used: 
Python, Java, C++, OpenCV, Raspberry Pi, Arduino,  
Android Studio, IAR VisualState, UPPAAL 
Supervisor Name: 
Dr. Adnan Tariq 
Group Members:   
Syed Muhammad Haris (i16 - 0125)