DSN 2007

	DSN 2007 The 37^th 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 Program-At-A-Glance

For a more detailed description 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 including breaks	Tutorial 1 Surviving Large Scale Failures in the Internet K. Kant, Intel Corp.	Tutorial 2 Model-Based Engineering of Dependable Systems with AADL D. Gluch, SEI/Embry-Riddle Aeronautical U. and B. Lewis, Army AMCOM SED
12:30-13:30	Lunch for Tutorial Registrants only
13:30-17:00 including breaks	Tutorial 3 Dependable E-Voting Systems P. Ryan, Newcastle U.	Tutorial 4 Software Architectures for Dependable Systems R. de Lemos, U. of Kent, C. Gacek, Newcastle U. and A-E. Rugina, LAAS-CNRS	Tutorial 5 Robustness Patterns: coping with software bugs at run-time P. Felber, U. of Neuchatel and C. Fetzer, Dresden U.
18:00-20:00	Conference Registration and Welcome Reception

TUESDAY, JUNE 26
08:00-08:30	Coffee and Conference Registration
08:30-10:00	Opening Ceremony and Keynote Address Keynote Speaker: Professor Tony Hoare FRS FREng, Microsoft Research Ltd. 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	DCCS 1B Software Fault Tolerance Chair: David Taylor, University of Waterloo, Canada	PDS 1C System Architecture and Software Assessment Chair: Sy-Yen Kuo, National Taiwan University, Taiwan	Workshop 1 Dependable Application Support for Self-Organizing Networks Keynote Address: Jon Crowcroft, University of Cambridge, UK	Workshop 2 Hot Topics in System Dependability	Fast Abstracts 1 Chair: Antonio Casimiro Costa, University of Lisboa, Portugal
12:30-14:00	Lunch and Exhibition
14:00-16:00	DCCS 2A Distributed Consensus Chair: Hari Govind Ramasamy, IBM Z�rich, Switzerland	DCCS 2B Practical Experience Reports Chair: Rick Buskens, Lockheed Martin, USA	PDS 2C Measurements and Monitoring Chair: Ludmila Cherkasova, HP Labs, USA	Workshop 1 Dependable Application Support for Self-Organizing Networks	Workshop 2 Hot Topics in System Dependability	Student Forum 1 Chair: Andrea Bondavalli, University of Florence, Italy
16:00-16:30	Coffee Break and Exhibition
16:30-18:00	DCCS 3A Embedded Systems Chair: Philip Koopman, Carnegie Mellon University, USA	DCCS 3B Dependability Modeling Chair: Aad van Moorsel, University of Newcastle, UK	PDS 3C Practical Experience Reports Chair: Marco Vieira, University of Coimbra, Portugal	Workshop 1 Dependable Application Support for Self-Organizing Networks	Workshop 2 Hot Topics in System Dependability	Fast Abstracts 2 Chair: Michel Cukier, University of Maryland, USA

WEDNESDAY, JUNE 27
09:00-10:30	DCCS 4A Hardware Fault Tolerance: Emerging Challenges Chair: Johan Karlsson, Chalmers University, Sweden	DCCS 4B VM Rejuvenation and Network Reliability Chair: Matti Hiltunen, AT&T Labs Research, USA	PDS 4C Distributed Algorithms Chair: Michel Raynal, IRISA, Universit� de Rennes, France	Workshop 3 Architecting Dependable Systems Software Architectures and Dependability Chair: Cristina Gacek	Workshop 4 Assurance Cases for Security: The Metrics Challenge	Fast Abstracts 3 Chair: Hiroshi Nakamura, The University of Tokyo, Japan
10:30-11:00	Coffee Break
11:00-13:00	DCCS 5A Soft Errors: Analysis and Protection Chair: A.J. Klein Osowski, IBM, USA	DCCS 5B Processor Level Fault tolerance Chair: Cristian Constantinescu, Advanced Micro Devices, AMD, USA	PDS 5C Availability of Distributed Systems Chair: Paul Ezhilchelvan, Newcastle University, UK	Workshop 3 Architecting Dependable Systems Critical Infrastructures Chair: Felicita Di Giandomenico	Workshop 4 Assurance Cases for Security: The Metrics Challenge	Student Forum 2 Chair: Michel Cuckier, University of Maryland, USA
13:00-14:00	Lunch
14:00-16:00	Plenary Special Session on the UK's massive IT project for the National Health Service (NHS) Chair: Brian Randell, University of Newcastle, UK Speakers: Dr. Libby Morris, Information Management in Practice, NHS Scotland Dr. Paul Jones, Chief Technology Officer, NHS Connecting for Health Mr. Martyn Legge, CSC Professor Ross Anderson, University of Cambridge			Workshop 3 Architecting Dependable Systems Component-based Development Chair: Cristina Gacek Analysis and Synthesis for Architecting Dependability Chair: Rog�rio de Lemos	Workshop 4 Assurance Cases for Security: The Metrics Challenge
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	DCCS 6B Security Threats and Novel Detection Chair: Paolo Verissimo, University of Lisboa, Portugal	PDS 6C Modeling and Evaluation Chair: Boudewijn Haverkort, University of Twente, Netherlands	Workshop 5 Dependable and Secure Nanocomputing	Industry Session 1 Chair: Lisa Spainhower, IBM, USA
10:30-11:00	Coffee Break
11:00-13:00	DCCS 7A Timing Model and Network Protocol Chair: Santosh Shrivastava, University of Newcastle, UK	DCCS 7B Security Protection: Algorithmic Approaches Chair: Nuno Neves, University of Lisboa, Portugal	PDS 7C Quality of Service and Error Recovery Chair: Arun Somani, Iowa State University, USA	Workshop 5 Dependable and Secure Nanocomputing	Industry Session 2 Chair: Lisa Spainhower, IBM, USA
13:00-14:00	Lunch
14:00-15:30	DCCS 8A Networking Chair: Douglas Blough, Georgia Institute of Technology, USA	DCCS 8B Experimental Dependability Assessment Chair: Dong Tang, Sun Microsystems, USA	PDS 8C Stochastic Modeling Chair: Tadashi Dohi, University of Hiroshima, Japan	Workshop 5 Dependable and Secure Nanocomputing	Fast Abstracts 4 Chair: Robert Stroud, Newcastle University, UK
15:30-16:00	Coffee Break and posters for Workshop 5
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 Computer Society Technical Committee on Dependable Computing and Fault Tolerance
	IFIP WG 10.4 on Dependable Computing and Fault Tolerance

In cooperation with:

Centre for Software Reliability, Newcastle University, UK