期刊文献+
共找到1篇文章
< 1 >
每页显示 20 50 100
分布式实时系统设计的一种扩展方法
1
作者 屠梅红 虞慧群 《华东理工大学学报(自然科学版)》 CAS CSCD 北大核心 2002年第3期289-293,共5页
介绍了分布式实时系统设计的一种扩展方法。在转化设计的基础上 ,支持系统的扩展及系统规范的改变。新的系统需求规范使用轨迹逻辑 ( Trace logic)描述系统轨迹 ,用 DCI( Durationcalculus implementable)描述其对时间的要求 ,在原有的... 介绍了分布式实时系统设计的一种扩展方法。在转化设计的基础上 ,支持系统的扩展及系统规范的改变。新的系统需求规范使用轨迹逻辑 ( Trace logic)描述系统轨迹 ,用 DCI( Durationcalculus implementable)描述其对时间的要求 ,在原有的系统设计规范的基础上应用一组标准的扩展规则得到新的设计规范。系统设计的正确性可由扩展过程本身得以保证。 展开更多
关键词 分布式实时系统 设计 一种扩展方法 时段逻辑 轨迹逻辑 SL规范语言
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部