Wright语言的实时扩展

崔小乐; 张兴; 闵俊; 崔小欣; 胡建军

首页> 中文期刊> 《微电子学与计算机》 >Wright语言的实时扩展

Wright语言的实时扩展

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《微电子学与计算机》 |2006年第3期|11-15|共5页
作者
崔小乐; 张兴; 闵俊; 崔小欣; 胡建军;
展开▼
作者单位

北京大学深圳研究生院信息工程学院;

中兴通讯股份有限公司移动事业部;

展开▼
原文格式 PDF
正文语种 chi
中图分类程序设计、软件工程;
关键词
体系结构描述语言; Wfight; TCSP; 实时系统;

相似文献

中文文献
外文文献
专利

1. 风河公司与Curtiss-Wright扩展战略合作 [J] . . 电信技术 . 2007,第6期
2. 风河公司与Curtiss—Wright扩展战略合作 [J] . . 单片机与嵌入式系统应用 . 2007,第7期
3. 基于扩展标准语言(XML)Web Service的实时票务系统的研究 [J] . 朱泽民 ,熊盛武 . 湖北民族学院学报（自然科学版） . 2007,第001期
4. 软件体系结构描述语言-Wright ADL [J] . 陈雪元 . 科技风 . 2014,第009期
5. 基于动态Wright体系结构描述语言测试方法 [J] . 刘宜鑫 ,伦立军 . 黑龙江科技信息 . 2007,第12S期
6. 基于实时扩展Wright的系统检验规则分析 [C] . 吴博 ,黄志球 ,祝义 . 第十三届全国青年通信学术会议 . 2008
7. Z语言的实时扩展及应用 [A] . 陈广明 . 2004

Wright语言的实时扩展

摘要

著录项

相似文献

相关主题

期刊订阅