The Community for Technology Leaders
European Dependable Computing Conference (2006)
Coimbra, Portugal
Oct. 18, 2006 to Oct. 20, 2006
ISBN: 0-7695-2648-9
TABLE OF CONTENTS

Foreword (PDF)

pp. viii
Introduction

Foreword (PDF)

pp. viii

Preface (PDF)

pp. ix-x

External Referees (PDF)

pp. xiii
Keynote Address
Session 1: Robustness and Fault Tolerance

Construction of a Highly Dependable Operating System (Abstract)

Ben Gras , Vrije Universiteit, The Netherlands
Herbert Bos , Vrije Universiteit, The Netherlands
Andrew S. Tanenbaum , Vrije Universiteit, The Netherlands
Jorrit N. Herder , Vrije Universiteit, The Netherlands
Philip Homburg , Vrije Universiteit, The Netherlands
pp. 3-12

Automatically Finding and Patching Bad Error Handling (Abstract)

Christof Fetzer , Technische Universitat Dresden, Germany
Martin Su?kraut , Technische Universitat Dresden, Germany
pp. 13-22

Communication Integrity in Networks for Critical Control Systems (Abstract)

A. de Bonneval , University of Toulouse, France
J. Arlat , University of Toulouse, France
P. Brot , Airbus France, France
J.-J. Aubert , Airbus France, France
A. Youssef , University of Toulouse, France
Y. Crouzet , University of Toulouse, France
pp. 23-34
Session 2A: Practical Experience Reports and Tools
Session 3: Fault Injection

Temporal Characterization of Embedded Systems Using Nexus (Abstract)

Juan Pardo , Technical University of Valencia, Spain
Juan-Carlos Ruiz , Technical University of Valencia, Spain
Pedro Gil , Technical University of Valencia, Spain
Jos?-Carlos Campelo , Technical University of Valencia, Spain
pp. 47-52

Injection of faults at component interfaces and inside the component code: are they equivalent? (Abstract)

R. Barbosa , Critical Software SA, Portugal
H. Madeira , CISUC, University of Coimbra, Portugal
R. Moraes , State University of Campinas, UNICAMP, Brazil
J. Dur?es , CISUC, University of Coimbra, Portugal
E. Martins , State University of Campinas, UNICAMP, Brazil
N. Mendes , CISUC, University of Coimbra, Portugal
pp. 53-64
Panel 1: In Search of Real Data on Faults, Errors, and Failures

In Search of Real Data on Faults, Errors and Failures (PDF)

Miroslaw Malek , Humboldt-Universit?t zu Berlin, Germany
pp. 65

The Hide and Seek Field Data Game (Abstract)

Domenico Cotroneo , Universit? degli Studi di Napoli Federico II, Italy
pp. 66-68

Confidentiality and Real Errors: A Contradiction? (PDF)

Manfred Reitenspiess , Fujitsu Siemens Computers, Germany
Dieter Hein , Fujitsu Siemens Computers, Germany
pp. 73-76
Session 4A: Hardware Implemented Fault Tolerance

SEU Mitigation Techniques for Microprocessor Control Logic (Abstract)

Viswanathan Subramanian , Iowa State University, USA
Arun Somani , Iowa State University, USA
Ganesh T. S. , Iowa State University, USA
pp. 77-86

Fault-Tolerant Distributed Clock Generation in VLSI Systems-on-Chip (Abstract)

Gerald Kempf , Austrian Aerospace GmbH, Austria
Gottfried Fuchs , Vienna University of Technology, Austria
Ulrich Schmid , Vienna University of Technology, Austria
Matthias Fugger , Vienna University of Technology, Austria
pp. 87-96

Dynamic Derivation of Application-Specific Error Detectors and their Implementation in Hardware (Abstract)

Z. Kalbarczyk , University of Illinois, USA
K. Pattabiraman , University of Illinois, USA
D. Chen , University of Illinois, USA
G.P. Saggese , University of Illinois, USA
R.K. Iyer , University of Illinois, USA
pp. 97-108
Panel 2: Education in Dependable and Resilient Computing - Meeting the Needs of the Information Society
Session 6A: Dependable Storage and Services

Impact ofWAN Channel Behavior on End-to-end Latency of Replication Protocols (Abstract)

Carlo Marchetti , Universit? di Roma "La Sapienza", Italy
Roberto Baldoni , Universit? di Roma "La Sapienza", Italy
Antonino Virgillito , Universit? di Roma "La Sapienza", Istituto Nazionale di Statistica, Italy
pp. 109-118

Customizable Service State Durability for Service Oriented Architectures (Abstract)

Xianan Zhang , University of California, San Diego, USA
Matti A. Hiltunen , AT&T Labs - Research
Keith Marzullo , University of California, San Diego, USA
Richard D. Schlichting , AT&T Labs - Research
pp. 119-128

Storage Tradeoffs in a Collaborative Backup Service for Mobile Devices (Abstract)

David Powell , LAAS-CNRS, France
Ludovic Court? , LAAS-CNRS, France
Marc-Olivier Killijian , LAAS-CNRS, France
pp. 129-138

Rephrasing Rules for Off-The-Shelf SQL Database Servers (Abstract)

Ilir Gashi , City University, UK
Peter Popov , City University, UK
pp. 139-148
Author Index

Author Index (PDF)

pp. 149
94 ms
(Ver )