TGM模型的RTL形式化描述  

Formal Description of TGM Model With RTL Language

作　　者：桂先洲[1] 戴金海[1] 张良起[1] 

机构地区：[1]国防科技大学,410073

出　　处：《计算机仿真》2001年第2期37-40,共4页Computer Simulation

摘　　要：TGM模型是实时仿真参考模型的重要组成模型。它可以描述、构造实时系统行为。本文选取基于事件的RTL语言 ,形式化定义了TGM模型和其表现形式 ,如 :断开子图、任务断开子图、非断开子图和混合子图等。TGM model is importance component in RMRTS. TGM may descript and build the behaviors of Real-time System. The paper defines formally TGM model and its representations such as Disjoint Subgraph, Task mix graph, Non Disjoint Subgraph and Mix Graph. The power of TGM model is presented by an example.

关 键 词：RTL语言 形式定义 TGM模型 实时系统仿真 

分 类 号：TP391.9[自动化与计算机技术—计算机应用技术]