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

• 作者: 张立臣 陈广明 陈生庆
• 来源期刊: 微电子学与计算机
• 关键词: 实时系统 形式化方法 RT-Z
• 年，卷（期）: 2005,（6）
• 页码范围: 126-128,131
• 页数: 4页
• 分类号: TP311
• 语种: 中文
• DOI: 10.3969/j.issn.1000-7180.2005.06.035

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈生庆	嘉应学院计算机系	23	55	4.0	7.0
2	陈广明	嘉应学院计算机系	21	59	4.0	7.0
3	张立臣	广东工业大学计算机学院	158	820	14.0	21.0