Automated Analysis of Fault-Tolerance in Distributed Systems

被引：0
|
作者：
Scott D. Stoller
Fred B. Schneider
机构：
[1] State University of New York at Stony Brook,Computer Science Dept.
[2] Cornell University,Dept. of Computer Science
来源：
Formal Methods in System Design | 2005年 / 26卷
关键词：
Operating System; Conservative Approximation; Automate Analysis; Efficient Analysis; Broadcast Protocol;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
A method for automated analysis of fault-tolerance of distributed systems is presented. It is based on a stream (or data-flow) model of distributed computation. Temporal (ordering) relationships between messages received by a component on different channels are not captured by this model. This makes the analysis more efficient and forces the use of conservative approximations in analysis of systems whose behavior depends on such inter-channel orderings. To further support efficient analysis, our framework includes abstractions for the contents, number, and ordering of messages sent on each channel. Analysis of a reliable broadcast protocol illustrates the method.
引用
收藏
页码：183 / 196
页数：13
相关论文
共 50 条
  • [1] Automated analysis of fault-tolerance in distributed systems
    Stoller, SD
    Schneider, FB
    [J]. FORMAL METHODS IN SYSTEM DESIGN, 2005, 26 (02) : 183 - 196
  • [2] FAULT-TOLERANCE IN AUTOMATED MANUFACTURING SYSTEMS
    MENDIGUTXIA, J
    ZUBIZARRETA, P
    GOENAGA, JM
    BERASATEGUI, L
    MANERO, L
    [J]. EXPERT SYSTEMS WITH APPLICATIONS, 1995, 8 (02) : 275 - 285
  • [3] MODELING OF HIERARCHICAL DISTRIBUTED SYSTEMS WITH FAULT-TOLERANCE
    SHIEH, YB
    GHOSAL, D
    CHINTAMANENI, PR
    TRIPATHI, SK
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1990, 16 (04) : 444 - 457
  • [4] A Fault-tolerance Framework for Distributed Component Systems
    Hamid, Brahim
    Radermacher, Ansgar
    Vanuxeem, Patrick
    Lanusse, Agnes
    Gerard, Sebastien
    [J]. PROCEEDINGS OF THE 34TH EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS, 2008, : 84 - 91
  • [5] A formal model for fault-tolerance in distributed systems
    Hamid, B
    Mosbah, M
    [J]. COMPUTER SAFETY, RELIABILITY, AND SECURITY, PROCEEDINGS, 2005, 3688 : 108 - 121
  • [6] Automated Fault-Tolerance Testing
    Nagarajan, Adithya
    Vaddadi, Ajay
    [J]. 2016 IEEE NINTH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW), 2016, : 275 - 276
  • [7] ON FAULT-TOLERANCE MECHANISMS IN DISTRIBUTED COMPUTER SYSTEMS.
    Eberbach, Eugeniusz
    Just, Jan R.
    [J]. 1600, (16): : 4 - 5
  • [8] ON FAULT-TOLERANCE MECHANISMS IN DISTRIBUTED COMPUTER-SYSTEMS
    EBERBACH, E
    JUST, JR
    [J]. MICROPROCESSING AND MICROPROGRAMMING, 1985, 16 (4-5): : 239 - 244
  • [9] AN EFFICIENT RECOVERY PROCEDURE FOR FAULT-TOLERANCE IN DISTRIBUTED SYSTEMS
    SALEH, K
    AHMAD, I
    ALSAQABI, K
    AGARWAL, A
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 1994, 25 (01) : 39 - 50
  • [10] Fault-tolerance in distributed real-time systems
    Jahanian, F
    [J]. THIRD INTERNATIONAL WORKSHOP ON REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS, PROCEEDINGS, 1996, : 178 - 178
12345