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

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

作　　者：李明仁[1] 谷连文[1] 潘培泰 李思昆[1] 陈福接[1] 

机构地区：[1]太原卫星发射中心技术部,国防科学技术大学计算机系

出　　处：《计算机研究与发展》1995年第6期40-45,共6页Journal of Computer Research and Development

摘　　要：本文提出了一个基于定时的Ｐｅｔｒｉ网和立方体队列网络的实时多任务系统的建模方法─—ＴＰＣＱ，它特别适合于描述含有同步、通信和立方体队列调度的复杂的实时多任务系统，也可以描述一般的实时多任务系统。文中讨论了ＴＰＣＱ模型，并且给出了一个建立实时多任务系统的ＴＰＣＱ模型的例子。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.

关 键 词：模拟模型 实时多任务系统 TPCQ 

分 类 号：TP316[自动化与计算机技术—计算机软件与理论]