Formally Verified IoT Architecture for Earthquake Detection and Automated Safety Measures
Keywords:
IoT, formal verification, Computer NetworkAbstract
This paper presents a novel IoT-based architecture designed for earthquake detection and automated safety response in smart homes. The system integrates a network of low-cost, high-precision seismic sensors and edge computing devices to enable real-time earthquake detection and rapid response. At its core, the architecture employs Node-RED for rule-based automation, ensuring seamless integration of IoT devices and enabling customizable safety protocols. To enhance reliability, formal verification techniques are applied to verify the correctness and consistency of the rules, ensuring robust and error-free operation during critical events. The proposed architecture has broad applications in smart home environments, particularly in earthquake-prone regions. By automating safety responses, the system reduces human intervention, mitigates risks, and enhances disaster resilience.
References
Abdalzaher, Mohamed S., et al. "Employing machine learning and iot for earthquake early warning system in smart cities." Energies 16.1 (2023): 495.
Cheng, Chen, et al. "Analysis of earthquake emergency command system according to cloud computing methods." IEEE Access 9 (2020): 146970-146983.
López-Castro, Brian, et al. "A systematic review of structural health monitoring systems to strengthen post-earthquake assessment procedures." Sensors 22.23 (2022): 9206.
Sun, Yan, et al. "A rule verification system for smart buildings." IEEE Transactions on Emerging Topics in Computing 5.3 (2016): 367-379.
Lin, Yan-Shing, Ricky WK Chan, and Hiroshi Tagawa. "Earthquake early warning-enabled smart base isolation system." Automation in Construction 115 (2020): 103203.
Anthony, Robert E., et al. "Do low‐cost seismographs perform well enough for your network? An overview of laboratory tests and field observations of the OSOP Raspberry Shake 4D." Seismological Research Letters 90.1 (2019): 219-228.
Bansal, Subodh, and Amit Gupta. "IoT in next generation traffic management system." AIP Conference Proceedings. Vol. 2495. No. 1. AIP Publishing, 2023.
Shin, Sooyeon, et al. "An experimental study of hierarchical intrusion detection for wireless industrial sensor networks." IEEE transactions on industrial informatics 6.4 (2010): 744-757.
Mousavi, S. Mostafa, et al. "STanford EArthquake Dataset (STEAD): A global data set of seismic signals for AI." IEEE Access 7 (2019): 179464-179476.
Lekić, Milica, and Gordana Gardašević. "IoT sensor integration to Node-RED platform." 2018 17th International Symposium Infoteh-Jahorina (Infoteh). IEEE, 2018.
