《基于UPPAAL的手机功耗流量建模方法研究》

技术简介：

由于智能手机电池容量有限,应用程序的功耗是其主要消耗之一,因为应用程序可能会产生意外功耗或能源错误,其中大多数是设计错误。为分析应用程序功耗和通信流量特性,提出使用基于模型检测的功耗流量分析方法。把手机各硬件组件作为研究对象,对时间自动机模型进行扩展,使用模型检测工具UPPAAL构建模型。该方法可以在开发的早期阶段使用,为应用程序的设计和分析提供了异步功耗的形式化模型。设计WiFi省电模式实例进行研究分析,验证分析该模型的主要属性,然后用手机应用QQ进行了实验对比。分析结果表明,该模型符合一般模型验证需求,与PowerTutor的测量结果相比,其相对误差均低于7%,能为复杂手机系统提供可参考的建模分析思路。

研发人员：张贵玲;朱正伟;蒋威;诸燕平;朱晨阳;