Design and Modeling of Intelligent Home Security Monitoring System Based on CPS
Chen Sun, Lichen Zhang · 2021
An intelligent home security monitoring system based on CPS is proposed to improve the intellectualization of traditional home security monitoring system. According to the structure of CPS, intelligent home security monitoring system is designed for five layers: perception layer, control layer, network layer, decision layer, application layer, which takes advantage of cloud computing technology to achieve real-time monitoring of the home environment. Then, using timed automata as the modeling tool, each layer structure of the system is modeled separately. Finally, the model checking tool UPPAAL is used to verify the correctness of the system. The system not only realizes the intelligent monitoring of home security, but also provides the application software based on Android client to interact with users, so that users can view the monitoring in real time. The design and operation of the system is of great significance to improve the intellectualization of home security monitoring system.