A novel green software evaluation model for cloud robotics

作者：Hou, Gang; Zhou, Kuanjiu; Qiu, Tie^*; Cao, Xun; Li, Mingchu; Wang, Jie

来源：Computers & Electrical Engineering, 2017, 63: 139-156.

DOI：10.1016/j.compeleceng.2017.08.021

• Cloud robotics
• Energy consumption
• Green software modeling method
• State transition matrix
• Bounded model checking

The energy consumption of cloud robotics is an important design factor to be considered early in system development. Software as the main enabler of cloud robots, its energy consumption will directly influence the energy consumption level of the entire system. In this paper, we propose a green software model for cloud robotics based on energy consumption time state transition matrix (ETSTM), which can effectively integrate the logic functions, energy consumption, and execution time of software into a single model. To improve the practicability of ETSTM, we provide a software energy consumption function based on software characteristic fitting by a backpropagation (BP) neural network, which can be used to predict software energy consumption. Furthermore, we provide two types of energy consumption analysis algorithms based on explicit execution path search and bounded model checking (BMC) for ETSTM. The experiment results show that the proposed method can achieve good performance.

• 出版日期2017-10
• 单位大连理工大学