CSDL - Proceedings P

Title Page i (PDF)

pp. i

Title Page iii (PDF)

pp. iii

pp. iv

Table of Contents (PDF)

pp. v-ix

Message from the General Chair (PDF)

pp. x

Message from the Program Co-chairs (PDF)

pp. xi

Organizing Committee (PDF)

pp. xii-xiv

Program Committee (PDF)

pp. xv-xvi

Reviewers (PDF)

pp. xvii

Reliability Analysis of Single Bus Communication with Real-Time Requirements (Abstract)

Maurice Sebastian

Rolf Ernst

pp. 3-10

PDF

A Test Vector Compression/Decompression Scheme Based on Logic Operation between Adjacent Bits (LOBAB) Coding (Abstract)

pp. 11-16

PDF

Variation-Aware Scheduling for Chip Multiprocessors with Thread Level Redundancy (Abstract)

pp. 17-22

PDF

Quantitative Analysis of Long-Latency Failures in System Software (Abstract)

Keun Soo Yim

Zbigniew T. Kalbarczyk

Ravishankar K. Iyer

pp. 23-30

PDF

A Synthesis Software Reliability Model (Abstract)

Xiaoying Hu

Shiyi Xu

pp. 31-36

PDF

Using the NuSMV Model Checker for Test Generation from Statecharts (Abstract)

pp. 37-42

PDF

A Novel Generation Algorithm of Pair-Wise Testing Cases (Abstract)

Jianhua Gao

Yuefeng Hu

pp. 43-48

PDF

Impact of Hazards on Pattern Selection for Small Delay Defects (Abstract)

pp. 49-54

PDF

Fault Injection Scheme for Embedded Systems at Machine Code Level and Verification (Abstract)

Ang Jin

Jian-hui Jiang

pp. 55-62

PDF

Small Delay Fault Simulation for Sequential Circuits (Abstract)

Li Liu

Jishun Kuang

Huawei Li

pp. 63-68

PDF

Built-In Self-Repair Techniques for Heterogeneous Memory Cores (Abstract)

pp. 69-74

PDF

Flip-Flop Selection for Transition Test Pattern Reduction Using Partial Enhanced Scan (Abstract)

pp. 75-80

PDF

A GA-Based Method for High-Quality X-Filling to Reduce Launch Switching Activity in At-speed Scan Testing (Abstract)

pp. 81-86

PDF

Reliability & Performance Modeling to Speed-Up the NoC Design (Abstract)

Ahmad Patooghy

Seyed Ghassem Miremadi

pp. 208-213

PDF

On the Computational Complexity of Parameter Estimation in Adaptive Testing Strategies (Abstract)

Feng Ye

Hai Hu

pp. 87-92

PDF

A New Approach to Automated Redundancy Reduction for Test Sequences (Abstract)

Huaikou Miao

Pan Liu

Jia Mei

Hongwei Zeng

pp. 93-98

PDF

Prioritized Test Generation Strategy for Pair-Wise Testing (Abstract)

Jianhua Gao

Jie Zhu

pp. 99-102

PDF

Test Case Reuse Based on Ontology (Abstract)

pp. 103-108

PDF

Evaluating the Use of Reference Run Models in Fault Injection Analysis (Abstract)

Matthew Leeke

Arshad Jhumka

pp. 121-124

PDF

Quantitative Intrusion Intensity Assessment Using Important Feature Selection and Proximity Metrics (Abstract)

pp. 127-134

PDF

Low-Overhead Architecture for Security Tag (Abstract)

pp. 135-142

PDF

A Trust-Based Benchmark for DBMS Configurations (Abstract)

Afonso Araújo Neto

Marco Vieira

pp. 143-150

PDF

Performance and Reliability of a Revocation Method Utilizing Encrypted Backup Data (Abstract)

Kazuki Takayama

Haruo Yokota

pp. 151-158

PDF

Parallel Training Strategy Based on Support Vector Regression Machine (Abstract)

Yong-mei Lei

Yu Yan

Shao-jun Chen

pp. 159-164

PDF

A Lightweight Network Intrusion Detection Model Based on Feature Selection (Abstract)

Dai Hong

Li Haibo

pp. 165-168

PDF

String-Wise Information Flow Tracking against Script Injection Attacks (Abstract)

pp. 169-176

PDF

Representing X-Code Using Latin Squares (Abstract)

pp. 177-182

PDF

Entropy Based Method for Network Anomaly Detection (Abstract)

pp. 189-191

PDF

Chip-Level Redundancy in Distributed Shared-Memory Multiprocessors (Abstract)

pp. 195-201

PDF

A Reliable Non-volatile Memory System: Exploiting File-System Characteristics (Abstract)

pp. 202-207

PDF

Making Overlay Networks more Robust to Massive Failures (Abstract)

Hakem Beitollahi

Geert Deconinck

pp. 214-221

PDF

Improving Data Transmission for Collaborative Work Using Forwarding Nodes in Mobile Ad Hoc Environments (Abstract)

pp. 222-227

PDF

An Attack Injection Approach to Evaluate the Robustness of Ad Hoc Networks (Abstract)

pp. 228-233

PDF

Trustworthy Evaluation of a Safe Driver Machine Interface through Software-Implemented Fault Injection (Abstract)

pp. 234-241

PDF

A Regular Expression Matching Algorithm Using Transition Merging (Abstract)

pp. 242-246

PDF

A Novel Process Migration Method for MPI Applications (Abstract)

pp. 247-251

PDF

Dependability Evaluation for Internet-Based Remote Systems (Abstract)

pp. 256-259

PDF

Holography: A Hardware Virtualization Tool for Malware Analysis (Abstract)

pp. 263-268

PDF

Delayed Processing Technique in Critical Sections for Real-Time Linux (Abstract)

Maobing Dai

Yutaka Ishikawa

pp. 269-275

PDF

A New Multiple-Round DOR Routing for 2D Network-on-Chip Meshes (Abstract)

pp. 276-281

PDF

Dependability Benchmarking Using Software Faults: How to Create Practical and Representative Faultloads (Abstract)

pp. 289-294

PDF

Zapmem: A Framework for Testing the Effect of Memory Corruption Errors on Operating System Kernel Reliability (Abstract)

Roberto Jung Drebes

Takashi Nanya

pp. 295-300

PDF

Comparing the Effectiveness of Penetration Testing and Static Code Analysis on the Detection of SQL Injection Vulnerabilities in Web Services (Abstract)

Nuno Antunes

Marco Vieira

pp. 301-306

PDF

D2STM: Dependable Distributed Software Transactional Memory (Abstract)

pp. 307-313

PDF

Quantitative RAS Comparison of Sun CMT/Solaris and X86/Linux Servers (Abstract)

Dong Tang

William Bryson

pp. 314-318

PDF

Efficient Fault-Tolerant Backbone Construction in Tmote Sky Sensor Networks (Abstract)

Yu-Yuan Lin

Kuo-Feng Ssu

pp. 319-324

PDF

Quiescent Leader Election in Crash-Recovery Systems (Abstract)

Mikel Larrea

Cristian Martín

pp. 325-330

PDF

Fault-Tolerant Event Detection Using Two Thresholds in Wireless Sensor Networks (Abstract)

Sung-Jib Yim

Yoon-Hwa Choi

pp. 331-335

PDF

Quantifying Criticality of Dependability-Related IT Organization Processes in CobiT (Abstract)

pp. 336-341

PDF

Online Computing and Predicting Architectural Vulnerability Factor of Microprocessor Structures (Abstract)

Songjun Pan

Yu Hu

Xiaowei Li

pp. 345-350

PDF

Enhancing the Success Rate of Primary Version While Guaranteeing Fault-Tolerant Capability for Real-Time Systems (Abstract)

Wanfu Ding

Ruifeng Guo

pp. 351-356

PDF

An Early-Stopping Protocol for Computing Aggregate Functions in Sensor Networks (Abstract)

Antonio Fernández Anta

Miguel A. Mosteiro

Christopher Thraves

pp. 357-364

PDF

Availability Modeling and Analysis of a Virtualized System (Abstract)

pp. 365-371

PDF

The Instruction Scheduling for Soft Errors Based on Data Flow Analysis (Abstract)

pp. 372-378

PDF

Evaluating the Impact of Irrecoverable Read Errors on Disk Array Reliability (Abstract)

pp. 379-384

PDF

A Measurement System to Improve E-Business Capability of Human Resources in an Organizational Computing Environment (Abstract)

pp. 385-388

PDF

Author Index (PDF)

pp. 389-391

Publisher's Information (PDF)

pp. 392