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

物联网交互系统的量化验证方法研究

何康力  
【摘要】:随着新一代网络技术和硬件设备的实现,物联网(Internet of Things)技术得到了空前地研究和发展,其应用也逐步进入市场化阶段,从智慧城市,野外考察工作站,到微型心率控制系统等。地球上的任何一个物体都可以成为物联网的组成部分,因此物联网的规模将会相当庞大,其实现难度以及交互机制的复杂性也会急剧增加。在设计层保证物联网应用的正确性成为关键和难点。本文从软件工程角度出发,根据“高内聚低耦合”的设计原则,将物联网各个组成单元抽象为具有接口的独立组件,侧重于组件之间通信交互的正确性、合理性,研究由此形成的物联网交互系统。人们通常从测试的角度研究一个系统的可执行性,但这样并不能保证该系统的正确性。本文使用形式化方法,针对物联网交互系统具有的特征进行建模,并从概率、时间、代价、数据流等非功能性需求方面对系统应满足的性质进行量化验证分析,从而保证系统运行的正确性。以此提供了一种对物联网交互系统进行分析验证的形式化方法。本文主要工作和创新点有以下四个方面:1.建立了物联网交互系统的形式化描述模型。针对物联网交互系统灵活多变的网络拓扑结构,以及以通信交互为主的特性,本文在Reo通信模型基础上扩展概率、时间、代价等方面的表达能力,提出物联网交互系统的形式化描述模型——Reo。进一步给出该模型的语义模型——pPTCA。人们可以很方便地通过描述模型对物联网交互系统进行建模,同时利用对应的语义模型进行相关的形式化验证分析。2.构建了物联网交互系统性质的逻辑表达系统。为了规范代价约束、概率性、时间性等物联网交互系统的特征,本文选取作为基础逻辑。考虑到物联网交互系统中资源的重要性以及通信交互的数据驱动性,在该逻辑上分别扩展数据流及代价行为的表达能力,构建了物联网交互系统性质的刻画逻辑——pPTDL。为了集成Modest工具进行自动化验证,本文研究了从pPTCA的反应式模型到支持动作集的随机时间自动机的转换机制,为该工具的使用提供了理论支撑。3.研究了物联网交互系统模型的互模拟等价。物联网交互系统规模的庞大必然导致形式化模型的复杂,这将给量化验证分析带来极大的困难。为了合理约减模型的规模,本文从是否考虑系统内部行为的角度,分别对强互模拟以及弱互模拟进行研究。针对强互模拟,本文研究具有概率、时间、代价等特征的约束自动机模型的行为等价。针对弱互模拟,本文侧重于概率模型,并考虑到发散行为(即无限内部行为)所带来的重要影响,从三个角度研究了保发散弱概率互模拟的相关理论以及对应的验证方法。通过结合归纳思想以及经典剖分精化方法,本文设计了计算最大保发散弱概率互模拟的多项式时间算法。4.介绍了偏远环境下独立工作的小型野外工作站物联网交互系统案例。通过应用本文提出的模型与逻辑,对该物联网交互系统进行建模并对其具有的性质进行逻辑规范,在此基础上完成量化验证与分析,从而表明了本文提出物联网交互系统量化验证方法的有效性。


知网文化
【相似文献】
中国期刊全文数据库 前15条
1 于立;;“物联网+”下的智慧工地项目发展探索[J];智能城市;2019年03期
2 黄剑;;物联网关键技术与应用分析[J];智库时代;2019年04期
3 刘铭;柳青;董丙瑞;;论物联网技术在现代农业中的应用[J];南方农机;2017年03期
4 郑昱;;物联网:一个充满活力的市场[J];中国自动识别技术;2014年05期
5 鲍忠宇;孙庆波;;基于物联网的农业智慧大棚监控系统的设计[J];中外企业家;2018年33期
6 侯远达;王敏;焦明;胡建军;;外军物联网建设对我军军交运输领域的启示[J];军事交通学院学报;2013年11期
7 郑昱;赵建萍;;物联网统一编码:立足顶层 兼容并蓄[J];中国自动识别技术;2014年01期
8 王合;;物联网安全体系和关键技术探索[J];数字通信世界;2019年02期
9 赵淇涛;;物联网与智慧城市的发展[J];数字通信世界;2019年02期
10 罗新皓;;我国物联网的发展现状分析[J];现代经济信息;2019年01期
11 ;国家物联网产业示范基地——物联网特色小镇[J];杭州(我们);2015年12期
12 王琪;戴超;张炎;陈烙;;物联网技术在智慧社区建设及运营中的应用[J];农村经济与科技;2019年04期
13 彭波;姜仲秋;李明金;;农业物联网应用推广存在的问题与解决措施探讨[J];农村经济与科技;2019年04期
14 辛华;;试析物联网技术在“智慧农业”中的应用[J];现代经济信息;2019年02期
15 车亚进;;基于物联网的智慧医疗系统研究分析[J];电子测试;2019年04期
中国重要会议论文全文数据库 前10条
1 张大鹏;张刘华;;建筑消防物联网技术应用研究初探[A];2016中国消防协会科学技术年会论文集[C];2016年
2 朱飞勇;;基于物联网的消防安全工作实践与思考[A];2016中国消防协会科学技术年会论文集[C];2016年
3 刘建国;毕晓华;;基于物联网的灾害现场内部环境监测及预警关键技术[A];2016中国消防协会科学技术年会论文集[C];2016年
4 贾俊涛;;关于“智慧消防”建设的几点思考[A];2016中国消防协会科学技术年会论文集[C];2016年
5 刘志勇;杨小华;李佩河;;门址数据应如何迎接物联网时代的到来[A];卫星导航产业机遇与挑战2010[C];2010年
6 杨婷婷;李晶晶;李丹;;探究“互联网+”时代物联网技术在沈阳智慧城市中的应用[A];第十五届沈阳科学学术年会论文集(理工农医)[C];2018年
7 拓洁;;试分析物联网对会计的影响[A];探索科学2016年6月学术研讨[C];2016年
8 黄冰倩;黄珊;张雅;;物联网技术在智慧环保中的应用[A];第六届云南省科协学术年会暨红河流域发展论坛论文集——专题二:滇南中心智慧城市建设[C];2016年
9 ;城市公共管理物联网大数据平台助力城市精细化管理[A];2017年中国照明论坛——半导体照明创新应用与智慧照明发展论坛论文集[C];2017年
10 朱育红;;感知农业物联网的智慧气象信息[A];第34届中国气象学会年会 S12 提升气象科技水平,保障农业减灾增效论文集[C];2017年
中国博士学位论文全文数据库 前10条
1 何康力;物联网交互系统的量化验证方法研究[D];华东师范大学;2019年
2 易灵芝;基于物联网的铀尾矿库周边环境放射性污染智能监测方法与理论[D];南华大学;2018年
3 余昌盛;窄带物联网和双连接中资源管理关键技术研究[D];浙江工业大学;2017年
4 王平泉;基于行为特征的物联网服务生成与推荐关键技术研究[D];北京邮电大学;2018年
5 冯亮;基于物联网的再制造物流系统协同管理研究[D];西北工业大学;2017年
6 叶周景;基于路面振动物联网监测的车路综合信息获取技术[D];北京科技大学;2019年
7 杨洋;物联网中资源优化与定位技术研究[D];华中科技大学;2017年
8 曲超;语义物联网事务模型及其应用[D];华南理工大学;2017年
9 周志平;物联网环境下制造企业组织变革模型与决策权配置问题研究[D];合肥工业大学;2017年
10 房梁;面向物联网搜索的访问控制关键技术研究[D];北京邮电大学;2018年
中国硕士学位论文全文数据库 前10条
1 夏旭;基于物联网技术的资产管理系统的设计与实现[D];电子科技大学;2018年
2 周欢语;面向物联网的上下文敏感复杂事件处理方法研究[D];湖南大学;2014年
3 黄琳;物联网事件上下文建模及推理方法的研究[D];湖南大学;2014年
4 邹广;基于物联网技术的现钞生命周期智能管理平台设计与开发[D];湖南大学;2014年
5 廖春萍;基于物联网技术的智能家居安防预警系统的设计与实现[D];电子科技大学;2018年
6 袁唐中;基于物联网的智能卡口管理系统[D];南京理工大学;2018年
7 徐宏;窄带物联网部署方案研究[D];吉林大学;2018年
8 袁晓龙;黑龙江垦区大田种植物联网综合服务管理平台的构建及应用研究[D];吉林大学;2018年
9 张新乔;卫星物联网系统中的解调与信道译码技术研究[D];南京理工大学;2018年
10 赵俊涛;基于物联网的资源映射算法研究[D];辽宁大学;2012年
中国重要报纸全文数据库 前10条
1 记者 平阳 通讯员 夏滨彬;桐乡打造全国“互联网+医疗”发展先行地[N];嘉兴日报;2016年
2 本报记者 李佳师;物联网如何跳出“看起来很美”?[N];中国电子报;2016年
3 本报记者 赵晨;“开放物联”从全局引领物联网产业发展[N];中国电子报;2016年
4 本报记者 李佳师;中国或因物联网而领跑全球[N];中国电子报;2016年
5 本报记者 李佳师;物联网是地产行业转型的有力推手[N];中国电子报;2016年
6 记者 崔晓利;构建物联网 推广新技术[N];安阳日报;2016年
7 ;《中国移动互联网发展报告(2016)》发布 移动互联网将向智慧物联网发展[N];中国电子报;2016年
8 柯文;MWCS2016:一场“连接”的盛宴[N];人民邮电;2016年
9 本报记者 徐勇;5G是爱情,基于现实基础才更甜蜜[N];人民邮电;2016年
10 王珍;云米陈小平:家庭物联网时代必须开放合作[N];第一财经日报;2019年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978