分布式实时系统设计的一种扩展方法

• 作者: 屠梅红 虞慧群
• 来源期刊: 华东理工大学学报(自然科学版)
• 学科: 工学
• 关键词: 实时分布式系统 时段逻辑 轨迹逻辑 SL规范语言 扩展方法
• 年，卷（期）: 2002,（3）
• 页码范围: 289-293
• 页数: 5页
• 分类号: TP301.2
• 字数: 4226字
• 语种: 中文
• DOI: 10.3969/j.issn.1006-3080.2002.03.018

摘要

介绍了分布式实时系统设计的一种扩展方法.在转化设计的基础上,支持系统的扩展及系统规范的改变.新的系统需求规范使用轨迹逻辑(Trace logic)描述系统轨迹,用DCI(Duration calculus implementable)描述其对时间的要求,在原有的系统设计规范的基础上应用一组标准的扩展规则得到新的设计规范.系统设计的正确性可由扩展过程本身得以保证.多用户多媒体通信系统的设计实例展示了扩展设计方法的具体过程.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	虞慧群	华东理工大学计算机科学与工程系	113	814	14.0	24.0
2	屠梅红	华东理工大学计算机科学与工程系	2	4	2.0	2.0