Smart Motion Detection System using Raspberry Pi

TL;DR

This paper presents a motion detection system using Raspberry Pi and PIR sensors to enhance security, which sends email alerts and is verified with UPPAAL for reliability.

Contribution

It introduces a practical security solution combining hardware and verification tools, which is novel in integrating PIR sensors with UPPAAL verification.

Findings

Effective motion detection with Raspberry Pi and PIR sensors

Automated email notification system implemented

System verified for reliability using UPPAAL

Abstract

This paper throws light on the security issues that modern day homes and businesses face and describes the implementation of a motion detection system using Raspberry Pi which could be an effective solution to address the security concerns. The goal of the solution is to provide an implementation that uses PIR motion sensors for motion detection and sends notifications to users via emails. Furthermore, the system is verified using a verification tool named UPPAAL.