TGM模型的RTL形式化描述

摘要

TGM模型是实时仿真参考模型的重要组成模型。它可以描述、构造实时系统行为。本文选取基于事件的RTL语言，形式化定义了TGM模型和其表现形式，如：断开子图、任务断开子图、非断开子图和混合子图等。文章通过例子阐述了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.