一种智能家居物联网系统验证与修复的方法和装置

发明专利有效专利

申请号：
CN201610343482.X
IPC分类号：G06F8/34;G06F8/41
申请日期：
2016-05-23
申请人：
南京大学

基础信息

权利要求

说明书

PDF全文

法律信息

引证文献

著录项信息

专利名称	一种智能家居物联网系统验证与修复的方法和装置
申请号	CN201610343482.X	申请日期	2016-05-23
法律状态	授权	申报国家	暂无
公开/公告日	2016-10-26	公开/公告号	CN106055318A
优先权	暂无	优先权号	暂无
主分类号	G06F8/34 ? IPC结构图谱： G 物理 G0 仪器 G06 计算；推算；计数 G06F 电数字数据处理（基于特定计算模型的计算机系统入G06N） G06F8/00 软件工程设计（测试或调试入G06F 11/36；软件项目管理、规划或组织入G06Q 10/06）〔2018.01〕 G06F8/30 创建或生成源代码〔2018.01〕 G06F8/34 图形或可视化编程〔2018.01〕	IPC分类号	G;0;6;F;8;/;3;4;;;G;0;6;F;8;/;4;1查看分类表>
申请人	南京大学	申请人地址	江苏省南京市栖霞区仙林大道163号南京大学仙林校区计算机科学与技术系变更专利地址、主体等相关变化，请及时变更，防止失效
权利人	南京大学	当前权利人	南京大学
发明人	卜磊;熊文;任昕悦;王熙;马娆;沈思远;王亚楠;李宣东
代理机构	江苏银创律师事务所	代理人	孙计良

摘要

本发明公开了一种智能家居物联网系统验证与修复的方法和装置。本发明通过智能家居设备描述信息和IFTTT规则构建混成自动机模型，然后通过对混成自动机模型的路径分析，找出可能到达系统不安全的路径，然后将这些可达路径编码成SMT约束进行求解，如果存在可达路径对应的SMT约束可解，则根据可解的SMT约束对IFTTT规则This部分中实数型条件值进行修正。修正的方法是通过将可解的SMT约束中的对应的IFTTT规则This部分中实数型条件值参数化后并将整个SMT约束取反，然后消去量词后进行求解，将可解值替换This部分中实数型条件值。

序号	公开(公告)号	公开(公告)日	申请日	专利名称	申请人
该专利没有引用任何外部专利数据！

序号	公开(公告)号	公开(公告)日	申请日	专利名称	申请人
该专利没有被任何外部专利所引用！

我浏览过的专利

专利服务由北京酷爱智慧知识产权代理公司提供