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 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 Logo







In cooperation with: