论文部分内容阅读
数据流语言是面向虚拟仪器的可视化编程环境的核心.为了使这些基于数据流的编程环境能够应用到实时系统设计中,必须引入一种严格定义的实时文法.RTL文法适合描述数据流语言,但是异步节点的表述问题以及时间基准选择问题并未解决.提出了一种用于描述单率、异步数据流语言的RTL文法.该文法中引入传输事件常量与状态谓词(state predicates)解决了异步节点的RTL文法描述问题.