32一种基于AADL语言的移动软件能耗评估方法讲解.ppt

提纲 1 论文选题背景及动机 2 研究内容 3 案例研究 4 创新点 1 论文选题背景及动机 随着智能手机和PDA等移动设备的日益普及和迅猛发展，运行在这些设备上的应用软件丰富多样，据Google Play和App Store的统计，在2014 年Android 和iOS移动应用市场分别都有超过143万款移动软件被应用到生活、运动、健康和医疗等诸多领域。 移动软件往往部署在电量受限的处理器上，能耗已成为评价这类软件的一个重要质量属性。 1 论文选题背景及动机 与代码级和指令级相比，在设计级进行能耗评估具有耗时短、成本低的优点，近年来已成为了软件工程学术界和工业界的一个研究热点。 目前虽已涌现出一些设计级能耗评估方法，但这些方法大多未对软件构件的内部行为元素进行能耗评估，导致了精度问题。 针对上述问题，本文提出了一种基于AADL语言的移动软件能耗评估方法。 提纲 1 论文选题背景及动机 2 研究内容 3 案例研究 4 创新点 2 研究内容 本文基于体系结构分析设计语言AADL 和一款 Tan 等人已测得指令集能耗值的StrongARM 处理器 构建了一种移动软件能耗评估模型EEM4AADL； 定义了一个AADL模型能耗评估过程EEP4AADL； 在此基础上研发一款能耗评估工具EET4AADL； 进而提出了一种移动软件能耗评估方法EE4MS-BA。 2 研究内容 （1）EEM4AADL能耗评估模型 EEM4AADL能耗评估模型是以StrongARM处理器的虚拟指令及其能耗值作为基础，通过在构件内部行为的AADL附件（AADL Behavior Annex）中识别出能耗行为元素（Energy Behavior Element，简称EBE），并根据定义AADL语言能耗行为元素与StrongARM处理器虚拟指令的映射关系而构建的。 2 研究内容 （2）EEP4AADL能耗评估过程 能耗评估过程EEP4AADL的总体流程如图1所示.该过程通过转换器STG将AADL行为模型转换成状态变迁图,再利用识别器识别出其中的能耗行为元素,最后利用生成器生成AADL行为模型的能耗评估报告. 2 研究内容 （2）EEP4AADL能耗评估过程 图2给出了一个AADL行为模型与STG模型的转换具体例子.图2(a)中定义了组件Component1和Component2及其行为描述,图2(b)为依照上述转换方法得到的STG模型. 2 研究内容 （3）EET4AADL能耗评估工具 EET4AADL能耗评估工具用于支撑上一节提出的评估过程，其总体架构分为UI、Domain和Resource三层，如图3所示。 2 研究内容 （3）EET4AADL能耗评估工具 提纲 1 论文选题背景及动机 2 研究内容 3 案例研究 4 创新点 3 案例研究 （1）案例简介 本文所选取案例为一种蓝牙低功耗计步数据同步协议BLE-Step。BLE-Step协议主要包括重传服务（Retransmission Service，简称RS），获取计步数据块信息列表服务（BlockNameList Service，简称BS），获取特定块计步数据服务（StepDataByBlock Service，简称SS）三个部分，通过这三种服务可以实现计步腕表与智能手机之间的低功耗计步数据传输。 3 案例研究 （1）案例简介 如图4所示给出了BLE-Step的AADL模型。 3 案例研究 （2）实验结果 为了验证本评估方法的可行性，本文做了如下对比分析实验：基于源程序级的能耗评估方法评估BLE-Step的能耗分别与本文提出的EE4MS-BA方法评估的能耗和Senn 等人的方法评估的能耗进行比较计算误差。本文采用的源程序级能耗评估平台为EMSIM功耗仿真平台。该平台是一款指令级高精度移动系统功耗模拟器。 得出如下表5和表6所示的实验结果。 3 案例研究 （2）实验结果 3 案例研究 （2）实验结果 获取计步数据块信息列表服务BS 和获取特定块计步数据服务SS 的误差明显大于重传服务RS的误差，这主要是由于对重传服务行为的描述较为复杂，涉及的能耗行为元素比较精细，因而误差较小。 本文提出的能耗评估方法EE4MS-BA评估的能耗较Senn 等人的与基于源程序级的能耗评估方法所得评估值更为接近，表明本文方法的精度较Senn等人的有所提高。 提纲 1 论文选题背景及动机 2 研究内容 3 案例研究 4 创新点 4 创新点 构建了一种移动软件能耗评估模型EEM4AADL； 定义了一个AADL模型能耗评估过程EEP4AADL； 在此基础上研发一款能耗评估工具EET4AADL； 提出了一种移动软件能耗评估方法EE4MS-BA； 提出的方法能够