| 实时多任务系统的TPCQ建模方法 |
| |
| 引用本文： | 李明仁,李思昆.实时多任务系统的TPCQ建模方法[J].计算机研究与发展,1995,32(6):40-45. |
| |
| 作者姓名： | 李明仁 李思昆 |
| |
| 作者单位： | 太原卫星发射中心技术部，国防科学技术大学计算机系 |
| |
| 摘 要： | 本文提出了一个基于定时的Ｐｅｔｒｉ网和立方体队列网络的实时多任务系统的建模方法－ＴＰＣＱ，它特别适合于描述含有同步、通信和立方体队列调度的复杂的实时多任务系统，也可以描述一般的实时多任务系统。文中讨论了ＴＰＣＱ模型，并且给出了一个建立实时多任务系统的ＴＰＣＱ模型的例子。
|
| 关 键 词： | 模拟模型 实时多任务系统 TPCQ |
TPCQ: A MODELING METHOD FOR REAL-TIME MULTI-TASKING SYSTEMS |
| |
| Li Mingren, Gu Lianwen, and Pan Peitai.TPCQ: A MODELING METHOD FOR REAL-TIME MULTI-TASKING SYSTEMS[J].Journal of Computer Research and Development,1995,32(6):40-45. |
| |
| Authors: | Li Mingren Gu Lianwen and Pan Peitai |
| |
| 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. |
| |
| Keywords: | System performance analysis simulation model real-time multi-tasking system |
| 本文献已被 CNKI 维普 等数据库收录！ |
