Time-bounded cooperative recovery with the distributed real-time conversation scheme

被引:0
|
作者
Kim, KH
Bacellar, L
机构
来源
THIRD INTERNATIONAL WORKSHOP ON OBJECT-ORIENTED REAL-TIME DEPENDABLE SYSTEMS, PROCEEDINGS | 1997年
关键词
recovery block; conversation; distributed real-time conversation; DRC; distributed recovery block; DRB; safety-critical; real-time; cooperative recovery;
D O I
10.1109/WORDS.1997.609923
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
Of several schemes proposed to handle the propagation of erroneous information among interacting processes in distributed and parallel computer systems, the distributed real-time conversation (DRC) scheme stands out in its fast forward recovery capability which is essential in safety-critical hard-real-time applications. However, previous formulations of the scheme remained at relatively abstract levels and practical models for their implementation in complex safety-critical real-time applications were not established before. The core approach in the DRC scheme is to make a group of computing stations cooperate in recovery from hardware and software faults that may occur during their interaction. In this paper we present a practical implementation model for the DRC scheme. A simple model of an anti-missile defense system is used to illustrate the main structuring principles of the DRC scheme and major components of the practical implementation model.
引用
收藏
页码:32 / 39
页数:8
相关论文
共 50 条
  • [21] Time-Bounded Reachability in Distributed Input/Output Interactive Probabilistic Chains
    Cahn, Georgel
    Crouzen, Pepijn
    D'Argenio, Pedro R.
    Hahn, E. Moritz
    Zhang, Lijun
    MODEL CHECKING SOFTWARE, 2010, 6349 : 193 - +
  • [22] Time-Bounded Sequential Parameter Optimization
    Hutter, Frank
    Hoos, Holger H.
    Leyton-Brown, Kevin
    Murphy, Kevin
    LEARNING AND INTELLIGENT OPTIMIZATION, 2010, 6073 : 281 - 298
  • [23] Handling QoS dependencies in distributed cooperative real-time systems
    Nogueira, Luis
    Pinho, Luis Miguel
    DISTRIBUTED EMBEDDED SYSTEMS: DESIGN, MIDDLEWARE AND RESOURCES, 2008, : 191 - 200
  • [24] Cooperative energy management in distributed wireless real-time systems
    Rajan, Dinesh
    Poellabauer, Christian
    WIRELESS NETWORKS, 2011, 17 (06) : 1475 - 1491
  • [25] Real-time multitarget tracking by a cooperative distributed vision system
    Matsuyama, T
    Ukita, N
    PROCEEDINGS OF THE IEEE, 2002, 90 (07) : 1136 - 1150
  • [26] Cooperative energy management in distributed wireless real-time systems
    Dinesh Rajan
    Christian Poellabauer
    Wireless Networks, 2011, 17 : 1475 - 1491
  • [27] Towards a Theory of Time-Bounded Verification
    Ouaknine, Joel
    Worrell, James
    AUTOMATA, LANGUAGES AND PROGRAMMING, PT II, 2010, 6199 : 22 - 37
  • [28] FPGA Time-Bounded Unclonable Authentication
    Majzoobi, Mehrdad
    Elnably, Ahmed
    Koushanfar, Farinaz
    INFORMATION HIDING, 2010, 6387 : 1 - 16
  • [29] SIMULATIONS BY TIME-BOUNDED COUNTER MACHINES
    Petersen, Holger
    INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, 2011, 22 (02) : 395 - 409
  • [30] TIME-BOUNDED CONTROLLED BIDIRECTIONAL GRAMMARS
    HOGENDORP, JA
    INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS, 1990, 35 (1-4) : 93 - 115