Design and Formal verification of motion detection using LoRaWAN

Project Title

Design and Formal verification of motion detection using LoRaWAN

Project Area of Specialization Internet of ThingsProject Summary

TIn this project, the main aim is to elaborate the concept of smart cities using Inter of Things. In the proposed project, a system of indoor navigation will be developed in huge buildings or underground stations where GPS cannot give better results. LoRa (developed by semtech) is used in the proposed system as it has greater range and less power consumption. By their trilateration, the results will be shown with greater accuracy. At the front end. There will be a Graphical User Interface (GUI) which will show the position of the target on the floor-plan of the building.

Project Objectives

The objectives of the project are 

1) To locate the target in the indoor environment of a building with greater accuracy

2) To keep track of the target 

3) introduce the concept of smart cities

Project Implementation Method

Project will be implemented by the triangulation of the LoRa Gateways, so the intersection region of the three gateways will provide better results. LoRa protocol is working on 433 MHz frequency and this band is free for everyone. The Received Signal Strength (RSSI) values will be uploaded to the server (Thingspeak) and then in the GUI, the values will be fetched and converted into distance by putting the RSSI values into the equation derived drom the Machine Learning Algorithem implied on the dataset of the building. Then each of the three gateways (at referenced position) will make a boundary of the corresponding radius equal to the distance that has been calculated from the equation. And then the intersection region of the three circles will give the estimated position of the target. And will be shown on the floor plan of the building in the GUI. The GUI will be developed in Python language.

Benefits of the Project

1) better for indoor navigation where space is limited and where GPS cannot give desired accuracy

2) easy to implement as only three gateways are required for a 1 km square area building

Technical Details of Final Deliverable

The final deliverable will be aoftware based and it will be a GUI developed in the python language. In this GUI the final position of the target will be shown as a marker on the floor plan of the building.

Final Deliverable of the Project Software SystemType of Industry Health , Security , Telecommunication Technologies Internet of Things (IoT)Sustainable Development Goals Industry, Innovation and InfrastructureRequired Resources

Item Name	Type	No. of Units	Per Unit Cost (in Rs)	Total (in Rs)
			Total in (Rs)	49000
LoRa gateways	Equipment	3	12500	37500
Lora end node	Equipment	1	4500	4500
Wifi setup	Miscellaneous	1	7000	7000