高级检索

    屠梅红, 虞慧群. 分布式实时系统设计的一种扩展方法[J]. 华东理工大学学报(自然科学版), 2002, (3): 289-293.
    引用本文: 屠梅红, 虞慧群. 分布式实时系统设计的一种扩展方法[J]. 华东理工大学学报(自然科学版), 2002, (3): 289-293.
    TU Mei\|hong, YU Hui qun *. An Extension Approach to the Design of Distributed Real-time Systems[J]. Journal of East China University of Science and Technology, 2002, (3): 289-293.
    Citation: TU Mei\|hong, YU Hui qun *. An Extension Approach to the Design of Distributed Real-time Systems[J]. Journal of East China University of Science and Technology, 2002, (3): 289-293.

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

    An Extension Approach to the Design of Distributed Real-time Systems

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

       

      Abstract: An extension approach to the design of distributed real\|time systems is presented. Based on the transformational design approach, this method supports the extension or change of the system specification. The trace part of the new requirement is described by trace logic, and the time part is described by DCI(Duration calculus implementable). A set of standard extension rules help generate the new design specification from the old one. A case of the multi user multi media system demonstrates our method in detail.

       

    /

    返回文章
    返回