Proceedings. International Conference on Dependable Systems and Networks最新文献_第7页

32-bit cyclic redundancy codes for Internet applications 因特网应用的32位循环冗余码

Proceedings. International Conference on Dependable Systems and Networks Pub Date : 2002-06-23 DOI: 10.1109/DSN.2002.1028931

P. Koopman

引用次数: 185

A portable and fault-tolerant microprocessor based on the SPARC v8 architecture 一种基于SPARC v8架构的便携式容错微处理器

Proceedings. International Conference on Dependable Systems and Networks Pub Date : 2002-06-23 DOI: 10.1109/DSN.2002.1028926

J. Gaisler

引用次数: 202

DrawNet++: a flexible framework for building dependability models drawnet++:一个灵活的框架，用于构建可靠性模型

Proceedings. International Conference on Dependable Systems and Networks Pub Date : 2002-06-23 DOI: 10.1109/DSN.2002.1028961

G. Franceschinis, M. Gribaudo, M. Iacono, V. Vittorini, Claudio Bertoncello

引用次数: 14

Model checking performability properties 模型检查可执行性属性

Proceedings. International Conference on Dependable Systems and Networks Pub Date : 2002-06-23 DOI: 10.1109/DSN.2002.1028891

B. Haverkort, L. Cloth, H. Hermanns, J. Katoen, C. Baier

引用次数: 94

Ditto processor 同上处理器

Proceedings. International Conference on Dependable Systems and Networks Pub Date : 2002-06-23 DOI: 10.1109/DSN.2002.1028947

S. Lai, Shih-Lien Lu, J. Peir

{"title":"Ditto processor","authors":"S. Lai, Shih-Lien Lu, J. Peir","doi":"10.1109/DSN.2002.1028947","DOIUrl":"https://doi.org/10.1109/DSN.2002.1028947","url":null,"abstract":"Concentration of design effort for current single-chip commercial-off-the-shelf (COTS) microprocessors has been directed towards performance. Reliability has not been the primary focus. As supply voltage scales to accommodate technology scaling and to lower power consumption, transient errors are more likely to be introduced. The basic idea behind any error tolerance scheme involves some type of redundancy. Redundancy techniques can be categorized in three general categories: (1) hardware redundancy, (2) information redundancy, and (3) time redundancy. Existing time redundant techniques for improving reliability of a superscalar processor utilize the otherwise unused hardware resources as much as possible to hide the overhead of program re-execution and verification. However, our study reveals that re-executing of long latency operations contributes to performance loss. We suggest a method to handle short and long latency instructions in slightly different ways to reduce the performance degradation. Our goal is to minimize the hardware overhead and performance degradation while maximizing the fault detection coverage. Experimental studies through microarchitecture simulation are used to compare performance lost due to the proposed scheme with non-fault tolerant design and different existing time redundant fault tolerant schemes. Fourteen integer and floating-point benchmarks are simulated with 1.8/spl sim/13.3% performance loss when compared with non-fault-tolerant superscalar processor.","PeriodicalId":93807,"journal":{"name":"Proceedings. International Conference on Dependable Systems and Networks","volume":"33 2 1","pages":"525-534"},"PeriodicalIF":0.0,"publicationDate":"2002-06-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"83650597","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}

引用次数: 9

Experimental evaluation of a COTS system for space applications 空间应用COTS系统的实验评价

Proceedings. International Conference on Dependable Systems and Networks Pub Date : 2002-06-23 DOI: 10.1109/DSN.2002.1028916

H. Madeira, R. Some, F. Moreira, D. Costa, D. Rennels

引用次数: 77

On the use of disaster prediction for failure-tolerance in feedback control systems 灾害预测在反馈控制系统容错中的应用

Proceedings. International Conference on Dependable Systems and Networks Pub Date : 2002-06-23 DOI: 10.1109/DSN.2002.1028893

J. Cunha, M. Z. Rela

{"title":"On the use of disaster prediction for failure-tolerance in feedback control systems","authors":"J. Cunha, M. Z. Rela","doi":"10.1109/DSN.2002.1028893","DOIUrl":"https://doi.org/10.1109/DSN.2002.1028893","url":null,"abstract":"Feedback control algorithms are inherently designed to compensate for external disturbances that the controlled system may suffer. This resilience is also extensible to late or wrong control actions produced by a failed controller computer, providing a degree of fault tolerance without the use of any particular mechanism. However, some controller failures, due to their duration or value, may indeed collapse the system, and thus other recovery measures must be taken. This paper proposes the inclusion of an Oracle that calculates, in a timely manner, the controlled system behavior under a failed controller, and triggers recovery when the control algorithm is predictably no more able to compensate for a particular controller failure. The systems so built follow the Fail-Bounded model. The main contribution of this paper is to show how this model can be implemented in a practical way for the very important class of applications based on feedback control, thus turning that model into a technique that can be used effectively to build production systems. The method was validated experimentally through fault injection on the controller computer of an inverted pendulum, one of the most time-demanding control system benchmarks.","PeriodicalId":93807,"journal":{"name":"Proceedings. International Conference on Dependable Systems and Networks","volume":"85 1","pages":"123-132"},"PeriodicalIF":0.0,"publicationDate":"2002-06-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"76172983","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}

引用次数: 12

Reducing the cost of group communication with semantic view synchrony 通过语义视图同步降低组通信成本

Proceedings. International Conference on Dependable Systems and Networks Pub Date : 2002-06-23 DOI: 10.1109/DSN.2002.1028913

J. Pereira, L. Rodrigues, R. Oliveira

引用次数: 16

A realistic look at failure detectors 对故障检测器的现实观察

Proceedings. International Conference on Dependable Systems and Networks Pub Date : 2002-06-23 DOI: 10.1109/DSN.2002.1028919

C. Delporte-Gallet, H. Fauconnier, R. Guerraoui

引用次数: 66

Automatic generation of availability models in RAScad RAScad中可用性模型的自动生成

Proceedings. International Conference on Dependable Systems and Networks Pub Date : 2002-06-23 DOI: 10.1109/DSN.2002.1028935

D. Tang, Ji Zhu, Roy Andrada

引用次数: 15