一种嵌入式实时系统软件能耗建模与分析的方法

摘要：

　　针对嵌入式实时系统缺乏有效的软件能耗建模与分析的方法，提出一种基于进程代数的嵌入式实时系统软件能耗建模与分析的方法。通过在时间通信顺序进程上扩展价格信息得到价格时间通信顺序进程，将嵌入式实时系统指令的功耗映射成为价格时间通信顺序进程的价格，利用价格时间通信顺序进程对嵌入式实时系统软件能耗建模并进行量化分析，提出的最优路径算法可以对建模结果进行指令功耗可满足性检查并计算当前最低能耗可达路径。本方法可以从很大程度上提高嵌入式实时系统软件能耗计算和分析的准确性，计算结果有助于嵌入式实时系统软件能耗的量化分析和优化设计。

关键词： 嵌入式实时系统 软件能耗 建模 价格 时间通信顺序进程

作者: 祝义 周航 肖芳雄

作者单位: 江苏师范大学计算机科学与技术学院 徐州 221116 南京航空航天大学民航学院 南京 210016 广西财经学院信息与统计学院,南宁 530003

会议类型: 国内会议

会议名称: 第十一届全国软件与应用学术会议(NASAC2012)

会议地点: 南京

会议语种:中文

页码: 1-8

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