Proceedings of the 23rd IEEE International Symposium on Reliable Distributed Systems, 2004.最新文献_第2页

Token-based atomic broadcast using unreliable failure detectors 使用不可靠故障检测器的基于令牌的原子广播

Proceedings of the 23rd IEEE International Symposium on Reliable Distributed Systems, 2004. Pub Date : 2004-10-18 DOI: 10.1109/RELDIS.2004.1353003

Richard Ekwall, A. Schiper, P. Urbán

引用次数: 38

Hardware support for high performance, intrusion- and fault-tolerant systems 硬件支持高性能，入侵和容错系统

Proceedings of the 23rd IEEE International Symposium on Reliable Distributed Systems, 2004. Pub Date : 2004-10-18 DOI: 10.1109/RELDIS.2004.1353020

G. P. Saggese, C. Basile, L. Romano, Z. Kalbarczyk, R. Iyer

{"title":"Hardware support for high performance, intrusion- and fault-tolerant systems","authors":"G. P. Saggese, C. Basile, L. Romano, Z. Kalbarczyk, R. Iyer","doi":"10.1109/RELDIS.2004.1353020","DOIUrl":"https://doi.org/10.1109/RELDIS.2004.1353020","url":null,"abstract":"The paper proposes a combined hardware/software approach for realizing high performance, intrusion- and fault-tolerant services. The approach is demonstrated for (yet not limited to) an attribute authority server, which provides a compelling application due to its stringent performance and security requirements. The key element of the proposed architecture is an FPGA-based, parallel crypto-engine providing (1) optimally dimensioned RSA Processors for efficient execution of computationally intensive RSA signatures and (2) a KeyStore facility used as tamper-resistant storage for preserving secret keys. To achieve linear speed-up (with the number of RSA Processors) and deadlock-free execution in spite of resource-sharing and scheduling/synchronization issues, we have resorted to a number of performance enhancing techniques (e.g., use of different clock domains, optimal balance between internal and external parallelism) and have formally modeled and mechanically proved our crypto-engine with the Spin model checker. At the software level, the architecture combines active replication and threshold cryptography, but in contrast with previous work, the code of our replicas is multithreaded so it can efficiently use an attached parallel crypto-engine to compute an attribute authority partial signature (as required by threshold cryptography). Resulting replicated systems that exhibit nondeterministic behavior, which cannot be handled with conventional replication approaches. Our architecture is based on a preemptive deterministic scheduling algorithm to govern scheduling of replica threads and guarantee strong replica consistency.","PeriodicalId":142327,"journal":{"name":"Proceedings of the 23rd IEEE International Symposium on Reliable Distributed Systems, 2004.","volume":"201 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-10-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115711519","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}

引用次数: 7

Run-time monitoring for dependable systems: an approach and a case study 可靠系统的运行时监控:一种方法和案例研究

Proceedings of the 23rd IEEE International Symposium on Reliable Distributed Systems, 2004. Pub Date : 2004-10-18 DOI: 10.1109/RELDIS.2004.1353002

Sérgio Ricardo Rota, J. R. Almeida

引用次数: 14

Dependable pervasive systems 可靠的普及系统

Proceedings of the 23rd IEEE International Symposium on Reliable Distributed Systems, 2004. Pub Date : 2004-10-18 DOI: 10.1109/RELDIS.2004.1352998

B. Randell

{"title":"Dependable pervasive systems","authors":"B. Randell","doi":"10.1109/RELDIS.2004.1352998","DOIUrl":"https://doi.org/10.1109/RELDIS.2004.1352998","url":null,"abstract":"Summary form only given. Present trends indicate that huge networked computer systems are likely to become pervasive, as information technology is embedded into virtually everything, and to be required to function essentially continuously. I believe that even today's (underused) \"best practice\" regarding the achievement of high dependability - reliability, availability, security, safety, etc. - from large networked computer systems will not suffice for future pervasive systems. I will give my perspective on the current state of research into the four basic dependability technologies: (i) fault prevention (to avoid the occurrence or introduction of faults), (ii) fault removal (through validation and verification), (iii) fault tolerance (so that failures do not necessarily occur even if faults remain), and (iv) fault forecasting (the means of assessing progress towards achieving adequate dependability). I will then argue that much further research is required on all four dependability technologies in order to cope with pervasive systems, identify some priorities, and discuss how this research could best be aimed at making system dependability into a \"commodity\" that industry can value and from which it can profit.","PeriodicalId":142327,"journal":{"name":"Proceedings of the 23rd IEEE International Symposium on Reliable Distributed Systems, 2004.","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-10-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127188379","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}

引用次数: 22

Skewed checkpointing for tolerating multi-node failures 允许多节点故障的倾斜检查点

Proceedings of the 23rd IEEE International Symposium on Reliable Distributed Systems, 2004. Pub Date : 2004-10-18 DOI: 10.1109/RELDIS.2004.1353012

Hiroshi Nakamura, T. Hayashida, Masaaki Kondo, Yuya Tajima, Masashi Imai, T. Nanya

{"title":"Skewed checkpointing for tolerating multi-node failures","authors":"Hiroshi Nakamura, T. Hayashida, Masaaki Kondo, Yuya Tajima, Masashi Imai, T. Nanya","doi":"10.1109/RELDIS.2004.1353012","DOIUrl":"https://doi.org/10.1109/RELDIS.2004.1353012","url":null,"abstract":"Large cluster systems have become widely utilized because they achieve a good performance/cost ratio especially in high performance computing. Although these cluster systems are distributed memory systems, coordinated checkpointing is a promising way to maintain high availability because the computing nodes are tightly connected to one another. However, as the number of computing nodes gets larger, the probability of multi-node failures increases. To tolerate multi-node failures, a large degree of redundancy is required in checkpointing, but this leads to performance degradation. Thus, we propose a new coordinated checkpointing called skewed checkpointing. In this method, checkpointing is skewed every time. Although each checkpointing itself contains only one degree of redundancy, this skewed checkpointing ensures /spl lfloor/log/sub 2/N/spl rfloor/ degrees of redundancy when the number of nodes is N. In this paper, we present the proposed method and an analysis of the performance overhead. Then, this method is applied to a cluster system and compared with other conventional checkpointing schemes. The results reveal the superiority of our method, especially for large cluster systems.","PeriodicalId":142327,"journal":{"name":"Proceedings of the 23rd IEEE International Symposium on Reliable Distributed Systems, 2004.","volume":"161 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-10-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134503667","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}

引用次数: 5

The design and evaluation of a defense system for Internet worms 网络蠕虫防御系统的设计与评价

Proceedings of the 23rd IEEE International Symposium on Reliable Distributed Systems, 2004. Pub Date : 2004-10-18 DOI: 10.1109/RELDIS.2004.1353017

R. Scandariato, J. Knight

引用次数: 8

An integrated architecture for dependable embedded systems 可靠嵌入式系统的集成体系结构

Proceedings of the 23rd IEEE International Symposium on Reliable Distributed Systems, 2004. Pub Date : 2004-10-18 DOI: 10.1109/RELDIS.2004.1353016

H. Kopetz

{"title":"An integrated architecture for dependable embedded systems","authors":"H. Kopetz","doi":"10.1109/RELDIS.2004.1353016","DOIUrl":"https://doi.org/10.1109/RELDIS.2004.1353016","url":null,"abstract":"Summary form only given. A federated architecture is characterized in that every major function of an embedded system is allocated to a dedicated hardware unit. In a distributed control system this implies that adding a new function is tantamount to adding a new node. This has led to a order to achieve some functional coordination. Adding fault-tolerance to a federated architecture, e.g., by the provision of triple modular redundancy (TMR) leads to a further significant increase in the number of nodes and networks. The major advantages of a dedicated architecture are the physical encapsulation of the nearly autonomous subsystems, their outstanding fault containment and their clear-cut complexity management (independent development) in case the subsystems are nearly autonomous. An integrated distributed architecture for mixed-criticality applications must be based on a core design that supports the safety requirements of the highest considered criticality class. This is of particular importance in safety-critical applications, where the physical structure of the integrated system is determined to a significant extent by the independence requirement of fault-containment regions. The central part of an integrated distributed architecture for time-critical systems must provide the following core services: deterministic and timely transport of messages; fault tolerant clock synchronization; strong fault isolation with respect to arbitrary node failures; and consistent diagnosis of failing nodes. Any architecture that provides these core services can be used as a base architecture for an integrated distributed embedded system architecture. An example of such an integrated architecture is the time-triggered architecture (TTA). In this contribution we describe the structure and the services of the TTA that has been developed during the last twenty years and is deployed in a number of safety-critical applications in the transport sector.","PeriodicalId":142327,"journal":{"name":"Proceedings of the 23rd IEEE International Symposium on Reliable Distributed Systems, 2004.","volume":"96 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-10-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116579246","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

An efficient checkpointing protocol for the minimal characterization of operational rollback-dependency trackability 一个有效的检查点协议，用于最小化操作回滚依赖可跟踪性的特征

Proceedings of the 23rd IEEE International Symposium on Reliable Distributed Systems, 2004. Pub Date : 2004-10-18 DOI: 10.1109/RELDIS.2004.1353013

Islene C. Garcia, L. E. Buzato

引用次数: 15

Using program analysis to identify and compensate for nondeterminism in fault-tolerant, replicated systems 使用程序分析来识别和补偿容错复制系统中的不确定性

Proceedings of the 23rd IEEE International Symposium on Reliable Distributed Systems, 2004. Pub Date : 2004-10-18 DOI: 10.1109/RELDIS.2004.1353026

Joseph G. Slember, P. Narasimhan

引用次数: 11

Low latency probabilistic broadcast in wide area networks 广域网中的低延迟概率广播

Proceedings of the 23rd IEEE International Symposium on Reliable Distributed Systems, 2004. Pub Date : 2004-10-18 DOI: 10.1109/RELDIS.2004.1353030

J. Pereira, L. Rodrigues, A. Pinto, R. Oliveira

引用次数: 18