集成的Z实时扩展RT-Z及其应用模式

陈生庆; 张立臣; 陈广明

首页> 中文期刊> 《微电子学与计算机》 >集成的Z实时扩展RT-Z及其应用模式

集成的Z实时扩展RT-Z及其应用模式

开具论文收录证明 >>

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

文献代查 >>

页面导航

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

摘要

将具有状态描述能力的Z语言和具有实序并发描述能力的其它形式化方法如TimedCCS,TimedCSP相结合大大拓展了其在实时并发系统的中的应用能力,不但可以用于需求描述,也可应用于系统设计。在统一语义的背景下使用多种集成方法,其根本目的是适合应用领域的不同特点,本文以RT-Z为基础提出的基本扩展框架对类似集成工作具有普遍意义,最后结合RT-Z的语义集成的分析提出了并发实时系统开发中的一种基本应用模式。

著录项

来源
《微电子学与计算机》 |2005年第6期|126-128|共4页
作者
陈生庆; 张立臣; 陈广明;
展开▼
作者单位

嘉应学院计算机系;

广东工业大学计算机学院;

展开▼
原文格式 PDF
正文语种 chi
中图分类程序设计、软件工程;
关键词
实时系统; 形式化方法; RT—Z;

相似文献

中文文献
外文文献
专利

1. Z实时扩展及基于多视点的应用模式 [J] . 陈广明 ,陈生庆 ,张立臣 . 计算机应用 . 2005,第002期
2. Elastic提供灵活、可扩展和实时安全分析功能的ArcSight集成 [J] . 本刊讯 . 电子产品可靠性与环境试验 . 2017,第5期
3. 北方平原地区农村集成化现代下沉式窑居住宅模式改进和扩展模式探究 [J] . 韩洛川 . 山西农经 . 2019,第023期
4. 任务型网络书面实时交流中的意义协商机制:扩展模式构建 [J] . 胡永近 . 外语教学 . 2020,第005期
5. POWER7系统扩展实时分析商业模式 [J] . 刘琦琳 . 互联网周刊 . 2010,第005期
6. 合资公司"物资信三流合一"实时经营信息集成模式的探索与实践 [C] . 张中淋 ,张颢 . 2016中国石油石化企业信息技术交流大会 . 2016
7. 形式化语言RT-Z的集成及其在实时系统的应用 [A] . 吴宇琼 . 2005

集成的Z实时扩展RT-Z及其应用模式

摘要

著录项

相似文献

相关主题

期刊订阅