基于实时扩展Wright的系统检验规则分析

摘要：

实时扩展的Wright语言是一种从行为语义上对wright语言增加了时间属性的体系结构描述语言。在增强了对系统描述能力的同时，其对系统的检验和推理能力也有了相应的变化。文章针对其在时间特性上的描述变化，分析了实时扩展后的Wright所描述系统的检验规则的变化以及新增的对时间属性的检验规则。

关键词： 体系结构描述语言 检验规则 实时系统 行为语义 时间属性

作者: 吴博 黄志球 祝义

作者单位: 南京航空航天大学信息科学与技术学院 210016

会议类型: 国内会议

会议名称: 第十三届全国青年通信学术会议

会议地点: 山东烟台

会议语种:中文

页码: 39-42

在线出版日期: 2008-10-31（万方平台首次上网日期，不代表论文的发表时间）