一种基于AADL语言的嵌入式软件能耗评估方法A Method for Estimating Energy Consumption of Embedded Software Based on AADL Language
王晓红;杜欣;倪友聪;罗增;
摘要(Abstract):
从软件生命周期的系统设计级出发,分别构建和定义了基于AADL语言的嵌入式软件能耗评估模型和能耗评估过程,从而提出了一种基于AADL语言的嵌入式软件能耗评估方法,并通过实验对该能耗评估方法进行了验证.
关键词(KeyWords): 系统设计级;AADL;嵌入式软件;能耗评估
基金项目(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.