高级检索

    实时多任务系统的TPCQ建模方法

    TPCQ: A MODELING METHOD FOR REAL-TIME MULTI-TASKING SYSTEMS

    • 摘要: 本文提出了一个基于定时的Petri网和立方体队列网络的实时多任务系统的建模方法─—TPCQ,它特别适合于描述含有同步、通信和立方体队列调度的复杂的实时多任务系统,也可以描述一般的实时多任务系统。文中讨论了TPCQ模型,并且给出了一个建立实时多任务系统的TPCQ模型的例子。

       

      Abstract: A timed-Petri and cubic queue network based modeling method for real-time multitasking systems-TPCQ-is presented in this paper. TPCQ is specially effective in describing a complex real-time multi-tasking system which involves in synchronilation, communication and cubic queue scheduling. The model TPCQ is discUssed and an example of modeling a realtime multi-tasking system in TPCQ is given in this paper.

       

    /

    返回文章
    返回