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

On Energy-Consumption Analysis and Evaluation for Component-Based Embedded System with CSP

作　　者：张滕滕[1] 吴晓[1] 李长德[1] 董云卫[1] 

机构地区：[1]西北工业大学计算机学院,西安710072

出　　处：《计算机学报》2009年第9期1876-1883,共8页Chinese Journal of Computers

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

摘　　要：随着嵌入式系统的发展,构件化软件开发技术已成为嵌入式软件开发的发展趋势.嵌入式系统通常是能源有限系统,如何在构件化嵌入式系统开发前期对其能耗进行分析与评估,发现系统能耗特性设计缺陷,从而提高开发效率,降低开发成本,已成为嵌入式系统设计的一个挑战.文中从构件化嵌入式软件体系结构出发,采用基于路径的系统能耗分析评估方法,在嵌入式系统架构设计阶段对其能耗特性进行分析与评估.在此评估体系中,软件体系结构应用进程代数语言CSP进行形式化描述,能耗特性在构件接口级别定义,最终建立了以CSP迹模型为基础的基于路径的系统能耗分析评估模型.文章最后通过案例分析验证了该模型分析方法的正确性和有效性.With the rapid developments of embedded systems technology, the use of Component- Based Software Development （CBSD） in embedded systems is on the rise. Embedded systems are usually energy constrained, so it has become a great challenging issue to analyze the system energy-consumption at early phase of component-based embedded software development, which can help to improve the efficiency and reduce the costs. This paper consequently contributes to this problem. According to the component-based embedded software architecture, the authors analyze the energy-consumption of embedded system using path-based method in architecture design phase. In our evaluation model, the formal specification of software architecture is given based on CSP and the energy-consumption description is established on the interface-leveL Finally, the authors estab- lish a path-based energy-consumption evaluation model through CSP traces model. A case study is presented to validate the correctness and the effectiveness of our method in the end of this paper.

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

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]