高级检索
    胡 潇 李 曦 龚育昌. 基于时间Petri网的实时系统低能耗高层综合[J]. 计算机研究与发展, 2006, 43(1): 176-184.
    引用本文: 胡 潇 李 曦 龚育昌. 基于时间Petri网的实时系统低能耗高层综合[J]. 计算机研究与发展, 2006, 43(1): 176-184.
    Hu Xiao, Li Xi, and 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.
    Citation: Hu Xiao, Li Xi, and 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.

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

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

    • 摘要: 以时间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.

       

    /

    返回文章
    返回