Wright语言的实时扩展

• 作者: 崔小乐 崔小欣 张兴 胡建军 闵俊
• 来源期刊: 微电子学与计算机
• 关键词: 体系结构描述语言 Wright TCSP 实时系统
• 年，卷（期）: 2006,（3）
• 页码范围: 11-15
• 页数: 5页
• 分类号: TP311
• 语种: 中文
• DOI: 10.3969/j.issn.1000-7180.2006.03.004

摘要

Wright是一种适合于对具有并发特性的系统进行仿真建模的著名体系结构描述语言.文章针对Wright语言对实时性描述支持的不足,利用TCSP对其进行了行为语义的扩展,增强其对具有实时并发特性的系统进行建模的能力.利用扩展后的Wright语言,在系统开发的早期即可对系统的活性、安全性等时间相关的特性进行模型检验.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张兴	北京大学深圳研究生院信息工程学院	120	618	12.0	20.0
2	崔小欣	北京大学深圳研究生院信息工程学院	11	39	4.0	5.0
3	胡建军	北京大学深圳研究生院信息工程学院	3	27	2.0	3.0
4	崔小乐	北京大学深圳研究生院信息工程学院	16	77	5.0	8.0
5	闵俊	中兴通讯股份有限公司移动事业部	1	4	1.0	1.0