标题：基于模型转换的系统能耗分析
作者：吴俊 方景龙 赵慧莉
作者单位：杭州电子科技大学计算机图像研究所，浙江 杭州 310018
关键字：形式化，顺序图，能耗自动机
摘要：随着软件技术的发展，软件工程领域中对软件大小、复杂度、资源利用等特性的认识越来越深入，针对软件系统能耗问题的研究越来越受到重视。以嵌入式软件系统能耗为研究对象采用顺序图模型作为源模型来对系统能耗进行分析，先将顺序图模型转换成为能耗自动机，在能耗自动机的基础上来进行能耗计算，进而分析系统能耗分析。