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