Message from the General and Program Committee Chairs

PDF

Introduction

Conference organizers (PDF)

pp. xi-xii

PDF

Algorithms, Analysis, and Theory

Generic Fault-Tolerance Mechanisms Using the Concept of Logical Execution Time (Abstract)

Christian Buckl

Matthias Regensburger

Alois Knoll

Gerhard Schrott

pp. 3-10

PDF

Error Recovery Method for Multiple-Dictionary Compression Method (Abstract)

Masato Kitakami

Yuta Noguchi

pp. 11-18

PDF

Fault Detection System Activated by Failure Information (Abstract)

pp. 19-26

PDF

Comparative Analysis of QoS and Memory Usage of Adaptive Failure Detectors (Abstract)

Naixue Xiong

Y. Yang

Xavier Defago

pp. 27-34

PDF

Quantifying Software Maintainability Based on a Fault-Detection/Correction Model (Abstract)

pp. 35-42

PDF

PISRAT: Proportional Intensity-Based Software Reliability Assessment Tool (Abstract)

pp. 43-52

PDF

An Automatic Real-Time Analysis of the Time to Reach Consensus (Abstract)

Tatsuhiro Tsuchiya

Andre Schiper

pp. 53-60

PDF

Combinatorial Constructions of Multi-erasure-Correcting Codes with Independent Parity Symbols for Storage Systems (Abstract)

pp. 61-68

PDF

Failure Detectors and Extended Paxos for k-Set Agreement (Abstract)

Yu Chen

pp. 69-76

PDF

An Accurate Model of Software Reliability (Abstract)

Shiyi Xu

pp. 77-84

PDF

Regression Testing Based on UML Design Models (Abstract)

Atifah Ali

Aamer Nadeem

Muhammad Zohaib Z. Iqbal

Mohammad Usman

pp. 85-88

PDF

Model Based Development of Safety-Critical Systems Using Template Based Code Generation (Abstract)

Matthias Regensburger

pp. 89-92

PDF

Predicting Defective Software Components from Code Complexity Measures (Abstract)

Hongyu Zhang

Xiuzhen Zhang

Ming Gu

pp. 93-96

PDF

Neural-Network Based Test Cases Generation Using Genetic Algorithm (Abstract)

Ruilian Zhao

Shanshan Lv

pp. 97-100

PDF

A Measurement Tool of End-User Computing Capability in Competency Perspective (Abstract)

Chui Young Yoon

Keon Myung Lee

pp. 101-105

PDF

Dependable Networks

Fault Tolerance for Super-Peers of P2P Systems (Abstract)

pp. 107-114

PDF

A Path Diversity Metric for End-to-End Network (Abstract)

Song Huang

Yong Xu

Ling Zhang

pp. 115-122

PDF

The Eventual Leadership in Dynamic Mobile Networking Environments (Abstract)

pp. 123-130

PDF

Fault-Tolerant Topology Control with Adjustable Transmission Ranges in Wireless Sensor Networks (Abstract)

Chiu-Wen Chen

Kuo-Feng Ssu

Hewijin Christine Jiau

pp. 131-138

PDF

Dependability Evaluation of Cooperative Backup Strategies for Mobile Devices (Abstract)

Ludovic Courtes

Ossama Hamouda

Mohamed Kaaniche

Marc-Olivier Killijian

David Powell

pp. 139-146

PDF

Implementation of Highly Available OSPF Router on ATCA (Abstract)

pp. 147-154

PDF

Overlay Network Topology Reconfiguration in Byzantine Settings (Abstract)

Rafael R. Obelheiro

Joni da Silva Fraga

pp. 155-162

PDF

A Randomized Distributed Algorithm for Peer-to-Peer Data Replication in Wireless Ad Hoc Networks (Abstract)

pp. 163-170

PDF

Fault Diagnosis for Time Synchronization in Sensor Networks (Abstract)

pp. 171-178

PDF

Applied Self-Healing: Self-Aware Service Request Optimization for Gateway Stability in Ubiquitous Zone-Based Networks (Abstract)

Junaid Ahsenali Chaudhry

pp. 179-186

PDF

A Fast Failure Detection and Failover Scheme for SIP High Availability Networks (Abstract)

pp. 187-190

PDF

Assessment of Message Missing Failures in FlexRay-Based Networks (Abstract)

Vahid Lari

Mehdi Dehbashi

Seyed Ghassem Miremadi

Navid Farazmand

pp. 191-194

PDF

A Hybrid Redundancy Approach for Data Availability in Structured P2P Network Systems (Abstract)

pp. 195-199

PDF

Dependable Systems and Hardware

A New Concurrent Detection of Control Flow Errors Based on DCT Technique (Abstract)

Yi Pan

pp. 201-209

PDF

Soft Error Rate Estimation in Deep Sub-micron CMOS (Abstract)

Lianlian Zeng

Paul Beckett

pp. 210-216

PDF

Energy Saving Based on CPU Voltage Scaling and Hardware Software Partitioning (Abstract)

pp. 217-223

PDF

Efficient BISR Techniques for Embedded Memories Considering Cluster Faults (Abstract)

pp. 224-231

PDF

A Fail-Silent Reconfigurable Superscalar Processor (Abstract)

Thomas Kottke

Andreas Steininger

pp. 232-239

PDF

Improving Dependability Using Shared Supplementary Memory and Opportunistic Micro Rejuvenation in Multi-tasking Embedded Systems (Abstract)

Vinaitheerthan Sundaram

pp. 240-247

PDF

An On-Line Control Flow Checking Method for VLIW Processor (Abstract)

Xiao Hu

pp. 248-255

PDF

Towards Byzantine Fault Tolerance in Many-Core Computing Platforms (Abstract)

Casey M. Jeffery

Renato J. O. Figueiredo

pp. 256-259

PDF

Heterogeneous Functional Units for High Speed Fault-Tolerant Execution Stage (Abstract)

Yousuke Nakamura

Kei Hiraki

pp. 260-263

PDF

A Low-Power and SEU-Tolerant Switch Architecture for Network on Chips (Abstract)

pp. 264-267

PDF

Power-Performance Trade-Off of a Dependable Multicore Processor (Abstract)

Toshinori Sato

Toshimasa Funaki

pp. 268-273

PDF

Distributed Systems

Examining Web-Based Spyware Invasion with Stateful Behavior Monitoring (Abstract)

Ming-Wei Wu

Sy-Yen Kuo

pp. 275-281

PDF

A Process Group Membership Service for Active Safety Systems Using TT/ET Communication Scheduling (Abstract)

Carl Bergenhem

Johan Karlsson

pp. 282-289

PDF

Boosting Database Replication Scalability through Partial Replication and 1-Copy-Snapshot-Isolation (Abstract)

pp. 290-297

PDF

PAI: A Lightweight Mechanism for Single-Node Memory Recovery in DSM Servers (Abstract)

pp. 298-305

PDF

Self-Adjusting Indexing Techniques for Communication-Induced Checkpointing Protocols (Abstract)

pp. 306-313

PDF

RTG-L: Dependably Scheduling Real-Time Distributable Threads in Large-Scale, Unreliable Networks (Abstract)

Kai Han

Binoy Ravindran

E. D. Jensen

pp. 314-321

PDF

Benchmarking the Robustness of Web Services (Abstract)

pp. 322-329

PDF

The Cost of Storing Checkpoints to Multiple Volatile Storage Locations Using at-least-k Semantics (Abstract)

Andrew Maloney

Andrzej Goscinski

pp. 330-333

PDF

A Proposal of New Dependable Database Middleware with Consistency and Concurrency Control (Abstract)

Takeshi Mishima

Hiroshi Nakamura

pp. 334-337

PDF

Improving Email Reliability by Sender Retransmission (Abstract)

Tim Moors

Patrick Chu

pp. 338-341

PDF

Implementation of a Flexible Membership Protocol on a Real-Time Ethernet Prototype (Abstract)

pp. 342-347

PDF

Security Issues

MAPMon: A Host-Based Malware Detection Tool (Abstract)

Shih-Yao Dai

Sy-Yen Kuo

pp. 349-356

PDF

Intrusion Tolerance in Wireless Environments: An Experimental Evaluation (Abstract)

pp. 357-364

PDF

Testing and Comparing Web Vulnerability Scanning Tools for SQL Injection and XSS Attacks (Abstract)

pp. 365-372

PDF

Resilient Intrusion Tolerance through Proactive and Reactive Recovery (Abstract)

Paulo Sousa

Alysson Neves Bessani

pp. 373-380

PDF

Information Security Fortification by Ontological Mapping of the ISO/IEC 27001 Standard (Abstract)

pp. 381-388

PDF

A Fault-Tolerant Bloom Filter for Deep Packet Inspection (Abstract)

Myeong-Hyeon Lee

Yoon-Hwa Choi

pp. 389-396

PDF

Applying a Threshold Scheme to the Pseudonymization of Health Data (Abstract)

pp. 397-400

PDF

On the Effects of Finite Memory on Intrusion-Tolerant Systems (Abstract)

Giuliana Santos Veronese

pp. 401-404

PDF

An Efficient Client-to-Client Password-Authenticated Key Exchange Resilient to Server Compromise (Abstract)

Jie Liu

pp. 405-408

PDF

Author Index

Author Index (PDF)

pp. 409-410