基于时间Petri网的实时系统低能耗高层综合

High-Level Low-Power Synthesis of Real-Time Systems Using Time Petri Nets

(Department of Computer Science and Technology, University of Science and Technology of China, Hefei 230027)

摘要: 以时间Petri网为模型，验证系统功能性和实时性，在此基础上，提出了一种由子任务的能耗变化率驱动的启发式能耗优化算法，并针对一类特殊形式的网模型——可组合时间Petri网，设计了相应的简化算法.实验说明，上述算法时间复杂度低，且优化效果接近最优值，能够为实时系统低能耗高层综合提供有力支持.
- 实时低能耗设计 /
- 时间Petri网 /
- 高层综合 /
- 系统级设计
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.
- real-time low-power design /
- time Petri net /
- high-level synthesis /
- system-level design