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

被引:0
|
作者
Kim, KH
Bacellar, L
机构
关键词
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 条
  • [1] The distributed real-time conversation scheme for time-bounded cooperative recovery
    Kim, KH
    Bacellar, L
    COMPUTER SYSTEMS SCIENCE AND ENGINEERING, 2002, 17 (01): : 49 - 61
  • [2] Bounded-time recovery for distributed real-time systems
    Gandhi, Neeraj
    Roth, Edo
    Gifford, Robert
    Linh Thi Xuan Phan
    Haeberlen, Andreas
    2020 IEEE REAL-TIME AND EMBEDDED TECHNOLOGY AND APPLICATIONS SYMPOSIUM (RTAS 2020), 2020, : 110 - 123
  • [3] Time-Bounded Verification of CTMCs against Real-Time Specifications
    Chen, Taolue
    Diciolla, Marco
    Kwiatkowska, Marta
    Mereacre, Alexandru
    FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, 2011, 6919 : 26 - 42
  • [4] DESIGN OF LOOSELY COUPLED PROCESSES CAPABLE OF TIME-BOUNDED COOPERATIVE RECOVERY - THE PTC/SL SCHEME
    KIM, KH
    COMPUTER COMMUNICATIONS, 1993, 16 (05) : 305 - 316
  • [5] Cooperative scheduling among time-bounded agents
    Belleili, H
    Bouzid, M
    Sellami, M
    ICTAI 2005: 17TH IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2005, : 573 - 577
  • [6] Time-bounded based password authentication scheme
    Chang, CC
    Kuo, JY
    Lee, JS
    2005 INTERNATIONAL CONFERENCE ON CYBERWORLDS, PROCEEDINGS, 2005, : 117 - 122
  • [7] Time-bounded distributed QoS-aware service configuration in heterogeneous cooperative environments
    Nogueira, Luis
    Pinho, Luis Miguel
    JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 2009, 69 (06) : 491 - 507
  • [8] PSRR: A scheme for time-bounded fault tolerance in distributed object-based systems
    Kim, KH
    Subbaraman, C
    IEEE HIGH-ASSURANCE SYSTEMS ENGINEERING WORKSHOP, PROCEEDINGS, 1997, : 120 - 128
  • [9] A dynamic crash recovery scheme for distributed real-time database systems
    肖迎元
    刘云生
    刘小峰
    廖国琼
    王洪亚
    Journal of Shanghai University, 2006, (06) : 510 - 516
  • [10] TBA*: Time-Bounded A*
    Bjornsson, Yngvi
    Bulitko, Vadim
    Sturtevant, Nathan
    21ST INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI-09), PROCEEDINGS, 2009, : 431 - 436