收藏本站
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

面向事件驱动智能家居物联网系统的自动化配置、仿真与验证平台

张秋萍  王熙灶  沈思远  张时雨  卜磊  李宣东  
【摘要】:以IFTTT为代表的事件驱动型物联网系统编程框架为用户构建满足其需求的智能家居物联网系统提供了极大的便利,但也带来了严峻的安全隐患。针对此问题,设计并实现了"门神",这是一个基于模型检验的事件驱动型物联网系统配置、仿真与验证平台。用户可以在门神中自定义其系统,并进行一键式模型驱动的仿真及验证、自动检测并重现错误场景,从而理解系统行为并提升其安全性。通过大量实验可知,门神能在86.7%的案例中发现安全隐患,且平均耗时仅为0.7 s。

知网文化
【相似文献】
中国期刊全文数据库 前19条
1 张秋萍;王熙灶;沈思远;张时雨;卜磊;李宣东;;面向事件驱动智能家居物联网系统的自动化配置、仿真与验证平台[J];物联网学报;2019年03期
2 漆晶;张润;袁浩;甘果;;基于互联网+的智能家居安防管理系统[J];无线电通信技术;2017年06期
3 李钦泉;;物联网智能家电控制开关设计探析[J];电脑知识与技术;2017年19期
4 邱实;汪明;李旭;董慧芳;张仁昊;;基于物联网的智能家居管控系统设计[J];建筑电气;2017年07期
5 孔小玲;;物联网时代下的智能家庭[J];通讯世界;2017年13期
6 李斌;;基于物联网的智能家居控制系统设计与实现[J];电子测试;2019年17期
7 谢志进;乔浩铭;;浅谈物联网技术在智能家居中的应用[J];计算机产品与流通;2019年06期
8 ;2015物联网暨智能家居高峰论坛在南京召开[J];现代建筑电气;2015年11期
9 缪国栋;;物联网下智能家居的锋芒之路[J];智能建筑;2013年02期
10 吴琼;孙俊立;张彪;李毛;李佳乐;;物联网技术在智能家居的应用[J];今日财富(中国知识产权);2018年02期
11 梁文峥;;当智能家居“遭遇”物联网[J];中国安防;2014年07期
12 ;物联网助力经济转型 智能家居率先引爆热点[J];计算机光盘软件与应用;2013年20期
13 左翰博;;基于物联网的智能家居控制系统设计与实现[J];电脑迷;2018年01期
14 ;物联网安防方案在智能家居中的应用[J];智能建筑与城市信息;2011年07期
15 刘志会;;物联网技术在智能家居中的应用研究[J];中国高新科技;2018年15期
16 ;物联网“三年三大步” 智能家居将受益匪浅[J];计算机光盘软件与应用;2013年05期
17 蓝土庆;;探讨基于物联网的智能家居控制系统设计与实现[J];电子测试;2018年24期
18 乔朝阳;;智能家居的物联网世纪[J];现代经济信息;2014年24期
19 刘霄翊;;基于物联网的智能家居控制系统的研究[J];电子世界;2017年24期
中国重要会议论文全文数据库 前10条
1 吕星星;曹三省;;物联网下智能家居的发展浅析[A];第25届中国数字广播电视与网络发展年会暨第16届全国互联网与音视频广播发展研讨会论文集[C];2017年
2 张大鹏;张刘华;;建筑消防物联网技术应用研究初探[A];2016中国消防协会科学技术年会论文集[C];2016年
3 王景春;;物联网技术在城市火灾防控中的应用探析[A];2014中国消防协会科学技术年会论文集[C];2014年
4 谢盼;聂聪;田可嘉;;城市物联网监测大数据应用初探[A];持续发展 理性规划——2017中国城市规划年会论文集(05城市规划新技术应用)[C];2017年
5 王迪;李晶晶;常玲;王一美;;物联网技术在智能建筑安防系统中的应用研究[A];第十三届沈阳科学学术年会论文集(理工农医)[C];2016年
6 王宽;吴珍珍;尹良飞;田浩;张浩;;基于物联网的家庭智能融合网关的设计[A];物联网与无线通信-2017年全国物联网技术与应用大会和2017年全国无线电应用与管理学术会议论文集[C];2017年
7 刘佳;钱孝杰;王婷婷;陈学森;;燃气智慧场站标准化研究与建设[A];中国燃气运营与安全研讨会(第九届)暨中国土木工程学会燃气分会2018年学术年会论文集(下)[C];2018年
8 程龙;张子沛;;物联网在某河道防洪排涝工程中的优化运用[A];2019(第七届)中国水利信息化技术论坛论文集[C];2019年
9 蒋永彬;周雁;朱文聪;李伟;;窄带物联网在燃气行业的应用实践[A];2017全国无线及移动通信学术大会论文集[C];2017年
10 阚凤龙;毛永明;张东伟;;物联网技术在智能家居系统中的研究应用[A];第十五届沈阳科学学术年会论文集(理工农医)[C];2018年
中国博士学位论文全文数据库 前4条
1 陈永攀;建筑能源系统物联网架构与实现技术研究[D];哈尔滨工业大学;2011年
2 赵亮;建筑能源系统物联网数据监测与传输质量保障方法[D];大连理工大学;2014年
3 郭昆;基于语义互联模型的智能家居服务架构及关键技术研究[D];北京邮电大学;2018年
4 撒文奇;基于物联网的地下洞室群施工专家信息系统研究与开发[D];天津大学;2013年
中国硕士学位论文全文数据库 前10条
1 赵凌云;基于物联网的水务监管系统典型功能模块研究与设计[D];天津大学;2018年
2 刘东升;面向物联网技术与城市绿色生活方式的淋浴系统设计研究[D];北方工业大学;2019年
3 陈阳;基于物联网技术的高层火灾逃生方式研究[D];河北科技大学;2019年
4 毛俊杰;社区物联网智能供水管理系统的研究与实现[D];上海交通大学;2017年
5 郑宇轩;健身房服务流程体验设计[D];山东建筑大学;2019年
6 黄嘉慧;基于物联网的电梯信息化平台的设计与实现[D];北京邮电大学;2019年
7 谭壬仁;基于Pe包数据通讯协议的物联网节点测控方法[D];合肥工业大学;2018年
8 钱蕾;基于物联网的智能家居控制系统的研究[D];华北理工大学;2018年
9 薛玮;物联网技术在智能建筑中的应用研究[D];山东建筑大学;2018年
10 高超;基于ZigBee的防火物联网关键技术研究[D];河北工业大学;2016年
中国重要报纸全文数据库 前10条
1 记者 张璐;南京企业物联网领域首用“龙芯”[N];南京日报;2012年
2 本报记者 崔亮亮;三步走:国动致胜物联网新十年[N];通信产业报;2019年
3 记者 林瑞琪;搭物联网“快车” 志品工程借势腾飞[N];福州日报;2019年
4 记者 徐建华;提升维保质量 重视物联网系统建设[N];中国质量报;2018年
5 记者 方臻子 实习生 吴永恒;接入物联网,智慧照明先起航[N];浙江日报;2017年
6 本报记者 张欢;爱立信推物联网智能路灯解决方案[N];中国信息化周报;2017年
7 中科中建(北京)建筑科技研究院院长 李杨;建筑行业新未来:BIM与物联网的结合[N];建筑时报;2017年
8 ;智能建筑:物联网应用的新蓝海[N];人民邮电;2017年
9 本报记者 张翀 通讯员 冉满满 韩成林;“物联网+施工”:让工地进入“智慧”时代[N];工人日报;2016年
10 钱悦;物联网网关技术:助力智能家居发展[N];人民邮电;2014年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978