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

摘要：

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

关键词：构件、接口、体系结构、能耗、迹模型

所属期刊栏目：32

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金重点项目60736017;国家"八六三"高技术研究发展计划重大专项课题2007AA010304

在线出版日期：2009-11-10（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：1876-1883