基于符号执行的家居网关协议级能耗建模

摘要：

为分析智能家居网关协议转换过程中的能量消耗情况,利用符号执行对路径敏感的特性,提出一种基于符号执行的协议级能耗分析模型.用符号执行将协议转换部分的不可达路径排除,用指令级能耗分析模型对家居网关协议层级的能耗进行分析.在STM32F103硬件平台上,对Modbus/TCP和Modbus/RTU协议进行转换,实验结果表明,该模型计算得到的能耗与实际测量的能耗误差在4.9％00左右,能够较准确评估家居网关在协议级的能量消耗,为智能家居网关的低功耗设计提供指导.

关键词：符号执行、家居网关、协议级、指令级、软件能耗

所属期刊栏目：40

分类号：TP311.5(计算技术、计算机技术)

资助基金：国家自然科学基金面上基金项目61373162、61373163;国家自然科学青年科学基金项目61701331;国家科技支撑计划基金项目2014BAH11F01、2014BAH11F02:四川省科技支撑计划基金项目2015GZ0079

在线出版日期：2019-10-24（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：2589-2593,2613