DSN 2007 logo

DSN 2007
The 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks

June 25 - June 28, 2007
Edinburgh International Conference Centre, Edinburgh, UK


Home

Location

Call for Contributions




Program at a glance


Full Program


Registration


Hotels & Travel


Sponsorship





Committees

Organising
DCCS Programme
PDS Programme
Steering



Future DSN
Preliminary information

DSN-2008

Past DSN

DSN-2006
DSN-2005
DSN-2004
DSN-2003
DSN-2002
DSN-2001



DSN 2007 Full Program

For a more compact version of the program, click here.

For a printable version of the preliminary programme, click here.




MONDAY, JUNE 25

08:30-09:00
Coffee and Tutorial Registration
09:00-12:30
Parallel Tutorials

Tutorial 1: Surviving Large Scale Failures in the Internet
K. Kant, Intel Corporation, USA

Tutorial 2: Model-Based Engineering of Dependable Systems with AADL
D Gluch, SEI/Embry-Riddle Aeronautical University, USA and B Lewis, Amry AMCOM SED, USA

12:30-13:30
Lunch for Tutorial Registrants only
13:30-17:00
Parallel Tutorials

Tutorial 3: Dependable E-Voting Systems
P. Ryan, University of Newcastle upon Tyne, UK

Tutorial 4: Software Architectures for Dependable Systems
R. de Lemos, University of Kent, UK, C. Gacek, University of Newcastle upon Tyne, UK and A-E. Rugina, LAAS-CNRS, France

Tutorial 5: Robustness Patterns: coping with software bugs at run-time
P. Felber, University of Neuchatel, Switzerland and C. Fetzer, Dresden University of Technology, Germany
18:00-20:00
Conference Registration and Welcome Reception



TUESDAY, JUNE 26

08:00-08:30
08:30-10:00
Opening Ceremony and Keynote Address

Keynote Speaker: Professor Tony Hoare FRS FREng,
Microsoft Research Ltd., Cambridge, UK

Science and engineering: a collusion of cultures
10:00-11:00
Coffee Break and Exhibition
11:00-12:30
DCCS 1A Security Protection: Architectural Approaches

Chair: Mohammad Zulkernine, Queens University, Ontario, Canada

Augmenting Branch Predictor to Secure Program Execution
Yixin Shi and Gyungho Lee, University of Illinois at Chicago, Chicago, IL, USA

A Firewall for Routers: Protecting Against Routing Misbehavior
Ying Zhang, Zhuoqing Morley Mao, University of Michigan, Ann Arbor, MI, USA Jia Wang, AT&T Labs-Research, USA

An Architectural Approach to Preventing Code Injection Attacks Ryan Riley, Dongyan Xu, Purdue University, West Lafayette, IN, USA, Xuxian Jiang George Mason University, Fairfax, VA, USA
DCCS 1B Software Fault Tolerance

Chair: David Taylor, University of Waterloo, Canada

Failure Resilience for Device Drivers
Jorrit N. Herder, Herbert Bos, Ben Gras, Philip Homburg and Andrew S. Tanenbaum, Vrije Universiteit, Amsterdam, Netherlands

Fault Tolerance Connectors for Unreliable Web Services
Nicolas Salatge, Jean-Charles Fabre, LAAS-CNRS, Toulouse, France

Robustness and Security Hardening of COTS Software Libraries
Martin Süßkraut and Christof Fetzer, Technische Universität Dresden, Germany

PDS 1C System Architecture and Software Assessment

Chair: Sy-Yen Kuo, National Taiwan University, Taiwan

A Framework for Architecture-Level Lifetime Reliability Modeling
Jeonghee Shin, Victor Zyuban, Zhigang Hu, Jude Rivers and Pradip Bose, IBM T. J. Watson Research Center, Yorktown Heights, NY, USA

Processor-level Selective Replication
Nithin Nakka, Karthik Pattabiraman and Ravishankar Iyer, University of Illinois at Urbana-Champaign, IL, USA

Robustness Testing of the Windows DDK
Manuel Mendonça and Nuno Neves, University of Lisboa, Lisboa, Portugal

Workshop on Dependable Application Support for Self-Organizing Networks

Opening Remarks
Paul Ezhilchelvan, Newcastle University, UK

Keynote Address - Bubble Rap: Forwarding in Small World DTNs
Jon Crowcroft, University of Cambridge, UK

Discussion
Workshop on Hot Topics in System Dependability

Operating systems and security

Improving Dependability by Revisiting Operating System Design
Francis M. David, Jeffrey C. Carlyle, Ellick M. Chan, Philip A. Reames, Roy H. Campbell, University of Illinois at Urbana-Champaign, USA

Data Sanitization: Improving the Forensic Utility of Anomaly Detection System
Gabriela F. Cretu, Angelos Stavrou, Salvatore J. Stolfo and Angelos D. Keromytis, Columbia University, USA

Reliable Device Drivers Require Well-Defined Protocols
Leonid Ryzhyk, Timothy Bourke, Ihor Kuz, NICTA and the University of New South Wales, Australia

Fast Abstracts 1

Chair: Antonio Casimiro Costa, University of Lisboa, Portugal

Choosing Application Structuring and Fault Tolerance Using Assumptions
Alexei Iliasov, Alexander Romanovsky, Newcastle University

A Formally Proved Virtual Machine for High-Integrity Applications
Stephen Wright, Bristol University

Finding the Right Time to Inject an Error
Andréas Johansson, Neeraj Suri, TU-Darmstadt

Log Transformation Technique for Failure Analysis
Sachin Garg, Navjot Singh, Ranjith Vasireddy, Shalini Yajnik, Avaya Labs

An Estimation-Based Redundant Task Dispatch Policy for Volunteer Computing Platforms
Hong Wang, Hiroyuki Takizawa, Hiroaki Kobayashi, Tohoku University

Resilience Modelling Through Discrete Event and Continuous Time Co-Simulation
Zoe Andrews, John Fitzgerald, Newcastle University, Marcel Verhoef, Chess and Radboud University Nijmegen

A Formal Approach to Dependable Evolution of Access Control Policies in Dynamic Collaborations
Jeremy W. Bryans, John S. Fitzgerald, Panos Periorellis, Newcastle University

A Simulator for Performability Analysis of Electrical Power Systems Considering Interdependencies
Francesco Romani, Silvano Chiaradonna, Felicita Di Giandomenico, ISTI-CNR, Luca Simoncini, Universitŕ di Pisa

Towards Compositional ICT for Critical Infrastructure Protection
Carl Hauser, David Bakken, Washington State University, Neeraj Suri, TU Darmstadt, Roberto Baldoni, Univ. of Rome “La Sapienza”

Exploiting Symmetry of Distributed FT Protocols To Ease Model Checking
Péter Bokor, András Pataricza, Budapest University of Technology and Economics, Marco Serafini, Neeraj Suri, Technische Universitat Darmstadt

Developing Dependable Automotive Embedded Systems using the EAST-ADL
DeJiu Chen, KTH, Rolf Johansson, Mentor Graphics, Henrik Lönn, Volvo Technology, Martin Törngren, KTH

Intrusion Tolerance in Ad Hoc Networks through Swarms of Fragments Replicas
James Grant, Jonathan So, Rogério de Lemos, University of Kent

12:30-14:00
Lunch and Exhibition
14:00-16:00
DCCS 2A Distributed Consensus

Chair: Hari Govind Ramasamy, IBM Zürich, Switzerland

Automatic Verification and Discovery of Byzantine Consensus Protocols
Piotr Zielinski, University of Cambridge, Cambridge, UK

Knowledge Connectivity vs. Synchrony Requirements for Fault-Tolerant Agreement in Unknown Networks
Fabíola Greve, Federal University of Bahia, Bahia, Brazil Sébastien Tixeuil, Université Paris-Sud, Orsay, France

Communication Predicates: A High-level Abstraction for Coping with Transient and Dynamic Faults
Martin Hutle and André Schiper, Ecole Polytechnique Fédérale de Lausanne (EPFL), Lausanne, Switzerland

Synchronous Consensus with Mortal Byzantines
Josef Widder, Günther Gridling, Bettina Weiss, Vienna University of Technology, Vienna, Austria, Jean-Paul Blanquart, Astrium Satellites, France

DCCS 2B Practical Experience Reports

Chair: Rick Buskens, Lockheed Martin, USA

Reliability Techniques for RFID-Based Object Tracking Applications
Ahmad Rahmati, Rice University, Houston, TX, USA, Matti Hiltunen, Rittwik Jana, AT&T Labs – Research, Florham Park, NJ, USA, Lin Zhong, Rice University, Houston, TX, USA

Profiling Attacker Behavior Following SSH Compromises
Daniel Ramsbrock, Robin Berthier and Michel Cukier, University of Maryland, College Park, MD, USA

Dependability Assessment of Grid Middleware
Nik Looker and Jie Xu, University of Leeds, Leeds, UK

Assessing Robustness of Web-services Infrastructures
Marco Vieira, Nuno Laranjeiro and Henrique Madeira, University of Coimbra, Portugal

Protecting Cryptographic Keys From Memory Disclosure Attacks
Keith Harrison and Shouhuai Xu, University of Texas, San Antonio, TX, USA

PDS 2C Measurements and Monitoring

Chair: Ludmila Cherkasova, HP Labs, USA

SLAM: Sleep-Wake Aware Local Monitoring in Sensor Networks,
Issa Khalil, Saurabh Bagchi, Ness B. Shroff, Purdue University, West Lafayette, IN, USA

What Supercomputers Say: A Study of Five System Logs
Adam Oliner, Stanford University, Stanford, CA, USA and Jon Stearley, Sandia National Laboratories, USA

How do Mobile Phones Fail? A Failure Data Analysis of Symbian OS Smart Phones
Marcello Cinque, Domenico Cotroneo, Universitŕ di Napoli, Napoli, Italy Zbigniew Kalbarczyck and Ravishankar Iyer, University of Illinois at Urbana-Champaign, IL, USA

A Real-time Network Traffic Profiling System
Kuai Xu, Feng Wang, University of Minnesota, Minneapolis, MN, USA Supratik Bhattacharyya, Sprint ATL, USA Zhi-Li Zhang, University of Minnesota, Minneapolis, MN, USA

Workshop on Dependable Application Support for Self-Organizing Networks

Enhancing Dependability in Information Dissemination

Fault-Tolerant P2P Networks: How Dependable is Greedy Routing?
Sabina Serbu, Peter Kropf and Pascal Felber, University of Neuchatel, Neuchatel, Switzerland

Boosting the Reliability of Deterministic Broadcasting Protocols for MANETs
Talmai Oliveira and Fabiola Greve, Federal University of Bahia, Brazil

Cross-Layer Design for Information Dissemination in Wireless Sensor Networks: State of Art and Research Challenges
Mohamad Jambli and Alan Tully, University of Newcastle, UK

Infrastructure Support for Information Processing

Using Topological Awareness to Support Fault-Tolerance in Dynamic P2P Grid Applications
Paul Townend and Jie Xu, Leeds University, UK

MIDIC: a middleware for Volunteer Computing
Massimo Bernaschi, IAC-CNR, Rome, Italy Emanuele Gabrielli, Universit`a ”La Sapienza” di Roma, Italy

A Consensus Service for Applications in Large-Scale Self-Organizing Networks
Qurat-ul-Ain Inayat and Paul Ezhilchelvan University of Newcastle, UK

Workshop on Hot Topics in System Dependability

Posters

Fully Distributed Service Configuration Management
Paul Murray, and Patrick Goldsack, Hewlett-Packard Laboratories, USA

Hidden Problems of Asynchronous Proactive Recovery
Paulo Sousa, Nuno Ferreira Neves, and Paulo Verissimo, Univ. of Lisboa, Portugal

Band-aid Patching
Stelios Sidiroglou, Columbia University, Sotiris Ioannidis, Stevens Institute of Technology, Angelos D. Keromytis, Columbia University, USA

Cognitive Enhancements to Support Dependability
Partha Pal, Franklin Webber, and Richard Schantz, BBN Technologies, USA

Architecture-Driven Diagnosis of Performance Failures in a Token Ring
Andrew Williams and Priya Narasimhan, Carnegie Mellon University, USA

Diagnosing Misconfiguration with Dynamic Detection of Configuration Invariants
Dong Zhou, DoCoMo Labs, USA

PRIMS : Making NVRAM Suitable for Extremely Reliable Storage Kevin M. Greenan, Ethan L. Miller, University of California, Santa Cruz, USA

Dependability, Access Diversity, Low Cost: Pick Two
Ming Chen, Lex Stein, Zheng Zhang, Microsoft Research Asia

Dependable Security: Testing Network Intrusion Detection Systems
Carrie Gates, CA Labs, Carol Taylor, University of Idaho, and Matt Bishop, University of California Davis, USA

An Empirical Study of Memory Hardware Errors in A Server Farm
Xin Li, Michael C. Huang, and Kai Shen, University of Rochester, Lingkun Chu, Ask.com, USA

No More Hot Dependencies: Toward Dependency-Agnostic Online Upgrades In Distributed Systems
Tudor Dumitras, Jiaqi Tan, Zhengheng Gho, Priya Narasimhan, Carnegie Mellon University, USA

Student Forum 1

Chair: Andrea Bondavalli, University of Florence, Italy

High Defect Tolerant Robust Memory Designs
Costas Argyrides, Bristol University, UK

A Model of Home Network System for Detecting Feature Interactions by Applying Model Checking
Takafumi Matsuo, Osaka University, Japan

Network Reliability Analysis via BDD
Roberta Terruggia, Universit`a di Torino, Italy

Combining Optimism and Pessimism in a Grid Message Logging Protocol
Thomas Ropars, IRISA, Universit´e de Rennes, France

Diagnosis Framework for Complex Critical Systems/Infrastructures
Alessandro Daidone, University of Florence, Italy

Robust Virtual Coordinate Systems with Byzantine Participants
David Zage, Purdue University, USA

Detecting Architectural Mismatches Between Web Services
Carl Gamble, Newcastle University, UK

16:00-16:30
Coffee Break and Exhibition
16:30-18:00
DCCS 3A Embedded Systems

Chair: Philip Koopman, Carnegie Mellon University, USA

Fault Tolerant Planning for Critical Robots
Benjamin Lussier, Matthieu Gallien, Raja Chatila, Jérémie Guiochet, Felix Ingrand, Marc-Olivier Killijian and David Powell, LAAS-CNRS, Toulouse, France

Insights into the Sensitivity of the BRAIN (Braided Ring Availability Integrity Network)
Michael Paulitsch and Brendan Hall, Honeywell Aerospace, Minneapolis, MN, USA

A Tunable Add-On Diagnostic Protocol for Time Triggered Systems
Marco Serafini, Darmstadt University of Technology, Germany, Jonny Vinter, SP, Sweden Astrit Ademaj, TU Vienna, Austria Fulvio Tagliabň, Fiat, Italy Jens Koch, Airbus Deutschland, Germany Wolfgang Brandstätter, Audi, Germany Neeraj Suri, Darmstadt University of Technology, Germany

DCCS 3B Dependability Modeling

Chair: Aad van Moorsel, University of Newcastle, UK

Enhanced Reliability Modeling of RAID Storage Systems
Jon Elerath, Network Appliance, Inc., Sunnyvale, CA, USA, Michael Pecht, University of Maryland, College Park, MD, USA

On a Modeling Framework for the Analysis of Interdependencies in Electrical Power Systems
Silvano Chiaradonna, CNR-ISTI, Pisa, Italy Paolo Lollini, University of Florence, Florence, Italy Felicita Di Giandomenico, CNR-ISTI, Pisa, Italy

PDS 3C Practical Experience Reports

Chair: Marco Vieira, University of Coimbra, Portugal

RAS by the Yard
Alan Wood and Swami Nathan, Sun Microsystems, Inc., Santa Clara, CA, USA

Web Services Wind Tunnel: On Performance Testing Large-Scale Stateful Web Services
Marcelo De Barros, Jing Shiau, Kenton Gidewall, Chen Shang, Joe Forsmann and Hui Shi, Microsoft Corporation, Redmond, WA, USA

Application of Software Watchdog as a Dependability Software Service for Automotive Safety Relevant Systems
Xi Chen, DaimlerChrysler AG, Germany Juejing Feng, RWTH Aachen, Aachen, Germany Martin Hiller, Volvo Technology Corporation, Gothenburg, Sweden Vera Lauer, DaimlerChrysler AG, Germany

Workshop on Dependable Application Support for Self-Organizing Networks

Novel Approaches to Information Management

Dependability Requirements for Hovering Information
Giovanna Di Marzo Serugendo, Birkbeck College, London, UK Alfredo Villalba and Dimitri Konstantas, University of Geneva, Switzerland

Consensus When Coverage Cannot Be Complete
Khaled Alekeish and Paul Ezhilchelvan, Newcastle University Francois Bonnet, IRISA, Rennes, France

EPITELLA: Improving the Gnutella Search Algorithm through Epidemic Spreading Models for Complex Networks
Holger Kampffmeyer, Mirco Musolesi and Cecilia Mascolo University College London, London, United Kingdom

Using Random Walks to Find Resources in Unstructured Self-Organized P2P Networks
Vicent Cholvi, Universitat Jaume I, Spain Antonio Fernandez, Luis Lopez and Luis Rodero-Merino LADyR, Universidad Rey Juan Carlos, Mostoles, Spain

Wrap-up: 17:50 - 18:00
Workshop on Hot Topics in System Dependability

Replication

Delta Execution for Software Reliability
Yuanyuan Zhou, Darko Marinov, William Sanders, Craig Zilles, Marcelo d'Amorim, Steven Lauterburg, Ryan M. Lefever and Joe Tucek, University of Illinois at Urbana-Champaign, USA

Large-Scale Byzantine Fault Tolerance: Safe but Not Always Live
Rodrigo Rodrigues, INESC-ID and Technical University of Lisbon, Portugal, Petr Kouznetsov, Max Planck Institute for Software Systems, Germany, Bobby Bhattacharjee, University of Maryland, USA

Classic Paxos vs. Fast Paxos: Caveat Emptor
Flavio Junqueira, Yahoo! Research Barcelona, Spain, Yanhua Mao, and Keith Marzullo, UC San Diego, USA

Fast Abstracts 2

Chair: Michel Cukier, University of Maryland, USA

The ReSIST Resilience Knowledge Base
T. Anderson, Z.H. Andrews, J.S. Fitzgerald, B. Randell, Newcastle University, H. Glaser, I.C. Millard, University of Southampton

Topology Reconfiguration Problem for Core-Level Redundancy in Homogeneous Chip Many-Core Processors
Lei Zhang, Yinhe Han (Chinese Academy of Sciences), Qiang Xu, The Chinese University of Hong Kong, Xiaowei Li, Chinese Academy of Sciences

Extraction of Fault-Prone Modules Based on Fault Tracking Data from Open Source Software Repository
Masahiro Kimoto, Osamu Mizuno, Tohru Kikuno, Osaka University

Randomized Distributed Algorithm for Peer-to-Peer Data Replication in Wireless Ad Hoc Networks
Hong-Zu Chou, Szu-Chi Wang, Sy-Yen Kuo, National Taiwan University

Client-Server Coupled Monitoring for Web Application toward User-oriented Autonomic Management
Tomohiro Nakamura, Shinichi Kawamoto, Masashi Egi, Takao Sakurai, Hitachi Ltd.

Data Partitioning through Integrity Constraints
Lorenz Froihofer, Markus Baumgartner, Johannes Osrael, Karl M. Goeschka, Vienna University of Technology

Dependable Compositions
Nigel Jefferson, Steve Riddle, Newcastle University

Envisioning Stealthy Botnet C&C and Graph-based Detection Metrics
Shouhuai Xu, University of Texas at San Antonio, Keesook J. Han, Air Force Research Laboratory

Quick and Lightweight Detection of Anomalous Drivers in Multi-server Operating Systems to Improve Availability
Ryota Ozaki, Soichiro Hidaka, Kazuya Kodama, Katsumi Maruyama, National Institute of Informatics

Energy Aware Wireless Sensor Networks Dependability Benchmarking
M. T. Bennani, R. Ben Ayed, S. Naimi, Ecole Nationle d’Ingénieurs de Tunis

Fast Fault Injection with Virtual Machines
Martin Süßkraut, Stephan Creutz, Christof Fetzer, Technische Universität Dresden

Cost-efficient assessment and use of COTS/SOUP used in Marine Systems
Asgeir Torstensen, Torbjřrn Skramstad, Lars Bratthall, Det Norske Veritas Research & Innovation, Egil Joahansen, ABB Marine Norway




WEDNESDAY, JUNE 27

09:00-10:30
DCCS 4A Hardware Fault Tolerance: Emerging Challenges

Chair: Johan Karlsson, Chalmers University, Sweden

Superscalar Processor Performance Enhancement Through Reliable Dynamic Clock Frequency Tuning
Viswanathan Subramanian, Mikel Bezdek, Naga Durgaprasad Avirneni and Arun Somani, Iowa State University, Ames, IA, USA

Determining Fault Tolerance of XOR-based Erasure Codes Efficiently
Jay J. Wylie and Ram Swaminathan, HP Labs, Palo Alto, CA, USA

Fault Tolerant Approaches for Nanoelectronic Logics
Wenjing Rao, Alex Orailoglu and Ramesh Karri, University of California, San Diego, CA, USA

DCCS 4B VM Rejuvenation and Network Reliability

Chair: Matti Hiltunen, AT&T Labs Research, USA

Concilium: Collaborative Diagnosis of Broken Overlay Routes
James Mickens and Brian Noble, University of Michigan, Ann Arbor, MI, USA

R-Sentry: Providing Continuous Sensor Services Against Random Node Failures
Shengchao Yu and Yanyong Zhang, Rutgers University, Piscataway, NJ, USA

A Fast Rejuvenation Technique for Server Consolidation with Virtual Machines
Kenichi Kourai and Shigeru Chiba, Tokyo Institute of Technology, Tokyo, Japan

PDS 4C Distributed Algorithms

Chair: Michel Raynal, IRISA, Université de Rennes, France

Evaluating the Impact of Simultaneous Round Participation and Decentralized Decision on the Performance of Consensus
Lívia Sampaio, Universidade Federal de Campina Grande, Brazil Michel Hurfin, IRISA - INRIA, Rennes, France Francisco Brasileiro, Universidade Federal de Campina Grande, Brazil Fabíola Greve, Universidade Federal da Bahia, Brazil

On the Cost of Modularity In Atomic Broadcast
Olivier Rütti, Ecole Polytechnique Fédérale de Lausanne, Switzerland Sergio Mena, University of York, UK Richard Ekwall and André Schiper, Ecole Polytechnique Fédérale de Lausanne, Switzerland

Eventually k-Bounded Wait-Free Distributed Daemons
Scott Pike and Yantao Song, Texas A&M University, College Station, TX, USA

Workshop on Architecting Dependable Systems - Software Architectures and Dependability

Chair: Cristina Gacek

Keynote Address: Dependability of Web Service Architectures
Wolfgang Emmerich, University College London, UK

Discussion
Workshop on Assurance Cases for Security: The Metrics Challenge

Introductions and Workshop Organization

Assurance Case Metrics -- case study on LOCK
O. Sami Saydjari, Cyber Defense Agency, USA

Survivability Metrics -- A View from the Trenches
Partha Pal, Richard Schantz, Franklin Webber, BBN Technologies, USA

Trust-IT -- a Framework for Trust Cases
Janusz Gorski, Gdansk University of Technology, Poland

Fast Abstracts 3

Chair : Hiroshi Nakamura, The University of Tokyo, Japan

On the Need for Dependability Research on Service Oriented Systems
Johannes Osrael, Lorenz Froihofer, Karl M. Goeschka, Vienna University of Technology

Using BufferGuard to Defend Against Buffer Overflow Attacks
Yi Wang, Bing Mao, Li Xie, Nanjing University

Recoverability of Rotational Uncoordinated Checkpointing
Mamoru Ohara, Tokyo Metropolitan Industrial Technology Research Institute, Takahiro Uesugi, Masayuki Arai, Satoshi Fukumoto, Tokyo Metropolitan University

Assessment of the Effect of Processor Offlining on System Reliability/Availability Against Hardware Faults
Dong Tang, William Bryson, Richard Elling, Sun Microsystems, Inc.

Improved Dynamic Fault Tree modelling using Bayesian Networks
David Marquez, Martin Neil, Norman Fenton, Queen Mary, University of London

Downtime-Frequency Curves for Availability Characterization
Ilkka Norros, Urho Pulkkinen, Jorma Kilpi, VTT Technical Research Centre of Finland

A Case for Heterogeneous Architectures
Marco Serafini, Neeraj Suri, Technical University of Darmstadt

Protecting CRUTIAL Things
Alysson Neves Bessani, Paulo Sousa, Miguel Correia, Nuno Ferreira Neves, Paulo Verissimo, Universidade de Lisboa

Correlating security vulnerabilities with software faults
José Fonseca, Polytechnic Institute of Guarda, Marco Vieira, Henrique Madeira, University of Coimbra

Middleware Support for Time-Elastic Database Applications
António Casimiro, FCUL, Marco Vieira, Henrique Madeira, DEI-CISUC

10:30-11:00
Coffee Break
11:00-13:00
DCCS 5A Soft Errors: Analysis and Protection

Chair: A.J. KleinOsowski, IBM, USA

A Cost-Effective Dependable Microcontroller Architecture with Instruction-Level Rollback for Soft Error Recovery
Teruaki Sakata, Teppei Hirotsu, Hiromichi Yamada, Hitachi Research Laboratory, Hitachi Ltd., Hitachi-shi, Japan Takeshi Kataoka, Standard Product Business Group, Renesas Technology Corp., Japan

Architecture-Level Soft Error Analysis: Examining the Limits of Common Assumptions
Xiaodong Li, Sarita Adve, University of Illinois at Urbana Champaign, IL, USA, Pradip Bose and Jude Rivers, IBM T.J. Watson Research Center, Yorktown Heights, NY, USA

Feedback Redundancy: A Power Efficient SEU-Tolerant Latch Design for Deep Sub-Micron Technologies
Mahdi Fazeli, Ahmad Patooghy, Seyed Ghassem Miremadi and Alireza Ejlali, Sharif University of Technology, Tehran, Iran

Using Register Lifetime Predictions to Protect Register Fles Against Soft Errors
Pablo Montesinos, Wei Liu and Josep Torrellas, University of Illinois at Urbana Champaign, IL, USA

DCCS 5B Processor Level Fault Tolerance

Chair: Cristian Constantinescu, Advanced Micro Devices, AMD, USA

Using Process-Level Redundancy to Exploit Multiple Cores for Transient Fault Tolerance
Alex Shye, Tipp Moseley, Vijay Janapa Reddi and Daniel Connors, University of Colorado at Boulder, CO, USA

Inherent Time Redundancy (ITR): Using Program Repetition for Low-Overhead Fault Tolerance
Vimal Reddy and Eric Rotenberg, North Carolina State University, Raleigh, NC, USA

Utilizing Dynamically Coupled Cores to Form a Resilient Chip Multiprocessor
Christopher LaFrieda, Engin Ipek, Jose Martinez and Rajit Manohar, Cornell University, Ithaca, NY, USA

BlackJack: Hard Error Detection with Redundant Threads on SMT
Ethan Schuchman and T. N. Vijaykumar, Purdue University, West Lafayette, IN, USA

PDS 5C Availability of Distributed Systems

Chair: Paul Ezhilchelvan, Newcastle University, UK

Measuring Availability in Optimistic Partition-tolerant Systems with Data Constraints
Mikael Asplund, Simin Nadjm-Tehrani, Linköping University, Sweden Stefan Beyer and Pablo Galdamez, Universidad Politcnica de Valencia, Spain

Scaling and Continuous Availability in Database Server Clusters through Multiversion Replication
Kaloian Manassiev and Cristiana Amza, University of Toronto, Canada

Improving Recoverability in Multi-tier Storage Systems
Marcos K. Aguilera, Kimberly Keeton, Arif Merchant, Kiran-Kumar Muniswamy-Reddy and Mustafa Uysal, Hewlett-Packard Laboratories, Palo Alto, CA, USA

Portable and Efficient Continuous Data Protection for Network File Servers
Ningning Zhu and Tzicker Chiueh, Stony Brook University, Stony Brook, NY, USA

Workshop on Architecting Dependable Systems - Critical Infrastructures

Chair: Felicita Di Giandomenico

Architecting Dependable Systems Using Virtualization
H. V. Ramasamy, M. Schunter

Robust Overlay Networks for Microgrid Control Systems
G. Deconinck, T. Rigole, H. Beitollahi, R. Duan, B. Nauwelaers, E. Van Lil, J. Driesen, R. Belmans, G. Dondossola

Panel: Architecting Critical Infrastructures
Workshop on Assurance Cases for Security: The Metrics Challenge

Parameters of Quantitative Security Assessment of Complex Systems
Marcelo Masera and Ignor Nai Fovino, Joint Research Centre, USA

Arguing Security using a Probabilistic Risk Assessment Model
Ann Miller and Krishna Mohan Moleyar, University of Missouri - Rolla, USA

Quality of Assurance Cases
Samuel T. Woodwine, Jr., James Madison University, USA

Reviewing Assurance Arguments - A Step-by-Step Approach
T.P. Kelly, University of York, UK

Discussion
Student Forum 2

Chair Michel Cuckier, University of Maryland, USA

On Protecting Functional Units with Temporal Redundancy
Elias Mizan, University of Texas at Austin, USA

Event Notification Service for Interconnected ATM Systems
Christian Esposito, Universita’ di Napoli Federico II, Italy

Towards the Implementation of an Embedded Wormhole
Hugo Ortiz, University of Lisbon, Portugal

Safekeeping Your Keys: Keep Them Out of RAM
Timothy Paul Parker, University of Texas at San Antonio, US

Transparent Recovery from Operating System Errors
Francis M. David, University of Illinois at Urbana-Champaign, USA

Dependency-Agnostic Online Upgrades in Distributed Systems
Tudor Dumitras, Carnegie Mellon University, USA

Best Recovery Practices for Internet Services with Multi-tier Reboots
Rui Zhang, Oxford University, UK

13:00-14:00
Lunch
14:00-16:00
The National Programme for Information Technology in the UK Health Service Dependability Challenges and Strategies

Chair: Brian Randell, University of Newcastle upon Tyne, UK

The National Health Service (NHS) provides the majority of health-care in the UK. Its main section, that for England, serves a population of over 50 million, employs 40,000 general practitioners (family physicians), 80,000 other doctors, and 350,000 nurses, and includes over 300 hospitals.

Its National Programme for Information Technology (NPfIT) is the largest civil IT project in the world. (Estimates of its total cost have ranged from Ł6.2 billion up to Ł20 billion.) This project, which was launched in 2002, aims to implement electronic care records for all patients and to provide a reliable and secure information service, for medical records, radiography, patient administration, etc., for all the hospitals, and all general practitioners' premises, to which all the NHS health professionals in England will have strictly-controlled access. This Special Plenary Session will provide an overview of NPfIT, and its dependability challenges and strategies.

Speakers:

Dr. Libby Morris, Hermitage Medical Practice, Edinburgh - “The Dangers of Speeding”
Dr. Paul Jones, Chief Technology Officer, NHS Connecting for Health - “The National Programme for IT - A view from the inside”
Mr. Martyn Legge, Computer Science Corporation - “CSC’s approach to delivering dependability and security”
Professor Ross Anderson, University of Cambridge - “Safety and Privacy in Clinical Information Systems”
Workshop on Architecting Dependable Systems - Component-based Development

Chair: Cristina Gacek

Detecting Mode Inconsistencies in Component-Based Embedded Software
H. Sozer, C. Hofmann, B. Tekinerdogan, M. Aksit

An Assume-Guarantee Method for Modular Verification of Evolving Component-Based Software
P. N. Hung, N. T. Thang, T. Katayama

Verification and Validation of a Fault-Tolerant Architectural Abstraction
P. H. S. Brito, R. de Lemos, E. Martins, C. M. F. Rubira


Analysis and Synthesis for Architecting Dependability

Chair: Rogério de Lemos

Automatic Generation of Static Fault Trees
A. Joshi, S. Vestal, P. Binns

Generating a Family of Byzantine Tolerant Protocol Implementations Using a Meta-Model Architecture
G. N.C. Kirby, A. Dearle, S. J Norcross

Handling Nondeterminism in Multi-Tiered Distributed Architectures through Program Analysis
J. Slember, P. Narasimhan

Discussion, Wrap up and Future Directions

16:30-23:30
Excursion to Stirling Castle



THURSDAY, JUNE 28

09:00-10:30
DCCS 6A Critical Systems: Risk Analysis and Assurance

Chair: Jean-Claude Laprie, LAAS-CNRS, France

Confidence: Its Role in Dependability Cases for Risk Assessment
Robin Bloomfield, Bev Littlewood and David Wright, City University, London, UK

Assurance Based Development of Critical Systems
Patrick Graydon, John Knight, University of Virginia, Charlottesville, VA, USA Elisabeth Strunk, The Aerospace Corporation, USA

DCCS 6B Security Threats and Novel Detection

Chair: Paulo Verissimo, University of Lisboa, Portugal

Multiprocessors May Reduce System Dependability under File-based Race Condition Attacks
Jinpeng Wei and Calton Pu, Georgia Institute of Technology, Atlanta, GA, USA

Understanding Resiliency of Internet Topology Against False Origin Attacks
Mohit Lad, Ricardo Oliveira, University of California, Los Angeles, CA, USA Beichuan Zhang, University of Arizona, Tucson, AZ, USA Lixia Zhang, University of California, Los Angeles, CA, USA

User Discrimination through Structured Writing on PDAs
Rachel R. M. Roberts, Roy A. Maxion, Kevin S. Killourhy, and Fahd Arshad, Carnegie Mellon University, Pittsburgh, PA, USA

PDS 6C Modeling and Evaluation

Chair: Boudewijn Haverkort, University of Twente, Netherlands

Variational Bayesian Approach for Interval Estimation of NHPP-based Software Reliability Models
Hiroyuki Okamura, Hiroshima University, Japan Michael Grottke, Duke University, Durham, NC, USA Tadashi Dohi, Hiroshima University, Japan Kishor Trivedi, Duke University, Durham, NC, USA

Dynamic Fault Tree Analysis Using Input/Output Interactive Markov Chains
Hichem Boudali, Pepijn Crouzen and Marielle Stoelinga, University of Twente, Netherlands

Uniformity by Construction in the Analysis of Nondeterministic Stochastic Systems
Holger Hermanns and Sven Johr, Universität des Saarlandes, Saarbrücken, Germany

Workshop on Dependable and Secure Nanocomputing

Introduction to the Workshop

Emerging Accidental Faults and Malicious Threats
Moderator: Sudhakar M. Reddy, The University of Iowa, Iowa City, USA

Manufacturing Process Variations and Dependability - A Contrarian View
Janak H. Patel, University of Illinois at Urbana-Champaign, USA

Physically Secure Cryptographic Computations: From Micro to Nano Electronic Devices
Jean-Jacques Quisquater and François-Xavier Standaert, Université Catholique de Louvain, Belgium

Industry Session 1

Chair: Lisa Spainhower, IBM, USA

The Industry Session at DSN 2007 will explore emerging technologies and challenges for dependability in the area of commercial computing, from the perspective of both customers and vendors. The session aims to augment synergy between academic researchers and industry practitioners.

von Neumann Architecture and the Challenge to Problem Diagnosis
Alan Farrell, IBM System Availability Leader, Royal Bank of Scotland, UK

Dependability Insights of a New Operating System
Brendan Murphy, Microsoft Research, UK

10:30-11:00
Coffee Break
(Posters for Workshop on Dependable and Secure Nanocomputing will be on display)
11:00-13:00
DCCS 7A Timing Model and Network Protocol

Chair: Santosh Shrivastava, University of Newcastle, UK

How to Choose a Timing Model?
Idit Keidar and Alexander Shraer, Technion, Haifa, Israel

Electing an Eventual Leader in an Asynchronous Shared Memory System
Antonio Fernandez, Universidad Rey Juan Carlos, Móstoles, Spain, Ernesto Jimenez, Universidad Politécnica de Madrid, Madrid, Spain Michel Raynal, IRISA, Université de Rennes, Rennes, France

Minimizing Response Time for Quorum-System Protocols over Wide-Area Networks
Florian Oprea and Michael Reiter, Carnegie Mellon University, Pittsburgh, PA, USA

HyParView: A Membership Protocol for Reliable Gossip-based Broadcast
Joăo Leităo, University of Lisbon, Portugal José Pereira, University of Minho, Braga, Portugal Luís Rodrigues, University of Lisbon, Portugal

DCCS 7B Security Protection: Algorithmic Approaches

Chair: Nuno Neves, University of Lisboa, Portugal

A Lightweight Mechanism for Dependable Communication in Untrusted Networks
Michael Rogers, UCL, London, UK Saleem Bhatti, University of St Andrews, St Andrews, UK

Dynamic Cross-Realm Authentication for Multi-Party Web Service Interactions
Dacheng Zhang, Jie Xu, University of Leeds, UK Xianxian Li, Beihang University, China

Enhancing DNS Resilience against Denial of Service Attacks
Vasileios Pappas, T.J. Watson Center IBM Research, Hawthorne, NJ, USA Dan Massey, Colorado State University, Fort Collins, CO, USA Lixia Zhang, University of California, Los Angeles, CA, USA

Automatic Cookie Usage Setting with CookiePicker
Chuan Yue, Mengjun Xie and Haining Wang, College of William and Mary, Williamsburg, VA, USA

PDS 7C Quality of Service and Error Recovery

Chair: Arun Somani, Iowa State University, USA

A Reinforcement Learning Approach to Automatic Error Recovery
Qijun Zhu, Tianjin University, Beijing, China Chun Yuan, Microsoft Research Asia, Beijing, China

On the Quality of Service of Crash-Recovery Failure Detectors
Tiejun Ma, Jane Hillston and Stuart Anderson, University of Edinburgh, Edinburgh, UK

E2EProf: Automated End-to-End Performance Management for Enterprise Systems
Sandip Agarwala, Fernando Alegre, Karsten Schwan, Georgia Institute of Technology, Atlanta, GA, USA Jegannathan Mehalingham, Delta Air Lines, Atlanta, GA, USA

Bounding Peer-to-Peer Upload Traffic in Client Networks
Chun-Ying Huang and Chin-Laung Lei, National Taiwan University, Taipei, Taiwan

Workshop on Dependable and Secure Nanocomputing

From Transient Faults to Architectural Design Issues
Moderator: Lorena Anghel, TIMA, Grenoble, France

Environmental and Power-Induced Disturbances

Impact of Intermittent Faults on Nanocomputing Devices
Cristian Constantinescu, Advanced Micro Devices Corp., Forts Collins, CO, USA

Judicious Choice of Waveform Parameters and Accurate Estimation of Critical Charge for Logic SER
Palkesh Jain, Texas Instruments, Bangalore, India and Vivian Zhu, Texas Instruments, Dallas, TX, USA

Time Redundancy Processor with the Tolerance to Transient Faults Caused by Electromagnetic Waves
Makoto Kimura, Masayuki Arai, Satoshi Fukumoto, Kazuhiko Iwasaki, Tokyo Metropolitan University, Japan

NBTI-Resilient Memory Cells with NAND Gates for Highly-Ported Structures
Jaume Abella, Xavier Vera, Osman Unsal, Antonio González, Intel Barcelona Research Center, Intel Labs - UPC, Barcelona, Spain

On-Line Testing and Chip-level Configurability

A BIST Implementation Framework for Supporting Field Testability and Configurability in an Automotive SOC
Amit Dutta, Srinivasulu Alampally, Arun Kumar, Rubin A. Parekhji, Texas Instruments, Bangalore, India

Resilience through Self-Configuration in Future Massively Defective Nanochips
Piotr Zajac, LAAS-CNRS and Université de Toulouse, France & Technical University of Lodz, Poland, Jacques Henri Collet, Jean Arlat and Yves Crouzet, LAAS-CNRS and Université de Toulouse, France

FPGA Hardware Implementation of Statically-derived Application-aware Error Detectors
Peter Klemperer, University of Illinois at Urbana-Champaign, USA, Shelley Chen, SAIC, Champaign, IL, USA, Karthik Pattabiraman, Zbigniew Kalbarczyk and Ravishankar K. Iyer, University of Illinois at Urbana-Champaign, USA

On-Line Self-Test of AES Hardware Implementations
Giorgio Di Natale, Marie-Lise Flottes, Bruno Rouzeyre, LIRMM and Université de Montpellier, France

Industry Session 2

Chair: Lisa Spainhower, IBM, USA

The Industry Session at DSN 2007, on emerging technologies and challenges for dependability in the area of commercial computing, continues with a Panel and Discussion:

Providing a database of failure data for academic research - issues and next steps

The panel will recap on the issues, feedback on the outcomes, and discuss next steps arising from the workshop on Reliability Analysis of System Failure Data held on March 1-2, 2007; this was a joint academic-industry investigation of ways and means to make real-failure industry data available to academic researchers.

Panelists will include:

Brendan Murphy, Microsoft Research, UK:
Peter Carr, Sun Microsystems, UK:
Aad van Moorsel, Newcastle University, UK:
Neeraj Suri, TU Darmstadt, Germany:

Background
Data Collection
Data Storage
Data Analysis

Closing presentation:

Virtualization: An Inflection Point in High Availability Architecture
Richard Harper, IBM Research, USA

13:00-14:00
Lunch
14:00-15:30
DCCS 8A Networking

Chair: Douglas Blough, Georgia Institute of Technology, USA

Greedy Receivers in IEEE 802.11 Hotspots
Mi Kyung Han, Brian Overstreet and Lili Qiu, University of Texas at Austin, TX, USA

Emergent Structure in Unstructured Epidemic Multicast
Nuno Carvalho, Jose Pereira, Rui Oliveira, University of Minho, Braga, Portugal Luis Rodrigues, University of Lisbon, Portugal

The Case for FEC-based Reliable Multicast in Wireless Mesh Networks
Dimitrios Koutsonikolas and Y. Charlie Hu, Purdue University, West Lafayette, IN, USA

DCCS 8B Experimental Dependability Assessment

Chair: Dong Tang, Sun Microsystems, USA

On the Selection of Error Model(s) For OS Robustness Evaluation
Andréas Johansson, Neeraj Suri, Darmstadt University of Technology, Germany Brendan Murphy, Microsoft Research, Cambridge, UK

Component Risk Assessment and Comparison Using Software Fault Injection
Regina Moraes, State University of Campinas, Săo Paulo, Brazil Joăo Durăes, University of Coimbra, Portugal Ricardo Barbosa, Critical Software SA, Coimbra, Portugal Eliane Martins, State University of Campinas, Săo Paulo, Brazil Henrique Madeira, University of Coimbra, Portugal

Foundations of Measurement Theory Applied to the Evaluation of Dependability Attributes
Andrea Bondavalli, Andrea Ceccarelli, Lorenzo Falai, University of Florence, Florence, Italy Michele Vadursi, University of Naples “Parthenope,” Naples, Italy

PDS 8C Stochastic Modeling

Chair: Tadashi Dohi, University of Hiroshima, Japan

Performability Models for Multi-Server Systems with High-Variance Repair Durations
Imad Antonios, Southern Connecticut State University, New Haven, CT, USA and Hans-Peter Schwefel, Center for Teleinfrastruktur Aalborg University, Aalborg, Denmark

Computing Battery Lifetime Distributions
Lucia Cloth, Boudewijn R. Haverkort and Marijn Jongerden, University of Twente, Twente, Netherlands

Quantifying the Effectiveness of Mobile Phone Virus Response Mechanisms
Elizabeth Van Ruitenbeek, Tod Courtney, University of Illinois at Urbana-Champaign, IL, USA, Fabrice Stevens, France Telecom Research, Issy les Moulineaux, France and William Sanders, University of Illinois at Urbana-Champaign, IL, USA

Workshop on Dependable and Secure Nanocomputing

Panel “Emerging Hardware Technologies and Related Dependability & Security Challenges”
Moderator: Johan Karlsson, Chalmers University, Göteborg, Sweden

Panelists:

Jacob A. Abraham, University of Texas, Austin, TX, USA

Helena Handschuh, Spansion EMEA, Levallois-Perret, France

Takashi Nanya, University of Tokyo, Japan

Alex Orailoglu, University of California, San Diego, CA, USA


Posters about contributions in the 11:00-13:00 session and about those listed below will be on display during the 10:30-11:00 and 15:30-16:00 coffee breaks.

Identifying Fault Mechanisms and Models of Emerging Nanoelectronic Devices
Daniel Gil, David de Andrés, Juan-Carlos Ruiz, Pedro Gil, UPV, Valencia, Spain

On the Evaluation of Reliability of NanoFabric-based Architectures through Fault Simulation
Michelangelo Grosso, Maurizio Rebaudengo, Matteo Sonza Reorda, Politecnico di Torino, Italy

An Application-Specific Framework for Detecting Transient Faults in Processors
Srivaths Ravi, Texas Instruments, Bangalore, India

CNES Developments for COTS-based Spacecraft Supercomputers
Michel Pignol, CNES, Toulouse, France

Design and Test Techniques for Better Defect Screening and Improved Reliability in Automotive Integrated Circuits
Udayakumar H., Rubin A. Parekhji, Texas Instruments, Bangalore, India

Fast Abstracts 4

Chair : Robert Stroud, Newcastle University, UK

Local On-Line Maintenance of Scalable Pub/Sub Infrastructure
Alexander Shraer, Israel Institute of Technology, Gregory Chockler, IBM Haifa Research Labs, Idit Keidar, Israel Institute of Technology, Roie Melamed, Yoav Tock, IBM Haifa Research Labs, Roman Vitenberg, University of Oslo

Consistency Oriented Programming
P. M. Melliar-Smith, Louise E. Moser, University of California, Santa Barbara

Fault Tolerant ARIMA-based Aggregation of Data in Sensor Networks
Douglas Herbert, Gaspar Modelo Howard, Carlos Perez-Toro, Saurabh Bagchi, Purdue University

A Case for Virtual Machine-Based Availability Management
Rick Harper, Lisa Spainhower, IBM

How the Time-Before-Failure Reacts to Periodic Rejuvenation
Shah Asaduzzaman, Muthucumaru Maheswaran, McGill University

Lightweight Reliable Communications Library for High-Performance Embedded Space Applications
John Wernsing, Jason Ling, Grzegorz Cieslewski, Alan D. George, University of Florida

Building a Thesaurus and an Ontology of the Concepts of Dependability and Security
Algirdas Avižienis, Vytautas Magnus University, Oliver Culo, Institute for Applied Information Research, Gintare Grigonyte, Ruta Marcinkeviciene, Vytautas Magnus University

Back in a Flash! - Fast Recovery using Non-Volatile Memory
Jeffrey C. Carlyle, Francis M. David, Roy H. Campbell, University of Illinois at Urbana-Champaign

Transaction Dependency Graph Construction using Signal Injection
Shuyi Chen, Kaustubh R. Joshi, University of Illinois at Urbana-Champaign, Matti A. Hiltunen, AT&T Labs Research, William H. Sanders, University of Illinois at Urbana-Champaign, Richard D. Schlichting, AT&T Labs Research

Detecting DoS Attacks for Web Server Based on Transductive Scheme
Yang Li, Chinese Academy of Sciences

Dependability Evaluation of Wireless Sensor Network: a Hybrid Simulation Tool
Marcello Cinque, Domenico Cotroneo, Catello Di Martino, Stefano Russo, Universita’ di Napoli Federico II

15:30-16:00
Coffee Break
(Posters for Workshop on Dependable and Secure Nanocomputing will be on display)
16:00-18:00
IEEE Technical Committee on Dependable Computing and Fault Tolerance Business Meeting (all delegates are invited and welcome to attend)




Sponsored by:
IEEE Logo







In cooperation with: