嵌入式设备能耗仿真评测系统的制作方法

专利名称：嵌入式设备能耗仿真评测系统的制作方法
技术领域：
本申请涉及电子设备的能耗测试技术，具体涉及嵌入式系统的能耗测试技术领域。
背景技术：
嵌入式系统主要由嵌入式处理器、相关支撑硬件和嵌入式软件系统组成，它是集软硬件于一体的可独立工作的“器件”。其中，嵌入式处理器主要由一个单片机或微控制器(MCU)组成；相关支撑硬件包括显示卡、存储介质(ROM和RAM等)、通讯设备、IC卡或信用卡的读取设备等。嵌入式系统有别于一般的计算机处理系统，它不具备像硬盘那样大容量的存储介质，而大多使用闪存(Flash Memory)作为存储介质。嵌入式软件包括与硬件相关的底层软件、操作系统、图形界面、通讯协议、数据库系统、标准化浏览器和应用软件等。嵌入式系统是应用最广的计算系统，随着计算机硬件技术的发展，嵌入式设备的处理能力越来越强；而出于移动性的要求，绝大部分嵌入式设备不具有持久的电源，而是通过电池实现供电。然而有限的电池却无法满足越来越强大的计算需求，例如5年前的手机能够使用一个星期，而现在的智能手机使用2天就必须充电。同时，有源供电的嵌入式系统随着能源价格的增长，能耗的成本也在飞速上涨。能源问题已成为一个制约嵌入式设备发展的主要因素。由于电池储能技术的限制，如何有效的利用有限的电池能源，充分的延长嵌入式系统工作的时间已成为不可回避的问题。现有的嵌入式设备的能耗仿真系统多数是硬件底层的仿真系统，该种仿真系统是进行电路级的能耗仿真，这些仿真系统大部分是由硬件开发商设计的，即只能够针对开发商自己的硬件产品。这类仿真系统是直接与硬件平台相关的，同时进行仿真时要求设备的能耗参数是已知的，即要求硬件是已设计完成，因而不适合对不存在或正在开发的设备进行仿真，同时也无法实现平台不相关，无法实现跨平台的比较。另外，现有的仿真系统只支持硬件的能耗仿真，没有考虑到软件对能耗的影响。对于一个正常的嵌入式设备，只有在有任务运行时才是耗能最大的，系统空闲时能耗和有工作负载时的能耗存在很大的差别。同时对于一些处理器，如ARM，其支持多套指令(ARM支持32和16指令工作模式)，不同指令模式下的能耗是不同的(ARM的16为模式能耗要比32模式下很多)，而指令模式的切换经常是由任务需要进行切换的，再如无线通信时的能耗和计算时的能耗是有很大差别的。因而，现有的仿真系统仅仅进行硬件的能耗仿真是不能够获得嵌入式系统在工作时的真正能耗的。

发明内容
为了解决现有的嵌入式系统的仿真系统不能够对嵌入式系统运行任务的状态进行能耗仿真的缺陷，本申请提出了一种能够在嵌入式系统执行任务的状态下进行仿真的嵌入式设备能耗仿真评测系统。本申请所述的嵌入式设备能耗仿真评测系统包括图形化配置管理模块、事件发生器、设备能耗模型构建模块、AADL到GSPN模型转化模块和GSPN设备能耗模型仿真模块，其中图形化配置管理模块，用于对事件发生器及设备能耗模型模块输入参数的图形化配置；设备能耗模型构建模块，用于根据图形化配置管理模块配置的参数、采用基于ADDL的系统级软硬件的抽象描述，进而获得嵌入式系统软硬件的ADDL描述模型；事件发生器，用于模拟产生能耗事件序列；AADL到GSPN模型转化模块，用于将嵌入式系统软硬件的ADDL描述模型转换成GSPN模型；GSPN设备能耗模型仿真模块，用于采用QPME工具载入GSPN模型；还用于从能耗事件序列中选择加载外部能耗事件；还用于采用QPME工具根据加载的外部能耗事件对GSPN模型进行能耗仿真，获得嵌入式系统的剩余能量和系统生存时间的仿真结果。设备能耗模型构建模块的输入参数包括嵌入式系统的软件和硬件架构、组件有限状态机、系统调度策略、资源分配策略和能耗优化策略。所述嵌入式设备能耗仿真评测系统还包括图形化结果分析子模块，该子模块用于根据GSPN设备能耗模型的仿真结果，图形化的显示设备的剩余能量与系统生存时间，各组件消耗的能量，以及执行的事件和最耗能的事件，并可以根据需要选择决定是否生成仿真曰志.本申请旨在提供一个平台不相关的系统级的嵌入式系统能耗行为建模、仿真、评估平台。本申请所述的嵌入式设备能耗仿真评测系统通过AADL (Architecture Analysisand Design Language,体系结构分析设计语言)实现软硬件相结合的平台独立的系统级硬件描述，并通过GSPN(Generalized Stochastic Petri Net,广义随机佩特里网)采用基于 事件的方法进行能耗仿真，实现对不同应用环境，不同负载强度，不同调度策略，不同的硬件架构进行能耗仿真，对系统的设计提供参考，提高设计质量，加速开发速度。本申请所述的嵌入式设备能耗仿真评测系统通过采用AADL和GSPN实现了一种从系统需求到图形化描述，再到形式化描述的一种逐步抽象的途径，并提供了自动化的抽象工具，以屏蔽由复杂的系统理解和抽象过程导致的不确定的认为错误和理解偏差。AADL是国际汽车工程师协会(SAE)指导开发的体系结构分析设计语言，其擅长描述嵌入式设备的软硬件组成与体系架构。Petri网是1960年代由卡尔 A 佩特里提出的严格的离散并行系统的数学表述方式，其擅长对异步的、并发的计算机系统模型描述。虽然相关的AADL语言规范和Petri网仿真工具都已经比较成熟。然而AADL缺乏进行数学严格的仿真模拟，而Petri网由于过于抽象导致大部分人使用困难。本申请有效的结合了 AADL和Petri网的优点，并屏蔽了各自的缺点，实现一个用户友好，简单易用，并且具有严格形式化验证能力的系统。本申请所述的仿真系统采用AADL和GSPN，提出基于事件驱动与状态转移的嵌入式设备能耗建模方法，有效的对软硬件组成相关的嵌入式设备整体能耗状况进行分析。首先通过对嵌入式设备的耗能事件、耗能行为、耗能状态进行分析，采用AADL的方法对系统软硬件进行图形化系统软硬件架构和能耗行为的建模描述；再将AADL语言描述的系统自动的转化为用GSPN描述的抽象4元组模型；然后采用GSPN结合外部事件发生器开展能耗仿真，评测嵌入式设备能耗与系统生存时间。根据本申请所述的仿真系统获得的评测结果，能够为不同任务模式、不同应用环境下嵌入式设备的元器件选型、软硬件架构设计及软硬件能耗参数优化配置、系统调度和资源分配提供指导，为实现能耗最优的系统设计提供准确可靠的参考。本申请所述的仿真系统是一个平台不相关的设计仿真验证工具，无需实体系统实现，可以在设计阶段进行系统方案的验证，在设计阶段验证方案的软硬件能耗需求，极大的降低了由于方案不合理导致的开发周期加长，开发成本加大的风险。同时通过本申请所述的仿真工具可以验证在不同应用环境和任务需要下系统的能耗性能及生存时间，这对选够市场上成型的嵌入式系统，特别是一些无法进行充电的嵌入式设备，如移动传感器等具有重要的参考价值。降低选够系统无法满足生存时间而导致的业务损失风险。


图1是本申请所述的嵌入式设备能耗仿真评测系统的架构示意图。图2是具体实施方式
三所述的基于策略的事件发生器的原理示意图。图3是具体实施方式
五所述的基于日志的事件发生器的原理示意图。图4是具体实施方式
七所述的设备能耗模型构建模块的原理示意图。图5是采用ADDL提供的组件定义与扩展的示意图。图6是具体实施方式
九所述的GSPN设备能耗模型仿真模块的原理示意图。图7是具体实施方式
八所述的AADL到GSPN模型转化模块的原理图。图8是具体实施方式
八所述的基于事件驱动的GSPN仿真原理示意图。图9是具体实施方式
八所述的组件内部事件触发组件状态变迁的示意图。图10是具体实施方式
九所述的GSPN设备能耗模型仿真原理示意图。
具体实施例方式具体实施方式
一参见图1说明本实施方式。本实施方式所述的嵌入式设备能耗仿真评测系统包括图形化配置管理模块、事件发生器、设备能耗模型构建模块、AADL到GSPN模型转化模块和GSPN设备能耗模型仿真模块，其中图形化配置管理模块，用于对事件发生器及设备能耗模型模块输入参数的图形化配置；设备能耗模型构建模块，用于根据图形化配置管理模块配置的参数、采用基于ADDL的系统级软硬件的抽象描述，进而获得嵌入式系统软硬件的ADDL描述模型；事件发生器，用于模拟产生能耗事件序列；AADL到GSPN模型转化模块，用于将嵌入式系统的软硬件的ADDL描述模型转换成GSPN模型；GSPN设备能耗模型仿真模块，用于采用QPME工具载入GSPN模型；还用于从能耗事件序列中选择加载外部能耗事件；还用于采用QPME工具根据加载的外部能耗事件对GSPN模型进行能耗仿真，获得嵌入式系统的剩余能量和系统生存时间的仿真结果。嵌入式设备的具有广泛的应用领域和多样性的任务类型，如环境信息检测、医疗救护应用、战场单兵生存等领域，且嵌入式设备的任务模式也是多样的，如周期性的数据采用或指令性的嵌入式操作等。嵌入式设备环境模型是为了仿真模拟多样的外部环境与嵌入式设备的信息交互。本实施方式中采用事件发生器产生能耗事件以对应嵌入式设备的外部环境激励。建立事件发生器模型，支持复杂时变的嵌入式应用的快速构建与生成。面对复杂多变的嵌入式外部环境，可定制外部环境的多种时变因素(业务、信道以及网络拓扑)，按需生成不同的嵌入式应用系统和应用环境。
具体实施方式
二 参见图1说明本实施方式。本实施方式是对具体实施方式
一所述的嵌入式设备能耗仿真评测系统的进一步说明，本实施方式中，所述设备能耗模型构建模块的输入参数包括嵌入式系统的软件和硬件架构、组件有限状态机、系统调度策略、资源分配策略和能耗优化策略。用户可根据实际情况假设系统配置，或比较分析能耗优化的设计方案。根据用户配置信息(profile)，产生系统数据，包括嵌入式设备架构与模块状态与能耗数据，嵌入式设备软硬件配置信息，嵌入式设备业务数据。标准数据可构建成相关profile。由于不同的系统结构，不同的设备(组件)，不同的策略同样会导致系统在执行任务时需要的能量不同，因此构建设备能耗模型时需要的参数包括嵌入式系统的软件和硬件架构、组件有限状态机、调度策略、资源分配策略和能耗优化策略，其中软硬件架构中的硬件架构，是指嵌入式设备中的处理器、无线通信设备等在内的所有耗能硬件，用户可定制多个、不同型号的处理器来加快设备运行速度，也可定制种外设来实现不同的应用需求，这都将构成不同的嵌入式设备的硬件架构，设备的能耗情况也因硬件配置的不同而不同。软硬件架构中的软件架构，是指嵌入在硬件中的运行的软件，不同的软件架构也会导致通信的次数，计算量，内存复制次数等的差别，这些差别导致了系统能耗动作的长短和次数。上述软硬件架构是直接反应要仿真的嵌入式系统的部件的结构和特点，可由设计方案或现实系统得到。组件有限状态机，嵌入式系统中的大部分设备都有不同程度的能耗优化，可以工作在不同的功率模式下；而这些不同的功率模式将的转变都可以通过有限状态机进行描述。用户可根据需求建立组件(设备)的有限状态机，设定有限状态机中各个状态的属性及状态间转移关系，状态的属性指处于该状态下的功率、状态转移时的时间阈值等。当组件选用不同的有限状态机时，组件(设备)处于各个状态下的时间及状态转移的次数不同，导致设备整体的能耗情况不同。如果组件是硬件，该参数可以从硬件说明书中获得，硬件说明书基本都有相关的工作模式将的状态关系描述，以及各模式下的能耗。如果是软件可从软件任务描述中获得，如算法中的读、写、计算等操作。也可以是设计者将要设计的组件。系统调度策略，调度本身就是一个耗能动作，不同的调度影响着系统中的各任务的执行顺序，而嵌入式系统的任务很大一部分是有实时性要求的，如果高实时性的任务被安排在后期执行，系统就不得不调整工作模式，采用功率的工作方式运行以保障关键任务的及时完成。所述调度策略可由系统调度算法获得，也可使设计者设计的调度算法。资源分配策略，嵌入式设备需要为多种不同的应用提供运行所需的软硬件资源，包括处理器、无线通信设备、存储器、板载外设等硬件资源，不同的资源分配策略直接影响设备的耗能，特别对于异构多核的嵌入式设备来说，多个处理器间如何进行任务调度和资源分配更显重要。该参数可由系统资源分配算法获得，如异构处理器执行优先执行的任务。能耗优化策略，不同的能耗优化策略下组件的休眠策略不同，设备整体的能耗也不同。当不需要某个功能部件的时候，可以根据能耗优化策略选择性的将其关闭以减少能耗，如采用DPM (动态电源管理)技术来实现有效的设备电源管理。由于AADL在动态仿真特别是能耗仿真上的局限性，本系统采用成熟的，具有严格数学验证的GSPN方法进行仿真，如图5所示，在本系统中采用QPME工具进行GSPN仿真。
具体实施方式
三参见图2说明本实施方式。本实施方式是对具体实施方式
一所述的嵌入式设备能耗仿真评测系统的进一步说明，本实施方式中，事件发生器用于模拟产生能耗事件序列的过程为根据嵌入式系统的事件发生策略配置参数生成的仿真脚本调用事件发生弓I擎，进而获得能耗事件序列。所述嵌入式系统的事件发生策略配置参数生成的仿真脚本中包括事件发生策略配置参数，具体包括嵌入式系统的信道/网络环境配置参数、任务分配类型。本实施方式所述的事件发生器产生时间序列的方法适用于根据嵌入式系统的任务需要和应用环境模式的配置而生成能耗事件序列的情况。基于用户配置来定制嵌入式设备的外部环境与任务模式；具体来说要将用户的配置信息定制相应的业务流模型、信道模型、协议等，并且调用仿真脚本生成器转换为仿真工具能识别的可执行脚本文件。采用仿真软件来模拟仿真嵌入式设备与外部环境的交互行为。采用仿真引擎来模拟仿真嵌入式设备与外部环境的交互行为，用户可以选择NS2、OPNET等软件作为外挂仿真引擎。记录嵌入式设备与外部环境的交互行为以及生成针对嵌入式设备的有序的能耗事件序列；通过调用仿真引擎可以记录下详细的交互过程，存储在仿真结果记录文件中，再调用记录文件处理器得到能耗事件序列，作为GSPN设备能耗模型仿真模块的输入。
具体实施方式
四本实施方式是对具体实施方式
三所述的嵌入式设备能耗仿真评测系统的进一步说明，本实施方式中的图形化配置管理模块，还用于对事件发生器的输入参数进行图形化配置，所述事件发生器的输入参数采用事件发生策略配置模块产生。事件发生策略配置模块用于配置影响能耗事件发生的频率的参数。根据研究，弓丨起嵌入式系统耗能事件原因主要有两类，一类是由于环境导致的，称之为环境类型；一类是由于任务(命令)引发的，称之为任务类型。环境类型对于目前绝大部分嵌入式系统而言都具有网络的连接功能。对无线通信，嵌入式设备应用环境的不同导致了无线信道质量的差异，根据不同的环境选择不同的信号衰减因子，支持不同天气情况(晴、雨、雪)下处于室内、市区、郊区等环境类型。该环境类型影响数据包传输信道的能量衰减，进而产生丢包事件，影响收发数据包及丢包事件发生的成功率。对于有线连接，通信介质和网络环境的差异同样影响收发数据包及丢包事件发生的成功率。如在通信介质的传输错误率就会影响数据包的正确率，进而影响数据包重传的次数。本模块就是配置、选择这些环境参数，通过已有的信道模型和网络拥塞模型获得相关的数据包重传概率。该参数如果是无线通讯可以根据系统需要应用的环境选如与室内，室外，荒野等常见环境相对应的信号衰减因子，也可以自定义信号衰减因子。有限通讯可通过对网络拥塞规律的统计获得。任务类型任务类型指的是现实应用下嵌入式因业务的不同而表现出的不同系统执行规律。不同的应用场景下产生的业务多种多样，有周期性采集业务，也有突发性业务或者符合特定分布的业务流等。常见的业务流的分布类型有指数分布、泊松分布，随机分布，均匀分布等。这些业务类型就决定了设备产生数据包的规律，直接决定了单位时间内事件发生的时刻与次数。本模块通过配置该参数，仿真记录系统响应的事件的时刻和时长。该输入根据现实应用制定，仿真程度与业务描述的拟合度相关。
具体实施方式
五参见图3说明本实施方式。本实施方式是对具体实施方式
一所述的嵌入式设备能耗仿真评测系统的进一步说明，本实施方式中，事件发生器用于模拟产生能耗事件序列的过程为对嵌入式系统的运行事件日志采用日志解析器进行解析，进而获得能耗事件序列。本实施方式所述的运行事件日志是指嵌入式系统的实际运行日志或软件仿真的日志。
具体实施方式
六本实施方式是对具体实施方式
五所述的嵌入式设备能耗仿真评测系统的进一步说明，本实施方式中的图形化配置管理模块，还用于对事件发生器的输入参数进行图形化配置，所述事件发生器的输入参数为系统运行事件日志。系统运行事件日志和事件发生策略配置模块在功能上一致，该参数用于读取满足一定格式要求的日志，再由事件发生器按该日志产生能耗事件序列。系统运行的日志可以是实际系统运行记录的日志也可以是其他嵌入式仿真系统执行的日志，甚至可以是人为设定的日志。本实施方式所述的系统运行日志的格式为“事件发生时刻，动作完成时间，事件发生组件，当前组件状态，下一步组件状态”。
具体实施方式
七参见图4说明本实施方式。本实施方式是对具体实施方式
一所述的嵌入式设备能耗仿真评测系统的进一步说明，本实施方式中，设备能耗模型构建模块用于根据图形化配置管理模块配置的参数、采用基于ADDL的系统级软硬件抽象描述，进而获得嵌入式系统软硬件的ADDL模型的过程为根据模板库对嵌入式系统的硬件构架和组件特性进行软硬件模板的图形化配置；根据策略库和嵌入式系统的软件策略进行软硬件策略图形化定制；根据图形化配置和图形化定制的结果获得嵌入式系统的硬件架构和软件架构及其行为；采用ADDL语言对所述嵌入式系统的硬件架构和软件架构及其行为进行抽象描述，获得嵌入式系统的ADDL模型。所述模板库用于存储通用的嵌入式设备组件；所述策略库用于存储通用的嵌入式设备软件策略，如状态转移条件，休眠策略等。所述模板库和策略库可以根据使用者需要自行添加或者修改模板或者策略，进而实现适用于各种嵌入式系统的能耗仿真。基于AADL语言的嵌入式设备模型具有软硬件协同的特点，充分发挥其在嵌入式设计上的优势，方便进行需求的验证。本系统采用AADL语言进行系统软硬架构的描述。参见图5，图5左侧部分表示AADL提供软件层面的抽象，图5右侧表示AADL支持制定组件描述。同时AADL支持组件将继承关系，因而通过AADL可以实现通用的组件模板。本系统通过扩展AADL的模型库和建模语言，使之适应于事件驱动的嵌入式设备能耗建模分析研究。嵌入式设备系统是一个典型的事件驱动系统，而事件引发的系统动作导致了系统耗能行为，并同时引起了系统状态的改变。通过嵌入式设备的事件驱动机制的分析和抽象，本系统将AADL中模式转移的概念扩展应用到嵌入式设备进行能耗建模上。通过对嵌入式系统的分析和抽象，嵌入式设备基于事件的能耗行为由组件能耗行为以及组件之间的交互关系共同所决定组件能耗行为可视为一个随机自动机；嵌入式设备能耗行为建模关键是能耗事件的能耗行为以及能耗事件的传播机制。能耗行为模型应由以下几部分组成1)能耗状态代表了组件所处的能耗状态或是组件间交互的连接状态；
2)能耗事件揭示了组件的能耗状态变化；3)能耗事件传播定义了状态变迁的发生；4)能耗状态变迁由条件(事件)触发状态变迁，进而引起能耗事件传播。针对嵌入式设备部件内不能耗行为的AADL建模，鉴于嵌入式设备功能部件通常采用基于状态转移的睡眠机制以到达节能目的，为准确分析节点部件能耗，通过扩展AADL属性项，建立节点部件的状态属性项(property_state)以及能耗属性项(property_energy)。状态属性定义嵌入式设备部件的状态转移关系与转移条件，能耗属性则用于描述其部件在不同状态下以及状态转移中的能耗状况。根据研究，嵌入式系统耗能事件根据是否自发产生的可以分为两类，I)嵌入式设备组件内部基于状态转移的能耗行为，2)嵌入式设备组件之间基于事件驱动的交互行为或外部激励触发的行为(如用户操作，环境状态响应)。针对嵌入式设备部件外部交互行为的AADL建模，鉴于嵌入式设备功能部件间基于事件驱动的交互方式，为准确分析设备部件间的相互关系，通过扩展AADL的接口特征，建立描述设备部件事件的事件端口(event ports),并拓展了事件关联(Eventconnection)以描述事件驱动系统的部件关联性。本实施方式所述的模型设计步骤根据模板库对嵌入式系统的硬件构架和组件特性进行软硬件模板的图形化配置是指根据嵌入式系统的硬件架构和组件特性，在模板库是选择相应的模板，并根据选择的模板实现软硬件模版图形化配置。该过程中，通过将硬件架构模板构建出硬件互联架构，并根据组件状态机，可自动的实现对架构中组件的内部状态的状态和转移关系，并对相关状态和转移的能耗进行设定。根据策略库和嵌入式系统的软件策略进行软硬件策略图形化定制是指；根据嵌入式系统的软件策略在策略库中选择相应的策略，并根据选择的策略实现软硬件管理策略图形化定制，所述软件策略包括组件有限状态机、调度策略、资源分配策略和能耗优化策略。该过程通过模板库和软件策略制定软件架构，资源分配策略，如一个进程需要多少内存，在那个处理器上运行。描述组件间的能耗转移关系，并映射进程至能耗组件。上述能耗建模原理为
嵌入式设备的能耗分析首先关注于嵌入式设备各耗能部件的能耗分析。按功能划分，嵌入式设备可分为感知部件(S，传感器)、处理部件(P，微处理器)以及通信部件(T，无线收发器)以及供电部件(E，电池)。鉴于嵌入式设备供电部件通常为电池，为简化建模，可做如下假定电池呈线性放电；嵌入式设备能耗为各部件能耗累加之和。建模每种部件为一个基本模板template,贝U每种嵌入式设备都由模板template组成，如一个感知部件模版S-template、一个处理部件模版P-template和一个通信部件模版T-template组成通用的嵌入式设备(S，P，T)，根据不同的应用环境，可定制不同的模版template组成,如5个感知部件模版S_template、3个处理部件模版P_template和2个通信部件模版T-template组成所需要描述的嵌入式设备(5S，3P, 2T)。状态与事件反映了嵌入式设备耗能的行为特征。通过技术文档调研分析，确定基于状态转移机制的嵌入式设备各部件工作状态以及状态转移关系。
处理部件模版简称P模块，该P模块一般划分为运行、空闲、休眠三个状态。通信部件模版简称为T模块，该T模块一般划分为关闭、空闲、监听、休眠、接收和发送六个状态。感知部件模版简称为S模块，该S模块相对较为简单，为工作和关闭两个状态。按照事件与嵌入式设备部件关联性，可将事件(Event)分为嵌入式设备外部事件、部件内部事件和部件间事件三类。同时，定义活动(Action)为嵌入式设备基于事件驱动做出的反应，代表着程序执行、数据传递等具体动作。嵌入式设备通过活动而消耗能量。通过技术文档调研以及部分实验电路测试，基于统计分析，可获得嵌入式设备部件在不同状态下以及状态转移过程中的能耗数据，从而构建嵌入式设备的能耗数据结构。嵌入式设备部件间基于事件驱动的相关性由控制结构所描述。通过分析嵌入式设备部件对事件的处理，实现对嵌入式设备部件状态和事件的转换变化过程，明确部件内部、部件之间以及部件与外部环境之间的控制流程和数据处理过程，从而构建嵌入式设备的能耗控制结构。基于数据结构与控制结构，实现嵌入式设备能耗在功能与行为上的统一。本实施方式中，采用的能耗问题的简化求解方法为将能耗求解问题转化为统计组件在不同状态时间以及各种状态转移的次数；
权利要求
1.嵌入式设备能耗仿真评测系统，其特征在于，该嵌入式设备能耗仿真评测系统包括图形化配置管理模块、事件发生器、设备能耗模型构建模块、AADL到GSPN模型转化模块和 GSPN设备能耗模型仿真模块，其中图形化配置管理模块，用于对事件发生器及设备能耗模型模块输入参数的图形化配置；设备能耗模型构建模块，用于根据图形化配置管理模块配置的参数、采用基于ADDL的系统级软硬件的抽象描述，进而获得嵌入式系统软硬件的ADDL描述模型；事件发生器，用于模拟产生能耗事件序列；AADL到GSPN模型转化模块，用于将嵌入式系统软硬件的ADDL描述模型转换成GSPN模型；GSPN设备能耗模型仿真模块，用于采用QPME工具载入GSPN模型；还用于从能耗事件序列中选择加载外部能耗事件；还用于采用QPME工具根据加载的外部能耗事件对GSPN模型进行能耗仿真，获得嵌入式系统的剩余能量和系统生存时间的仿真结果。
2.根据权利要求1所述的嵌入式设备能耗仿真评测系统，其特征在于，所述设备能耗模型构建模块的输入参数包括嵌入式系统的软件和硬件架构、组件有限状态机、系统调度策略、资源分配策略和能耗优化策略。
3.根据权利要求1所述的嵌入式设备能耗仿真评测系统，其特征在于，事件发生器用于模拟产生能耗事件序列的过程为根据嵌入式系统的事件发生策略配置参数生成的仿真脚本调用事件发生引擎，进而获得能耗事件序列。
4.根据权利要求3所述的嵌入式设备能耗仿真评测系统，其特征在于，所述图形化配置管理模块，还用于对事件发生器的输入参数进行图形化配置，所述事件发生器的输入参数采用事件发生策略配置模块产生，事件发生策略配置模块用于配置影响能耗事件发生频率的参数。
5.根据权利要求1所述的嵌入式设备能耗仿真评测系统，其特征在于，事件发生器用于模拟产生能耗事件序列的过程为对嵌入式系统的运行事件日志采用日志解析器进行解析，进而获得能耗事件序列。
6.根据权利要求5所述的嵌入式设备能耗仿真评测系统，其特征在于，所述图形化配置管理模块还用于对事件发生器的输入参数进行图形化配置，所述事件发生器的输入参数为系统运行事件日志。
7.根据权利要求6所述的嵌入式设备能耗仿真评测系统，其特征在于，系统运行事件日志的格式为“事件发生时刻，动作完成时间，事件发生组件，当前组件状态，下一步组件状态”。
8.根据权利要求1所述的嵌入式设备能耗仿真评测系统，其特征在于，设备能耗模型构建模块用于根据图形化配置管理模块配置的参数、采用基于ADDL的系统级软硬件抽象描述，进而获得嵌入式系统软硬件的ADDL模型的过程为根据模板库对嵌入式系统的硬件构架和组件特性进行软硬件模板的图形化配置；根据策略库和嵌入式系统的软件策略进行软硬件策略图形化定制；根据图形化配置和图形化定制的结果获得嵌入式系统的硬件架构和软件架构及其行为；采用ADDL语言对所述嵌入式系统的硬件架构和软件架构及其行为进行抽象描述，获得嵌入式系统的ADDL模型。
9.根据权利要求1所述的嵌入式设备能耗仿真评测系统，其特征在于，AADL到GSPN模型转化模块，用于将嵌入式系统软硬件的ADDL描述模型转换成GSPN模型的方法为根据GSPN的能耗建模模型，通过扩展AADL语言，使其能够对能耗进行建模；GSPN中能耗模型的四元组对应的AADL中的元素为S :状态库所，描述嵌入式设备与内外环境基于事件的交互场所；对应AADL模型中模式；T :状态变迁，活动以转换的方式建模，由事件产生活动，由活动导致状态变迁；对应 AADL模型中转移；F :有向弧集，描述状态转换发生的条件和转换产生的影响，对应AADL模型中连接；M :标识，描述库所中事件发生规律，token能在库所变迁中不断活动；对应AADL模型中能耗事件。
10.根据权利要求1所述的嵌入式设备能耗仿真评测系统，其特征在于，所述嵌入式设备能耗仿真评测系统还包括图形化结果分析子模块，该子模块用于根据GSPN设备能耗模型的仿真结果，图形化的显示设备的剩余能量与系统生存时间，各组件消耗的能量，以及执行的事件和最耗能的事件，并可以根据需要选择决定是否生成仿真日志。
全文摘要
嵌入式设备能耗仿真评测系统，涉及电子设备的能耗测试技术。本发明解决了现有的嵌入式系统的仿真系统不能够对嵌入式系统运行任务的状态进行能耗仿真的缺陷。本发明包括用于对输入参数进行图形化配置的图形化配置管理模块；用于采用基于ADDL的系统级软硬件进行抽象描述、进而获得嵌入式系统软硬件的ADDL描述模型的设备能耗模型构建模块；用于模拟产生能耗事件序列的事件发生器；用于将ADDL模型转换成GSPN模型的模型转化模块；用于采用QPME工具载入GSPN模型、从事件序列中选择加载外部能耗事件、采用QPME工具根据加载的外部事件对GSPN模型进行能耗仿真、获得嵌入式系统的剩余能量和系统生存时间的仿真结果的GSPN设备能耗模型仿真模块。
文档编号G06F11/26GK103019903SQ201310020199
公开日2013年4月3日 申请日期2013年1月18日 优先权日2013年1月18日
发明者周海鹰, 侯昆明, 左德承, 李剑巾, 李剑, 周鹏, 谢和平, 王媛媛, 胡连亚 申请人:哈尔滨工业大学