Proceedings of Annual Symposium on Fault Tolerant Computing最新文献_第2页

Efficient service of rediscovered software problems 有效地服务于重新发现的软件问题

Proceedings of Annual Symposium on Fault Tolerant Computing Pub Date : 1996-06-25 DOI: 10.1109/FTCS.1996.534619

Inhwan Lee, Gilbert Pitt, R. Iyer

引用次数: 5

Group, majority, and strict agreement in timed asynchronous distributed systems 定时异步分布式系统中的组、多数和严格协议

Proceedings of Annual Symposium on Fault Tolerant Computing Pub Date : 1996-06-25 DOI: 10.1109/FTCS.1996.534605

F. Cristian

引用次数: 36

A framework for conformance testing of systems communicating through rendezvous 通过交会进行通信的系统一致性测试的框架

Proceedings of Annual Symposium on Fault Tolerant Computing Pub Date : 1996-06-25 DOI: 10.1109/FTCS.1996.534610

Q. Tan, A. Petrenko, G. Bochmann

引用次数: 4

Reconfiguration and transient recovery in state machine architectures 状态机体系结构中的重新配置和瞬时恢复

Proceedings of Annual Symposium on Fault Tolerant Computing Pub Date : 1996-06-25 DOI: 10.1109/FTCS.1996.534589

J. Rushby

{"title":"Reconfiguration and transient recovery in state machine architectures","authors":"J. Rushby","doi":"10.1109/FTCS.1996.534589","DOIUrl":"https://doi.org/10.1109/FTCS.1996.534589","url":null,"abstract":"We consider an architecture for ultra-dependable operation based on synchronized state machine replication, extended to provide transient recovery and reconfiguration in the presence of arbitrary faults. The architecture allows processors suspected of being faulty to be placed on \"probation.\" Processors in this status cannot disrupt other processors, but those that are nonfaulty or recovering from transient faults are able to remain synchronized with the other processors and with each other, can participate in interactively consistent exchange of data (i.e., Byzantine agreement), and can restore damaged state data by loading majority-voted copies from other processors. The processors that are not on probation are able to coordinate membership of their group and to take processors on and off probation. These properties are achieved even if all the processors on probation and some of the others exhibit Byzantine faults, provided a majority of all processors are nonfaulty. Key elements of the architecture are modified treatments for the problems of interactive consistency, clock synchronization, and group membership. Classical algorithms for these problems that tolerate t Byzantine faults among n processors are extended to tolerate t+p faults among n+p processors, partitioned into n \"core members\" and p \"probationers,\" provided no more than t faults occur among the core members.","PeriodicalId":191163,"journal":{"name":"Proceedings of Annual Symposium on Fault Tolerant Computing","volume":"362 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-06-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129033060","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 15

A multiple bus broadcast protocol resilient to non-cooperative Byzantine faults 多总线广播协议弹性非合作拜占庭故障

Proceedings of Annual Symposium on Fault Tolerant Computing Pub Date : 1996-06-25 DOI: 10.1109/FTCS.1996.534603

K. Echtle, A. Masum

引用次数: 10

FT-NFS: an efficient fault-tolerant NFS server designed for off-the-shelf workstations FT-NFS:为现成工作站设计的高效容错NFS服务器

Proceedings of Annual Symposium on Fault Tolerant Computing Pub Date : 1996-06-25 DOI: 10.1109/FTCS.1996.534595

Nadine Peyrouze, Gilles Muller

引用次数: 13

Optimal two-level unequal error control codes for computer systems 计算机系统的最优两级不等错误控制码

Proceedings of Annual Symposium on Fault Tolerant Computing Pub Date : 1996-06-25 DOI: 10.1109/FTCS.1996.534606

T. Ritthongpitak, M. Kitakami, E. Fujiwara

{"title":"Optimal two-level unequal error control codes for computer systems","authors":"T. Ritthongpitak, M. Kitakami, E. Fujiwara","doi":"10.1109/FTCS.1996.534606","DOIUrl":"https://doi.org/10.1109/FTCS.1996.534606","url":null,"abstract":"Error control codes are now successfully applied to computer systems, especially to memory systems. This paper proposes an extended class of unequal error control codes which protects the fixed-byte strongly in computer words from multiple errors. The fixed-byte stores valuable information such as control and address information in computer/communication messages or pointer information in database words. Here, fixed-byte means the clustered information digits in the word whose position is determined in advance. As a simple and practical class of the codes, this paper proposes an extended type of two-level unequal error control codes which has two error control levels in the codeword; one with strong error control function for the fixed-byte, and the other with weak function for the other part of the codeword. The proposed optimal codes are single-bit error correction, double-bit error detection and fixed b-bit byte error correction code, called SEC-DED-FbEC code, and single-bit plus fixed b-bit byte error correction code, called (S+Fb)EC code, which correct single-bit errors and fixed-byte errors occurring simultaneously. For both types of codes, this paper clarifies necessary and sufficient conditions and bounds on code length, and demonstrates a code construction method of the optimal codes and an evaluation of these codes from the perspectives of error correction/detection capability and decoder hardware complexity.","PeriodicalId":191163,"journal":{"name":"Proceedings of Annual Symposium on Fault Tolerant Computing","volume":"51 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-06-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133978666","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 10

Consensus service: a modular approach for building agreement protocols in distributed systems 共识服务:用于在分布式系统中构建协议协议的模块化方法

Proceedings of Annual Symposium on Fault Tolerant Computing Pub Date : 1996-06-25 DOI: 10.1109/FTCS.1996.534604

R. Guerraoui, A. Schiper

引用次数: 70

Two error-detecting and correcting circuits for space applications 两个用于空间应用的错误检测和纠正电路

Proceedings of Annual Symposium on Fault Tolerant Computing Pub Date : 1996-06-25 DOI: 10.1109/FTCS.1996.534630

Rolf Johansson

引用次数: 5

Formal methods for the validation of fault tolerance in autonomous spacecraft 自主航天器容错性验证的形式化方法

Proceedings of Annual Symposium on Fault Tolerant Computing Pub Date : 1996-06-25 DOI: 10.1109/FTCS.1996.534620

S. Ayache, Eric Conquet, P. Humbert, C. Rodríguez, J. Sifakis, R. Gerlich

{"title":"Formal methods for the validation of fault tolerance in autonomous spacecraft","authors":"S. Ayache, Eric Conquet, P. Humbert, C. Rodríguez, J. Sifakis, R. Gerlich","doi":"10.1109/FTCS.1996.534620","DOIUrl":"https://doi.org/10.1109/FTCS.1996.534620","url":null,"abstract":"One of the major challenges to be faced in the design of new-generation spacecrafts comes with the requirement to increase the capacity of autonomous operation, in particular in presence of abnormal events. Formal methods are becoming more accepted in the space industry as a possible way to manage induced systems complexity. The Data Management System Design Validation (DDV) study has accomplished an experimental junction between the spacecraft autonomy trends and emerging formal methodologies. A methodological framework applicable to the early life cycle phases of fault-tolerant systems engineering has been defined. It focuses on the verification of fault tolerance properties using model-based formalisms. The Specification and Design Language (SDL) was selected for this study as the best suited language with respect to the application. This work has resulted in an executable specification establishing the tolerated behaviours of spacecraft computers in presence of faults. Fault tolerance properties have been checked, in spite of limitations inherent to model-based formalisms, by using an appropriate verification process.","PeriodicalId":191163,"journal":{"name":"Proceedings of Annual Symposium on Fault Tolerant Computing","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-06-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121972040","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 21