王晓红;杜欣;倪友聪;罗增;

• 1:福建师范大学软件学院

摘要(Abstract)：

从软件生命周期的系统设计级出发,分别构建和定义了基于AADL语言的嵌入式软件能耗评估模型和能耗评估过程,从而提出了一种基于AADL语言的嵌入式软件能耗评估方法,并通过实验对该能耗评估方法进行了验证.

关键词(KeyWords)： 系统设计级;AADL;嵌入式软件;能耗评估

Abstract:

Keywords:

基金项目(Foundation): 国家自然科学基金资助项目(61305079);; 福建省自然科学基金资助项目(2015J01235);; 武汉大学软件工程国家重点实验室开放基金(SKLSE 2014-10-02);; 福建省教育厅JK类项目(JK2015006)

作者(Authors): 王晓红;杜欣;倪友聪;罗增;

参考文献(References)：

• [1]TIWARI V,MALIK S,WOLFE A.Power analysis of embedded software:a first step towards software power minimization[J].Very Large Scale Integration(VLSI)Systems,1994,2(4):437-445.
• [2]KIM D,HONG J.ESUML-EAF:a framework to develop an energy-efficient design model for embedded software[J].Software&Systems Modeling,2015,14(2):795-812.
• [3]YANG Z B,PI L.AADL:an architecture design and analysis language for complex embedded real-time systems[J].Journal of Software,2010,21(5):899-915.
• [4]BENAMMAR M,BELALA F,LATRECHE F.AADL behavioral annex based on generalized rewriting logic[C]//Research Challenges in Information Science,2008,Berlin.Berlin:Second International Conference on IEEE,2008:1-8.
• [5]TAN T K,RAGHUNATHAN A,LAKSHMIN G,et al.High-level software energy macro-modeling[C]//Design Automation Conference,2001,Washington.Washington:Institute of Electrical and Electronics Engineers,2001:605-610.
• [6]LEE M,TIWARI V,MALIK S,et al.Power analysis and minimization techniques for embedded DSP software[J].Very Large Scale Integration(VLSI)Systems,1997,5(1):123-135.
• [7]SENN E,LAURENT J,JULIEN N,et al.Softexplorer:estimating and optimizing the power and energy consumption of a C program for DSP applications[J].EURASIP Journal on Applied Signal Processing,2005,15(2):2641-2654.
• [8]HAO S,LI D,HALFOUND W G,et al.Estimating mobile application energy consumption using program analysis[C]//Software Engineering(ICSE),2013,Chicago.Chicago:Institute of Electrical and Electronics Engineers,2013:92-101.
• [9]SENN E,LAURENT J,JUIN E,et al.Refining power consumption estimations in the component based AADL design flow[C]//Specification Verification and Design Languages,2008,Berlin.Berlin:Institute of Electrical and Electronics Engineers,2008:173-178.
• [10]LIU X B,GUO B,SHEN Y,et al.Embedded software energy modeling method at architecture level[J].Journal of Software,2012,23(2):230-239.
• [11]KIM D,KIM J,HONG J.A power consumption analysis technique using UML-based design models in embedded software development[C]//SOFSEM 2011:Theory and Practice of Computer Science,Berlin:Springer,2011:320-331.
• [12]BAMMI J R,KRUIJTZER W,LAVAGNO L,et al.Software performance estimation strategies in a system-level design tool[C]//Proceedings of the eighth international workshop on Hardware/software code,2000,Boston.Boston:Association for Computing Machinery,2000:82-86.
• [13]YANG Z,HU K,MA D,et al.Towards a formal semantics for the AADL behavior annex[C]//Design,Automation&Test in Europe Conference&Exhibition,2009,Houston.Houston:Institute of Electrical and Electronics Engineers,2009:1166-1171.
• [14]NI Y,CONG S,TING Z,et al.A profile for step data transmission based on bluetooth low energy[C]//Green Computing and Communications(Green Com),2013,New York.New York:Institute of Electrical and Electronics Engineers,2013:2043-2047.
• [15]TAN T K,RAGHUNATHAN A,JHA N K.EMSIM:an energy simulation framework for an embedded operating system[C]//Circuits and Systems,2002,Washington.Washington:International Symposium on IEEE,2002:464-467.