Automated configuration,simulation and verification platform for event-driven home automation IoT system
The IFTTT style event-driven programming paradigm benefits normal users to build their own customized home automation Internet of things (IoT) system,meanwhile,it also brings serious safety and security risks.To handle this problem,Menshen was designed and implemented,an automated configuration,simu...
Saved in:
| Main Authors: | , , , , , |
|---|---|
| Format: | Article |
| Language: | zho |
| Published: |
China InfoCom Media Group
2019-09-01
|
| Series: | 物联网学报 |
| Subjects: | |
| Online Access: | http://www.wlwxb.com.cn/zh/article/doi/10.11959/j.issn.2096-3750.2019.00124/ |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Summary: | The IFTTT style event-driven programming paradigm benefits normal users to build their own customized home automation Internet of things (IoT) system,meanwhile,it also brings serious safety and security risks.To handle this problem,Menshen was designed and implemented,an automated configuration,simulation and verification platform for event-driven home automation IoT system based on model checking.Users can easily set up their own smart home systems in Menshen,and conduct simulation and verification in a push-button style.Menshen could further demonstrate the error trace to help users to understand the behavior of the system and increase the safety and security of the system.An experiment with a large number of cases is carried out,and the results show that 86.7% cases are error-prone,and the verification only took 0.7 seconds in average. |
|---|---|
| ISSN: | 2096-3750 |