基于CSP的构件化嵌入式软件能耗分析与评估方法研究

被引：34

作者：

张滕滕

吴晓

李长德

董云卫

机构：

[1] 西北工业大学计算机学院

来源：

计算机学报 | 2009年 / 32卷 / 09期

基金：

国家自然科学基金重点项目;

关键词：

构件; 接口; 体系结构; 能耗; 迹模型;

D O I：

暂无

中图分类号：

TP311.52 []; TP368.12 [];

学科分类号：

摘要：

随着嵌入式系统的发展,构件化软件开发技术已成为嵌入式软件开发的发展趋势.嵌入式系统通常是能源有限系统,如何在构件化嵌入式系统开发前期对其能耗进行分析与评估,发现系统能耗特性设计缺陷,从而提高开发效率,降低开发成本,已成为嵌入式系统设计的一个挑战.文中从构件化嵌入式软件体系结构出发,采用基于路径的系统能耗分析评估方法,在嵌入式系统架构设计阶段对其能耗特性进行分析与评估.在此评估体系中,软件体系结构应用进程代数语言CSP进行形式化描述,能耗特性在构件接口级别定义,最终建立了以CSP迹模型为基础的基于路径的系统能耗分析评估模型.文章最后通过案例分析验证了该模型分析方法的正确性和有效性.

引用

页码：1876 / 1883

页数：8