摘要
随着软件技术的发展,软件工程领域中对软件大小、复杂度、资源利用等特性的认识越来越深入,针对软件系统能耗问题的研究越来越受到重视。以嵌入式软件系统能耗为研究对象采用顺序图模型作为源模型来对系统能耗进行分析,先将顺序图模型转换成为能耗自动机,在能耗自动机的基础上来进行能耗计算,进而分析系统能耗分析。
This paper regards the energy consumption of embedded software system as the research object,using the sequence diagram model as the source model to analyze the system energy consumption,for one thing,converting sequence diagram model into energy consumption automata,calculating energy consumption on the basis of energy consumption au- tomata,and then analysis the energy consumption of system.
出处
《工业控制计算机》
2016年第7期78-80,共3页
Industrial Control Computer
关键词
形式化
顺序图
能耗自动机
formalization,UML Sequence Diagrams,energy consumption automata