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

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

作　　者：胡潇[1] 李曦[1] 龚育昌[1] 

机构地区：[1]中国科学技术大学计算机科学与技术系,合肥230027

出　　处：《计算机研究与发展》2006年第1期176-184,共9页Journal of Computer Research and Development

基　　金：国家自然科学基金项目(60273042);安徽省自然科学基金项目(03042101)

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

关 键 词：实时低能耗设计 时间PETRI网 高层综合 系统级设计 

分 类 号：TP302.1[自动化与计算机技术—计算机系统结构]