  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.

Other Computer Science