期刊文献+

TGM模型的RTL形式化描述 被引量:1

Formal Description of TGM Model With RTL Language
下载PDF
导出
摘要 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.
机构地区 国防科技大学
出处 《计算机仿真》 CSCD 2001年第2期37-40,共4页 Computer Simulation
关键词 RTL语言 形式定义 TGM模型 实时系统仿真 RTL language Formal definition TGM model
  • 相关文献

参考文献9

  • 1桂先洲.复杂实时系统模型和语言设计:博士论文[M].国防科技大学研究生院,1999.17-30.
  • 2桂先洲 秦玉杰.防空系统的TGM建模和任务属性参数设计技术报告[M].,1999..
  • 3桂先洲,戴金海,彭良智,赵玲.TGM任务图模型和理论基础[J].计算机工程与科学,2001,23(1):61-64. 被引量:2
  • 4桂先洲,计算机工程与科学,2000年,4期
  • 5桂先洲,博士学位论文,1999年,17页
  • 6桂先洲,技术报告,1999年
  • 7Jane W,Proceedings of the 14th IEEE Real Time Systems Symposium,1993年,ages184页
  • 8Liu J W S,IEEE Computer,1991年
  • 9Liu C L,J ACM,1973年,20卷,1期

二级参考文献13

  • 1桂先洲.复杂实时系统模型和语言设计[博士学位论文].长沙:国防科技大学研究生院,1999..
  • 2桂先洲,学位论文,1999年
  • 3Mok A K,IEEE 17th Real Time System Symp,1996年
  • 4Liu W S J,Proc 14th IEEE Real Time Systems Symp,1993年
  • 5Han C C,Proc 13th IEEE Real Time Systems Symp,1992年
  • 6Liu J W S,Readingson Real Time Systems,1992年
  • 7Kim T,Proc IEEE Int Conf Computer Aid Design,1991年
  • 8Liu J W S,IEEE Computer,1991年,25卷,4期,58页
  • 9Gillies D,Proc 2nd IEEE Conf Parallel and Distributed Processing,1990年
  • 10Chung J Y,IEEE Trans Computers,1990年,39卷,9期

共引文献1

同被引文献2

引证文献1

二级引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部