| 基于时间Petri网的实时系统低能耗高层综合 |
| |
| 引用本文： | 胡潇,李曦,龚育昌.基于时间Petri网的实时系统低能耗高层综合[J].计算机研究与发展,2006,43(1):176-184. |
| |
| 作者姓名： | 胡潇 李曦 龚育昌 |
| |
| 作者单位： | 中国科学技术大学计算机科学与技术系,合肥,230027 |
| |
| 基金项目： | 中国科学院资助项目;安徽省自然科学基金 |
| |
| 摘 要： | 以时间Petri网为模型，验证系统功能性和实时性，在此基础上，提出了一种由子任务的能耗变化率驱动的启发式能耗优化算法，并针对一类特殊形式的网模型——可组合时间Petri网，设计了相应的简化算法．实验说明，上述算法时间复杂度低，且优化效果接近最优值，能够为实时系统低能耗高层综合提供有力支持．
|
| 关 键 词： | 实时低能耗设计 时间Petri网 高层综合 系统级设计 |
| 收稿时间： | 08 23 2004 12:00AM |
| 修稿时间： | 2004-08-232005-05-31 |
High-Level Low-Power Synthesis of Real-Time Systems Using Time Petri Nets |
| |
| Hu Xiao,Li Xi,Gong Yuchang.High-Level Low-Power Synthesis of Real-Time Systems Using Time Petri Nets[J].Journal of Computer Research and Development,2006,43(1):176-184. |
| |
| Authors: | Hu Xiao Li Xi Gong Yuchang |
| |
| Affiliation: | Department of Computer Science and Technology, University of Science and Technology of China , Hefei 230027 |
| |
| Abstract: | In this paper, using time Petri nets (TPNs) as specification models, system functionality and timeliness are first verified. Then a heuristic algorithm is proposed to optimize the system energy, which is driven by subtasks' energy-gradients and can be further simplified in the case that TPNs are composable. The experimental results show that the proposed methods can support the high-level low-power synthesis of real-time systems with results close to the optimum one, but with very low time complexities. |
| |
| Keywords: | real-time low-power design time Petri net high-level synthesis system-level design |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
