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

Protocol-level energy consumption modeling in home gateway based on symbolic execution

作　　者：何香凝 郭荣佐[1] 黄君[2] HE Xiang-ning;GUO Rong-zuo;HUANG Jun(College of Computer Science,Sichuan Normal University,Chengdu 610101,China;Department of Economics and Management,Sichuan Technology and Business College,Dujiangyan 611830,China)

机构地区：[1]四川师范大学计算机科学学院,四川成都610101 [2]四川工商职业技术学院经济与管理系,四川都江堰611830

出　　处：《计算机工程与设计》2019年第9期2589-2593,2613,共6页Computer Engineering and Design

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

摘　　要：为分析智能家居网关协议转换过程中的能量消耗情况,利用符号执行对路径敏感的特性,提出一种基于符号执行的协议级能耗分析模型。用符号执行将协议转换部分的不可达路径排除,用指令级能耗分析模型对家居网关协议层级的能耗进行分析。在STM32F103硬件平台上,对Modbus/TCP和Modbus/RTU协议进行转换,实验结果表明,该模型计算得到的能耗与实际测量的能耗误差在4.9%左右,能够较准确评估家居网关在协议级的能量消耗,为智能家居网关的低功耗设计提供指导。To analyze the energy consumption in the process of smart home gateway protocol conversion,a protocol-level energy consumption analysis model based on symbolic execution was proposed by using the path-sensitive characteristic of symbolic execution.The unreachable path of the protocol conversion part was excluded through the symbolic execution,and the energy consumption of the home gateway protocol level was analyzed by utilizing the instruction level energy analysis model.On the STM32F103 hardware platform,the Modbus/TCP and Modbus/RTU protocols were converted.Experimental results show that the error between the calculated energy consumption and the actual measured energy consumption is about 4.9%,thus it concludes that the model can accurately assess the energy consumption of home gateway at protocol level and provide guidance for the low-power design of the smart home gateway.

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

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]