International Conference on Dependable Systems and Networks (DSN'06)最新文献

CADRE: Cycle-Accurate Deterministic Replay for Hardware Debugging 用于硬件调试的周期精确确定性重放

International Conference on Dependable Systems and Networks (DSN'06) Pub Date : 2006-06-25 DOI: 10.1109/DSN.2006.19

S. Sarangi, Brian Greskamp, J. Torrellas

引用次数: 64

Scaling Byzantine Fault-Tolerant Replication toWide Area Networks 扩展拜占庭容错复制到广域网

International Conference on Dependable Systems and Networks (DSN'06) Pub Date : 2006-06-25 DOI: 10.1109/DSN.2006.63

Y. Amir, C. Danilov, J. Kirsch, John Lane, D. Dolev, C. Nita-Rotaru, Josh Olsen, David Zage

引用次数: 98

Run-Time Reconfiguration for Emulating Transient Faults in VLSI Systems VLSI系统瞬态故障仿真的运行时重构

International Conference on Dependable Systems and Networks (DSN'06) Pub Date : 2006-06-25 DOI: 10.1109/DSN.2006.62

D. Andrés, Juan-Carlos Ruiz-Garcia, D. Gil, P. Gil

引用次数: 16

Assessment of the Effect of Memory Page Retirement on System RAS Against Hardware Faults 硬件故障时内存页退役对系统RAS影响的评估

International Conference on Dependable Systems and Networks (DSN'06) Pub Date : 2006-06-25 DOI: 10.1109/DSN.2006.13

D. Tang, P. Carruthers, Zuheir Totari, Michael W. Shapiro

{"title":"Assessment of the Effect of Memory Page Retirement on System RAS Against Hardware Faults","authors":"D. Tang, P. Carruthers, Zuheir Totari, Michael W. Shapiro","doi":"10.1109/DSN.2006.13","DOIUrl":"https://doi.org/10.1109/DSN.2006.13","url":null,"abstract":"The Solaris 10 operating system includes a number of new features for predictive self-healing. One such feature is the ability of the fault management software to diagnose memory errors and drive automatic memory page retirement (MPR), intended to reduce the negative impact of permanent memory faults that generate either correctable or uncorrectable errors on system reliability, availability, and serviceability (RAS). The MPR technique allows memory pages suffering from correctable errors and relocatable clean pages suffering from uncorrectable errors to be removed from use in the virtual memory system without interrupting user applications. It also allows relocatable dirty pages associated with uncorrectable errors to be isolated with limited impact on affected user processes, avoiding an outage for the entire system. This study applies analytical models, with parameters calibrated by field experience, to quantify the reduction that can be made by this operating system self-healing technique on the system interruptions, yearly downtime, and number of services introduced by hardware permanent faults, for typical low-end and mid-range server systems. The results show that significant improvements can be made on these three system RAS metrics by deploying the MPR capability","PeriodicalId":228470,"journal":{"name":"International Conference on Dependable Systems and Networks (DSN'06)","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-06-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115990236","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}

引用次数: 73

User Interface Defect Detection by Hesitation Analysis 基于犹豫分析的用户界面缺陷检测

International Conference on Dependable Systems and Networks (DSN'06) Pub Date : 2006-06-25 DOI: 10.1109/DSN.2006.71

R. Reeder, R. Maxion

引用次数: 22

Static Analysis to Enforce Safe Value Flow in Embedded Control Systems 在嵌入式控制系统中实施安全价值流的静态分析

International Conference on Dependable Systems and Networks (DSN'06) Pub Date : 2006-06-25 DOI: 10.1109/DSN.2006.66

S. Kowshik, Grigore Roşu, L. Sha

{"title":"Static Analysis to Enforce Safe Value Flow in Embedded Control Systems","authors":"S. Kowshik, Grigore Roşu, L. Sha","doi":"10.1109/DSN.2006.66","DOIUrl":"https://doi.org/10.1109/DSN.2006.66","url":null,"abstract":"Embedded control systems consist of multiple components with different criticality levels interacting with each other. For example, in a passenger jet, the navigation system interacts with the passenger entertainment system in providing passengers the distance-to-destination information. It is imperative that failures in the non-critical subsystem should not compromise critical functionality. This architectural principle for robustness can, however, be easily compromised by implementation-level errors. We describe SafeFlow, which statically analyzes core components in the system to ensure that they use non-core values communicated through shared memory only if they are run-time monitored for safety or recoverability. Using simple, local annotations and semantic restrictions on shared memory usage in the core component, SafeFlow precisely identifies accesses to unmonitored non-core values. With a few false positives, it identifies erroneous dependencies of critical data on non-core values that can arise due to programming errors, inadvertent accesses, or wrong assumptions regarding the absence of difficult-to-detect implementation errors such as data races and synchronization. We demonstrate the utility of SafeFlow by applying it to discover critical value flow dependencies in three prototype systems","PeriodicalId":228470,"journal":{"name":"International Conference on Dependable Systems and Networks (DSN'06)","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-06-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127386333","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}

引用次数: 4

VoIP Intrusion Detection Through Interacting Protocol State Machines 基于交互协议状态机的VoIP入侵检测

International Conference on Dependable Systems and Networks (DSN'06) Pub Date : 2006-06-25 DOI: 10.1109/DSN.2006.73

Hemant Sengar, D. Wijesekera, Haining Wang, S. Jajodia

引用次数: 128

Barbarians in the Gate: An Experimental Validation of NIC-based Distributed Firewall Performance and Flood Tolerance 门口的野蛮人:基于nic的分布式防火墙性能和洪水容忍度的实验验证

International Conference on Dependable Systems and Networks (DSN'06) Pub Date : 2006-06-25 DOI: 10.1109/DSN.2006.17

Michael Ihde, W. Sanders

{"title":"Barbarians in the Gate: An Experimental Validation of NIC-based Distributed Firewall Performance and Flood Tolerance","authors":"Michael Ihde, W. Sanders","doi":"10.1109/DSN.2006.17","DOIUrl":"https://doi.org/10.1109/DSN.2006.17","url":null,"abstract":"This paper presents our experience validating the flood tolerance of two network interface card (NIC)-based embedded firewall solutions, the embedded firewall (EFW) and the autonomic distributed firewall (ADF). Experiments were performed for both embedded firewall devices to determine their flood tolerance and performance characteristics. The results show that both are vulnerable to packet flood attacks on a 100 Mbps network. In certain configurations, we found that both embedded firewall devices can have a significant, negative impact on bandwidth and application performance. These results imply first that, firewall rule-sets should be optimized for performance-sensitive applications, and second, that proper consideration must be given to attack risks and mitigations before either the EFW or ADF is deployed. Finally, we believe that future embedded firewall implementations should be vetted in a manner similar to that presented in this paper. Our experience shows that when their limitations are properly considered, both the EFW and ADF can be safely deployed to enhance network security without undue risk","PeriodicalId":228470,"journal":{"name":"International Conference on Dependable Systems and Networks (DSN'06)","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-06-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115281974","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}

引用次数: 8

A Reconfigurable Generic Dual-Core Architecture 一种可重构的通用双核架构

International Conference on Dependable Systems and Networks (DSN'06) Pub Date : 2006-06-25 DOI: 10.1109/DSN.2006.8

T. Kottke, A. Steininger

引用次数: 15

Automatic Recovery Using Bounded Partially Observable Markov Decision Processes 基于有界部分可观察马尔可夫决策过程的自动恢复

International Conference on Dependable Systems and Networks (DSN'06) Pub Date : 2006-06-25 DOI: 10.1109/DSN.2006.16

Kaustubh R. Joshi, W. Sanders, M. Hiltunen, R. Schlichting

引用次数: 8