Twenty-Fifth International Symposium on Fault-Tolerant Computing. Digest of Papers最新文献_第4页

A fault-tolerant protocol for location directory maintenance in mobile networks 移动网络中定位目录维护的容错协议

Twenty-Fifth International Symposium on Fault-Tolerant Computing. Digest of Papers Pub Date : 1995-06-27 DOI: 10.1109/FTCS.1995.466986

S. Rangarajan, K. Ratnam, A. Dahbura

引用次数: 25

Measuring robustness of a fault tolerant aerospace system 航空航天容错系统鲁棒性的测量

Twenty-Fifth International Symposium on Fault-Tolerant Computing. Digest of Papers Pub Date : 1995-06-27 DOI: 10.1109/FTCS.1995.466945

Christopher P. Dingman, Joe Marshall, D. Siewiorek

引用次数: 27

Fault tolerance in safety critical automotive applications: cost of agreement as a limiting factor 安全关键汽车应用中的容错:作为限制因素的协议成本

Twenty-Fifth International Symposium on Fault-Tolerant Computing. Digest of Papers Pub Date : 1995-06-27 DOI: 10.1109/FTCS.1995.466996

S. Poledna

{"title":"Fault tolerance in safety critical automotive applications: cost of agreement as a limiting factor","authors":"S. Poledna","doi":"10.1109/FTCS.1995.466996","DOIUrl":"https://doi.org/10.1109/FTCS.1995.466996","url":null,"abstract":"The high availability and safety requirements for automotive electronics are currently almost exclusively addressed by application specific engineering solutions to fault tolerance rather than by systematic approaches. Currently, systematic approaches are ruled out because of cost. The reason for this is that a systematic approach to fault tolerance requires: replication of components; and communication between replicated components to achieve agreement despite nondeterminism. While replicated components become more and more available with the connection of different control units by means of a multiplex bus, it is shown that the cost of agreement on sensor inputs will become the limiting factor for systematic approaches to fault tolerance. For that reason a new agreement algorithm is introduced which considers the problem of agreement and sensor inputs in an integrated fashion. This algorithm takes advantage of the a priori knowledge on the maximum deviation of replicated sensor inputs. Optimality of this algorithm is shown with respect to the minimum number of bits for agreement. This algorithm allows broader application of systematic fault tolerance to automotive applications. The result of this work will be used for a prototype implementation of a safety critical automotive application.<<ETX>>","PeriodicalId":309075,"journal":{"name":"Twenty-Fifth International Symposium on Fault-Tolerant Computing. Digest of Papers","volume":"60 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-06-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123379617","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}

引用次数: 16

Combining software-implemented and simulation-based fault injection into a single fault injection method 将软件实现的故障注入和基于仿真的故障注入相结合，形成单一的故障注入方法

Twenty-Fifth International Symposium on Fault-Tolerant Computing. Digest of Papers Pub Date : 1995-06-27 DOI: 10.1109/FTCS.1995.466978

Jens Güthoff, V. Sieh

{"title":"Combining software-implemented and simulation-based fault injection into a single fault injection method","authors":"Jens Güthoff, V. Sieh","doi":"10.1109/FTCS.1995.466978","DOIUrl":"https://doi.org/10.1109/FTCS.1995.466978","url":null,"abstract":"Fault/error injection has emerged as a valuable means for evaluating the dependability of a system. In particular, software-based techniques (which can be described as software-implemented and simulation-based techniques) have become very popular because of the relative simplicity of injecting faults. After discussing the advantages and drawbacks of these techniques, two approaches are introduced which try to overcome crucial problems when using software-based fault injection techniques. The first one improves the accuracy of software-implemented fault injection experiments. The second one offers detailed insights into the system dynamics in the presence of faults. With this knowledge, the number of fault injections (a major concern in simulation-based fault injection) can be significantly reduced. These approaches can be joined together, offering accuracy of fault injection results as well as transparency of the system dynamics in the presence of faults. A case study is shown in which the de facto dependability properties of a standard component, a Motorola MC88100 RISC processor, are evaluated.<<ETX>>","PeriodicalId":309075,"journal":{"name":"Twenty-Fifth International Symposium on Fault-Tolerant Computing. Digest of Papers","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-06-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129603888","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}

引用次数: 75

Interactive consistency algorithms based on voting and error-correcting codes 基于投票和纠错码的交互式一致性算法

Twenty-Fifth International Symposium on Fault-Tolerant Computing. Digest of Papers Pub Date : 1995-06-27 DOI: 10.1109/FTCS.1995.466994

T. Krol

引用次数: 8

Error detection and handling in a superscalar, speculative out-of-order execution processor system 超标量推测乱序执行处理器系统中的错误检测和处理

Twenty-Fifth International Symposium on Fault-Tolerant Computing. Digest of Papers Pub Date : 1995-06-27 DOI: 10.1109/FTCS.1995.466952

N. Saxena, Chien Chen, R. Swami, H. Osone, Shalesh Thusoo, D. Lyon, D. Chang, Anand Dharmaraj, N. Patkar, Yizhi Lu, Ben-Hau Chia

{"title":"Error detection and handling in a superscalar, speculative out-of-order execution processor system","authors":"N. Saxena, Chien Chen, R. Swami, H. Osone, Shalesh Thusoo, D. Lyon, D. Chang, Anand Dharmaraj, N. Patkar, Yizhi Lu, Ben-Hau Chia","doi":"10.1109/FTCS.1995.466952","DOIUrl":"https://doi.org/10.1109/FTCS.1995.466952","url":null,"abstract":"The HaL SPARC64 Processor, the first 64-bit SPARC-V9 architecture implementation, uses several techniques to ensure a high degree of system reliability, error detection, and error recovery. The CPU of the multi-chip module processor has a superscalar, speculative issue unit, and an out-of-order execution datapath. These two processor components complicate the maintenance of precise state in the event of errors. By exploiting the SPARC-V9 architectural features, and the micro-architecture for speculative execution, SPARC64 maintains precise state in the event of exceptions and errors, logs and reports errors, and facilitates error detection during full system bringup. The paper presents details of error detection and handling in the CPU, the cache system, and the Memory Management Unit(MMU). The HaL R1 system also implements a fault-secure memory system design. The memory system corrects all single-bit errors, detects double bit errors, detects single address line failures, and detects all single dynamic RAM (DRAM) chip failures. Certain debug features have been added to the system that are useful during system bring-up.<<ETX>>","PeriodicalId":309075,"journal":{"name":"Twenty-Fifth International Symposium on Fault-Tolerant Computing. Digest of Papers","volume":"213 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-06-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130307156","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}

引用次数: 11

Towards totally self-checking delay-insensitive systems 迈向完全自检延迟不敏感系统

Twenty-Fifth International Symposium on Fault-Tolerant Computing. Digest of Papers Pub Date : 1995-06-27 DOI: 10.1109/FTCS.1995.466975

S. Piestrak, T. Nanya

引用次数: 43

Optimal recovery point insertion for high-level synthesis of recoverable microarchitectures 可恢复微架构高级综合的最佳恢复点插入

Twenty-Fifth International Symposium on Fault-Tolerant Computing. Digest of Papers Pub Date : 1995-06-27 DOI: 10.1109/FTCS.1995.466979

D. Blough, F. Kurdahi, S. Ohm

引用次数: 17

Fault-tolerance for off-the-shelf applications and hardware 现成应用程序和硬件的容错性

Twenty-Fifth International Symposium on Fault-Tolerant Computing. Digest of Papers Pub Date : 1995-06-27 DOI: 10.1109/FTCS.1995.466997

M. Russinovich, Z. Segall

引用次数: 28

A flexible ServerNet-based fault-tolerant architecture 灵活的基于servernet的容错架构

Twenty-Fifth International Symposium on Fault-Tolerant Computing. Digest of Papers Pub Date : 1995-06-27 DOI: 10.1109/FTCS.1995.466982

W. Baker, R. Horst, D. Sonnier, W. Watson

引用次数: 57