|
个人信息Personal Information
教授
博士生导师
硕士生导师
主要任职：Director of Academic Committee at Kaifa District
其他任职：开发区校区学术分委员会主任（Director of Academic Committee at Kaifa Campus）
性别：男
毕业院校：多伦多大学
学位：博士
所在单位：软件学院、国际信息与软件学院
学科：软件工程. 运筹学与控制论
办公地点：开发区（Kaifa District Campus）
联系方式：mingchul@dlut.edu.cn
电子邮箱：mingchul@dlut.edu.cn
A novel green software evaluation model for cloud robotics
点击次数：
论文类型：期刊论文
发表时间：2017-10-01
发表刊物：COMPUTERS & ELECTRICAL ENGINEERING
收录刊物：SCIE、EI、Scopus
卷号：63
页面范围：139-156
ISSN号：0045-7906
关键字：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. (C) 2017 Elsevier Ltd. All rights reserved.