何香凝:基于符号执行的家居网关协议级能耗建模论文

何香凝:基于符号执行的家居网关协议级能耗建模论文

本文主要研究内容

作者何香凝,郭荣佐,黄君(2019)在《基于符号执行的家居网关协议级能耗建模》一文中研究指出:为分析智能家居网关协议转换过程中的能量消耗情况,利用符号执行对路径敏感的特性,提出一种基于符号执行的协议级能耗分析模型。用符号执行将协议转换部分的不可达路径排除,用指令级能耗分析模型对家居网关协议层级的能耗进行分析。在STM32F103硬件平台上,对Modbus/TCP和Modbus/RTU协议进行转换,实验结果表明,该模型计算得到的能耗与实际测量的能耗误差在4.9%左右,能够较准确评估家居网关在协议级的能量消耗,为智能家居网关的低功耗设计提供指导。

Abstract

wei fen xi zhi neng jia ju wang guan xie yi zhuai huan guo cheng zhong de neng liang xiao hao qing kuang ,li yong fu hao zhi hang dui lu jing min gan de te xing ,di chu yi chong ji yu fu hao zhi hang de xie yi ji neng hao fen xi mo xing 。yong fu hao zhi hang jiang xie yi zhuai huan bu fen de bu ke da lu jing pai chu ,yong zhi ling ji neng hao fen xi mo xing dui jia ju wang guan xie yi ceng ji de neng hao jin hang fen xi 。zai STM32F103ying jian ping tai shang ,dui Modbus/TCPhe Modbus/RTUxie yi jin hang zhuai huan ,shi yan jie guo biao ming ,gai mo xing ji suan de dao de neng hao yu shi ji ce liang de neng hao wu cha zai 4.9%zuo you ,neng gou jiao zhun que ping gu jia ju wang guan zai xie yi ji de neng liang xiao hao ,wei zhi neng jia ju wang guan de di gong hao she ji di gong zhi dao 。

论文参考文献

  • [1].遗传算法辅助的动态符号执行测试方法[J]. 谢章伟,崔展齐,郑丽伟,张志华.  计算机工程与应用.
  • [2].基于蚁群算法的猜测符号执行的路径搜索[J]. 李航,臧洌,甘露.  计算机科学.2018(06)
  • [3].从自动化到智能化:软件漏洞挖掘技术进展[J]. 邹权臣,张涛,吴润浦,马金鑫,李美聪,陈晨,侯长玉.  清华大学学报(自然科学版).2018(12)
  • [4].一种通信机房智能能耗管理网关技术[J]. 王绪识.  电子技术与软件工程.2017(19)
  • [5].基于能耗管理的智能家庭网关设计与实现[J]. 刘凯,戚银城.  电视技术.2014(21)
  • [6].电力市场环境下家庭智慧能源网关概念及设计[J]. 夏元兴,王庆泽,普月,夏实秋,吴许晗,冯世通.  无线互联科技.2017(05)
  • [7].博科发布经济实用的高性能iSCSI网关[J].   通信世界.2006(13)
  • [8].ServGate:整合网关引领下一代网关防护新潮流[J]. 刘启诚.  通信世界.2004(36)
  • [9].AudioCodes推出适用于电信级VolP网关的新产品[J].   通信世界.2000(12)
  • [10].浅析物联网网关技术研究[J]. 赵彦.  信息通信.2019(10)
  • 论文详细介绍

    论文作者分别是来自计算机工程与设计的何香凝,郭荣佐,黄君,发表于刊物计算机工程与设计2019年09期论文,是一篇关于符号执行论文,家居网关论文,协议级论文,指令级论文,软件能耗论文,计算机工程与设计2019年09期论文的文章。本文可供学术参考使用,各位学者可以免费参考阅读下载,文章观点不代表本站观点,资料来自计算机工程与设计2019年09期论文网站,若本站收录的文献无意侵犯了您的著作版权,请联系我们删除。

    标签:;  ;  ;  ;  ;  ;  

    何香凝:基于符号执行的家居网关协议级能耗建模论文
    下载Doc文档

    猜你喜欢