Registration

Local/Hotel Information

Tutorials

Workshops

Keynote Speaker

DSN Invitation

Combined Program

Sunday, June 22

Tutorial: Quality, Specification, Evaluation, Assessment, and Certification of Dependable Systems, Hans-Ludwig Hausen, Fraunhofer, Germany

Tutorial: Time-Triggered Architecture, Hermann Kopetz, Technical University of Vienna, Austria

1200 to 1330, Lunch

1330 to 1730, Tutorials

Tutorial: UML-Based Dependability Modelling and Evaluation. Andras Pataricza, Budapest University of Technology and Economics

Tutorial: Practical Design of Safety Critical Systems, William R. Dunn, Independent Consultant

1800 to 2000, Welcome Reception

Monday, June 23

0800 to 0830, Continental Breakfast

0830 to 1000, Opening Remarks and Keynote Address, Urs Hoelzle, Google Corp.

1000 to 1030, Break

1030 to 1200, Session 1

Session 1A: Safety and Security

Session Chair: TBA

• Masquerade Detection Using Enriched Command Lines, Roy A. Maxion; Carnegie Mellon University
  
• Evidential Volume Approach (EVA) for Certification, Silke Kuball and Gordon Hughes; SSRC, University of Bristol
  
• Multi-legged Arguments: the Impact of Diversity Upon Confidence in Dependability Arguments, Bev Littlewood; City University, London, and Robin Bloomfield; City University and Adelard

Session 1B: Broadcast and Publish/Subscribe

Session Chair: TBA

• Reliable Broadcast in a Computational Hybrid Model with Byzantine Faults, Crashes, and Recoveries, Michael Backes and Christian Cachin; IBM Research
  
• Adaptive Gossip-Based Broadcast, Luis Rodrigues; Lisbon University; S. Handurukande; Swiss Federal Institute of Technology; J. Pereira; Universidade do Minho; R. Guerraoui; Swiss Federal Institute of Technology; and A.-M. Kermarrec; Microsoft Research
  
• Scalably supporting Durable Subscriptions in a Publish/Subscribe System, Sumeer Bhola, Yuanyuan Zhao, and Joshua Auerbach; IBM T.J. Watson Research Center

Session 1C: Measurement-based System Dependability Evaluation

Session Chair: Dong Tang

• Characterization of Linux Kernel Behavior under Errors, Zbigniew Kalbarczyk, Ravishankar K. Iyer, and Zhenyu Yang; University of Illinois at Urbana-Champaign
  
• Reproducible Dependability Benchmarking Experiments Based on Unambiguous Benchmark Setup Descriptions, K. Buchacker, M. Dal Cin, H.-J. Hoexer, R. Karch, V. Sieh, and O. Tschaeche; University of Erlangen-Nuernberg
  
• A Hybrid Fault Injection Approach Based on Simulation and Emulation Co-operation, Alireza Ejlali, Seyed Ghassem, Miremadi Hamidreza, Zarandi Ghazanfar, Asadi Siavash, and Bayat Sarmadi; Sharif University

Workshop: Design of Self-Managing Systems

Workshop: Model Checking for Dependable Software Intensive Systems

1200 to 1330, Lunch

1330 to 1530, Session 2

Session 2A: Practical Experience and Demonstrations - 1

Session Chair: TBA

• Pragmatic Fault Tolerance for Railway Control and Safety Protection of the Channel Tunnel, Simon D. Pugh and Eric Aliot; Eurotunnel
  
• Practical Experience of Dependability Assessment of Software of Safety-Critical System by Static Analysis Methods, Thuy Nguyen, and Alain Ourghanlian; Electricite de France
  
• Experiences with Integrating Recovery Strategies in a Primary Substation Automation System, Geert Deconinck, V. De Florio, and R. Belmans; K.U.Leuven - ESAT; G. Dondossola, and J. Szanto; CESI
  
• The OLAP and Data Warehousing Approaches for Analysis and Sharing of Results From Dependability Evaluation experiments, Henrique Madeira; University of Coimbra, Joao Costa, and Marco Vieira; Polytechnic Institute of Coimbra

Session 2B: Dependability Evaluation

Session Chair: TBA

• Building SWIFI Tools from Temporal Logic Specifications, Manuel Rodriguez, Jean-Charles Fabre, and Jean Arlat; LAAS-CNRS
  
• Definition of Software Fault Emulation Operators: a Field Data Study, Joao A. Duraes; Polythecnic Institute of Coimbra and Henrique Madeira; University of Coimbra
  
• Robustness Benchmarking for Hardware Maintenance Events, Ji J. Zhu, James Mauro, and Ira Pramanick; Sun Microsystems, Inc.
  
• Dependability Evaluation of the Time-Triggered Architecture with Bus and Star Topology, Astrit Ademaj, Guenther Bauer; Vienna University of Technology, Hakan Sivencrona, and Jan Torin; Chalmers University of Technology

Session 2C: Techniques to Improve System and Network Dependability

Session Chair: Mod Marathe

• Pre-Processing Input Data to Augment Fault Tolerance in Space Applications, Jayakrishnan Nair, Zahava Koren, Israel Koren, and C. Mani Krishna; University of Massachusetts at Amherst
  
• Duplex: A Reusable Fault Tolerance Extension Framework for Network Access Devices, Srikant Sharma, Kartik Gopalan, Jiawu Chen, Wei Li, and Tzi-cker Chiueh; SUNY at Stony Brook
  
• Reliable Communication in Overlay Networks, Yair Amir and Claudiu Danilov; Johns Hopkins University
  
• Dependability Enhancement for IEEE 802.11 Wireless LAN with Redundancy Techniques, Dongyan Chen, Sachin Garg, Chandra Kintala, and Kishor S. Trivedi; Duke University, Avaya

Workshop: Design of Self-Managing Systems (continues)

Workshop: Model Checking for Dependable Software Intensive Systems (continues)

1530 to 1600, Break

1600 to 1730, Session 3

Session 3A: Panel

Technology Impact on Dependability, Cristian N. Constantinescu; Intel Corporation, Jean Arlat; LAAS-CNRS, and Hermann Kopetz; Technical University of Vienna

Session 3B: Student Forum 1

Session Chair: Marc-Olivier Killijian

Session 3C: Analysis of Fault-Tolerant Protocols

Session Chair: Arun Somani

• Cost-optimisation of the IPv4 Zeroconf Protocol, H C Bohnenkamp, P. v.d. Stok, H. Hermanns, and F. Vaandrager; University of Twente, Research Laboratories, University of Nijmegen
  
• Evaluating the Condition-based Approach to Solve Consensus, A. Mostefaoui, E. Mourgaya, Ph. Raipin-Parvedy, and M. Raynal; IRISA
  
• How Bad Are Wrong Suspicions? Towards Adaptive Distributed Protocols, Lvia Maria Rodrigues Sampaio, Francisco Vilar Brasileiro, Walfredo Cirne, Jorge Csar, and Abrantes de Figueiredo; Universidade Federal de Campina Grande

Workshop: Model Checking for Dependable Software Intensive Systems (concludes)

Tuesday, June 24

0800 to 0830, Continental Breakfast

0830 to 1000, Session 4

Session 4A: Dependability Algorithms

Session Chair: TBA

• LSRP: Local Stabilization in Shortest Path Routing, Hongwei Zhang, and Anish Arora; Ohio State University
  
• A Preemptive Deterministic Scheduling Algorithm for Multithreaded Replicas, Claudio Basile, Zbigniew Kalbarczyk and Ravi Iyer; University of Illinois at Urbana-Champaign
  
• An Algorithm for Automatically Obtaining Distributed and Fault-Tolerant Static Schedules, Alain Girault, Hamoudi Kalla; INRIA; Mihaela Sighireanu, University of Paris 7; and Yves Sorel; INRIA

Session 4B: Fast Abstracts 1

Session Chair: TBA

Session 4C: Analytical Methods

Session Chair: Gianfranco Ciardo

• A Combinatorial Method for the Evaluation of Yield of Fault-Tolerant Systems-on-Chip, D. P. Munteanu, V. Sune, R. Rodriguez-Montanes, and J. A. Carrasco; Technical University of Catalonia
  
• Real-Time Estimation of Event-Driven Traffic Latency Distributions when Layered on Static Schedules, Pam Binns; Honeywell Laboratories
  
• ParEs - A Parameter-Estimation-Tool, Felix Engelhard, Stefan Greiner, and Reinhard German; University of Erlangen-Nuernberg

Workshop: Symposium on Self-Stabilizing Systems

Workshop: Principles of Dependable Systems

1000 to 1030, Break

1030 to 1200, Session 5

Session 5A: Network Fault Tolerance

Session Chair: TBA

• Detection and Handling of MAC Layer Misbehavior in Wireless Networks, Pradeep N. Kyasanur, and Nitin H. Vaidya; University of Illinois at Urbana-Champaign
  
• A Study of Packet Delivery Performance During Routing Convergence, Dan Pei, and Lan Wang; University of California Los Angeles; Dan Massey; USC/ISI East; S. Felix Wu; University of California, Davis; and Lixia Zhang; University of California Los Angeles
  
• Low Overhead Fault Tolerant Networking, Vijay Lakamraju, Israel Koren, and C. Mani Krishna, University of Massachusetts, Amherst

Session 5B: Fast Abstracts 2

Session Chair: TBA

Session 5C: Validation of System Security and Timing

Session Chair: Bill Sanders

• Compiler-directed Program-fault Coverage for Highly Available Java Internet Services, Chen Fu, Rich Martin, Kiran Nagaraja, Thu Nguyen, Barbara Ryder, and David Wonnacott; Haverford College, Rutgers University
  
• Data Driven Finite State Machine Model for Analyzing Security Vulnerabilities, Shuo Chen, Zbigniew Kalbarczyk, Jun Xu, and Ravishankar K. Iyer; University of Illinois at Urbana-Champaign
  
• Probabilistic Validation of an Intrusion-Tolerant Replication System, Sankalp Singh, Michel Cukier, and William H. Sanders; University of Illinois at Urbana-Champaign, University of Maryland
  
• An Abstract Interpretation-Based Timing Validation of Hard Real-Time Avionics, Stephan Thesing, Jean Souyris, Reinhold Heckmann, Famantanantsoa Randimbivololona, Marc Langenbach, Reinhard Wilhelm, and Christian Ferdinand; Saarland University, Airbus France, AbsInt GmbH

Workshop: Symposium on Self-Stabilizing Systems (continues)

Workshop: Principles of Dependable Systems (continues)

1200 to 1330, Lunch

1330 to 1500, Session 6

Session 6A: Services for Distributed Computing

Session Chair: TBA

• Dependable and Secure Data Storage and Retrieval in Mobile, Wireless Networks, Stefano Chessa, and Piero Maestrini; Universita di Pisa and Istituto di Scienza e Tecnologie dell'i Informazione
  
• Design and Implementation of Repairable File Service, Ningning Zhu, and Tzi-Cker Chiueh; Stony Brook University
  
• On the Cost of Enhancing Fault-toleranceSupport for Corba Services, Neil A. Speirs, Dimane Mpoeleng, and Paul Ezhilchelvan; University of Newcastle

Session 6B: Fast Abstracts 3

Session Chair: TBA

Session 6C: Analysis of Fault-Tolerant Mechanisms

Session Chair: Saurabh Bagchi

• Performance Analys of Hierarchical Failure Detector, Marin Bertier, Olivier Marin, and Pierre Sens; University of Le Havre, University Paris, INRIA
  
• Comparison of Failure Detectors and Group Membership: Performance Study of Two Atomic Broadcast Algorithms, Peter Urban, Ilya Shnayderman, and Andre Schiper; Swiss Federal Institute of Technology in Lausanne
  
• Opportunity-Adaptive QoS Enhancement in Satellite Constellations: A Case Study, Ann T. Tai, Kam S. Tso, Leon Alkalai, Savio N. Chau, and William H. Sanders; IA Tech, Jet Propulsion Laboratory, University of Illinois at Urbana-Champaign

Workshop: Symposium on Self-Stabilizing Systems (continues)

Workshop: Principles of Dependable Systems (continues)

1500 to 1530, Break

1530 to 1700, Session 7

Session 7A: Modeling and Formal Methods

Session Chair: TBA

• Adaptive Software Rejuvenation: Degradation Models and Rejuvenation Schemes, Yujuan Bao, Xiaobai Sun, and Kishor S. Trivedi; Duke University
  
• Human-machine Diversity in the Use of Computerised Advisory Systems: a Case Study, Lorenzo Strigini, Andrey Povyakalo, and Eugenio Alberdi; City University
  
• Implementing Atomic Memory in Dynamic Networks, Using an Aggressive Reconfiguration Strategy, Seth Gilbert, and Nancy Lynch; Massachusetts Institute of Technology; and Alex Shvartsman; University of Connecticut

Session 7B: Panel on Technology Readiness for Safety Critical Automotive Applications

Session 7C: Tool Demonstrations

Workshop: Symposium on Self-Stabilizing Systems (continues)

Workshop: Principles of Dependable Systems (concludes)

1745 to 1830, Transfer to Excursion/Banquet

1900 to 2200, Excursion/Banquet

Wednesday, June 25

0800 to 0830, Continental Breakfast

0830 to 1000, Session 8

Session 8A: Computer Design

Session Chair: TBA

• The Design of Wearable Systems: A Shift in Development Effort, John G. Dorsey, and Daniel P. Siewiorek; Carnegie Mellon University
  
• Dynamic Verification of End-to-End Multiprocessor Invariants, Daniel J. Sorin; Duke University; Mark D. Hill, and David A. Wood; University of Wisconsin
  
• ICR: In-Cache Replication for Enhancing Data Cache Reliability, Wei Zhang, Sudhanva Gurumurthi, Mahmut Kandemir, and Anand Sivasubramaniam; Penn State University

Session 8B: Student Forum 2

Session Chair: Luca Simoncini

Session 8C: Panel

Security Assessment and Benchmarking: Methods, Techniques, and Approaches, Organized by Zbigniew Kalbarczyk

Workshop: Symposium on Self-Stabilizing Systems (continues)

1000 to 1030, Break

1030 to 1230, Session 9

Session 9A: Practical Experiences and Demonstrations - 2

Session Chair: TBA

• Benchmarking the Dependability of Different OLTP Systems, Marco Vieira; Polytechnic Institute of Coimbra, and Henrique Madeira; University of Coimbra
  
• Persistent-state Checkpoint Comparison for Troubleshooting Configuration Failures, Yi-Min Wang, Chad Verbowski, and Dan Simon ; Microsoft Research
  
• HEALERS: A Toolkit for Enhancing the Robustness and Security of Existing Applications, Christof Fetzer and Zhen Xiao; AT&T Labs - Research
  
• The Anacapa System, Rupert R. Koch, Sanjay Hortikar, Sivaguru Sankaridurg, and Paul Ngan ; Eternal Systems, Inc.

Session 9B: Distributed Systems and Services

Session Chair: TBA

• Node Failure Detection and Membership in CANELy, Jose Rufino; Universidade Tecnica de Lisboa; Paulo Verissimo; Faculdade de Ciencias da Universidade de Lisboa; and Guilherme Arroz; Universidade Tecnica de Lisboa
  
• Design and Implementation of a Consistent Time Service for Fault-Tolerant Distributed Systems, Wenbing Zhao, Louise E. Moser, and P. M. Melliar-Smith; University of California, Santa Barbara
  
• Asynchronous Implementation of Failure Detectors, Achour Mostefaoui, Eric Mourgaya, and Michel Raynal; IRISA
  
• Communication Strategies for Heartbeat-Style Failure Detectors in Ad Hoc Networks. Szu-Chi Wang and Sy-Yen Kuo, National Taiwan University

Session 9C: Dependability and Performance Analysis

Session Chair: Lawrence Votta

• A Methodology for Dependability and Performability Analysis in SAM, Tianjun Shi and Xudong He; Florida International University
  
• Reliability Analysis of Fault-Tolerant Systems with Common-Cause Failures, Liudong Xing; University of Massachusetts at Dartmouth
  
• Validation of Approximate Dependability Models of a RAID Architecture with Orthogonal Organization, Juan A. Carrasco; Technical University of Catalonia
  
• User-perceived Availability of a Web based Travel Agency, M. Kaaniche, K. Kanoun, and M. Martinello; LAAS-CNRS

Workshop: Symposium on Self-Stabilizing Systems (concludes)

1230 to 1400, Lunch

1400 to 1600, Session 10

Session 10A: TCP Connection Management

Session Chair: TBA

• TCP Server Fault Tolerance Using Connection Migration to a Backup Server, Shivakant Mishra, and Manish Marwah; University of Colorado; and Christof Fetzer; AT&T Labs
  
• Transparent TCP Connection Failover, Rupert R. Koch, Sanjay Shortikar , Louise E. Moser, and P. Michael Melliar-Smith ; University of California, Santa Barbara and Eternal Systems, Inc.
  
• Engineering Fault-tolerant TCP/IP Services Using FT-TCP, Dmitrii V. Zagorodnov; University of California San Diego; Lorenzo Alvisi; University of Texas; Keith Marzullo; University of California San Diego; and Thomas C. Bressoud: Denison University
  
• N-Way Fail-Over Infrastructure for Survivable Servers and Routers, Yair Amir, Ryan Caudy, Ashima Munjal, Theo Schlossnagle, and Ciprian Tutu; Johns Hopkins University

Session 10B: Robust Software

Session Chair: TBA

• On the Design of Robust Integrators for Fail-Bounded Control Systems, Jonny P. Vinter; Chalmers University of Technology; Andreas Johansson; Lulea University of Technology; Peter Folkesson, and Johan Karlsson; Chalmers University of Technology
  
• A Fault-Tolerant Java Virtual Machine, Jeff M. Napper, Lorenzo Alvisi, and Harrick Vin; The University of Texas at Austin
  
• Towards Implementing Multilevel Reflection for Fault-Tolerance, Francois Taiani, Jean-Chales Fabre and Marc-Olivier Killijian; LAAS-CNRS
  
• Automatic Detection and Masking of Non-Atomic Exception Handling, Pascal Felber; Eurecom; Karin Hogstedt and Christof Fetzer; AT&T Labs - Research

Session 10C: Techniques for Improving Software Dependability

Session Chair: Karama Kanoun

• Software Aging and Multifractality of Memory Resources, Mark Shereshevsky, Bojan Cukic, Jonathan Crowel, and Vijai Gandikota; West Virginia University
  
• Deadlock Resolution via Exceptions for Dependable Java Applications, Fancong Zeng; Rutgers University
  
• A Voltage Scheduling Heuristic for Real-Time Task Graphs, D. Roychowdhury, I. Koren, C.M. Krishna, and Y.-H. Lee; University of Massachusetts at Amherst
  
• On Dynamic Assignment of Impatient Customers to Parallel Queues, Ali Movaghar; Sharif University

1615 to 1730, Business Meeting: IEEE Technical Committee on Fault-Tolerant Computing, Paulo Verissimo, Committee Chair (open to everyone)