摘要
为分析智能家居网关协议转换过程中的能量消耗情况,利用符号执行对路径敏感的特性,提出一种基于符号执行的协议级能耗分析模型。用符号执行将协议转换部分的不可达路径排除,用指令级能耗分析模型对家居网关协议层级的能耗进行分析。在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.
作者
何香凝
郭荣佐
黄君
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)
出处
《计算机工程与设计》
北大核心
2019年第9期2589-2593,2613,共6页
Computer Engineering and Design
基金
国家自然科学基金面上基金项目(61373162、61373163)
国家自然科学青年科学基金项目(61701331)
国家科技支撑计划基金项目(2014BAH11F01、2014BAH11F02)
四川省科技支撑计划基金项目(2015GZ0079)
关键词
符号执行
家居网关
协议级
指令级
软件能耗
symbolic execution
home gateway
protocol level
instruction level
software energy consumption
