The International Conference on Dependable Systems and Networks
(DSN-2006)

WORKSHOP ORGANIZERS

Rog�rio de Lemos
University of Kent at Canterbury
UK
[email protected]

Cristina Gacek
University of Newcastle upon Tyne
UK
[email protected]

Alexander Romanovsky
University of Newcastle upon Tyne
UK
[email protected]

PROGRAM COMMITTEE

Andrea Bondavalli (Italy)
Betty Cheng (USA)
Ivica Crnkovic (Sweden)
Nicolas Guelfi (Luxembourg)
Philip Koopman (USA)
Valérie Issarny (France)
Steven Lumetta (USA)
Istvan Majzik (Hungary)
Nenad Medvidovic (USA)
Priya Narasimhan (USA)
Peter Popov (UK)
Cecília Rubira (Brazil)
Rick Schlichting (USA)

This workshop will continue the initiative, which started four years ago, of bringing together the international communities of dependability and software architectures. The first workshop on Architecting Dependable Systems was organised during the International Conference on Software Engineering 2002 (ICSE), and since then five workshops were organised and three books were published (http://www.cs.kent.ac.uk/wads). This activity has culminated in 2004 with the organisation of the Twin Workshops that were held at ICSE 2004 and DSN 2004. This series of workshops have shown to be a fertile ground for both communities for clarifying approaches that have been previously tried and succeeded, as well as those that have been tried but have not yet shown to be successful. This not only helps avoid the reinvention of the wheel, but also clarifies and promotes areas where the most promising research may lie.

The program of the workshop will promote the discussion in the area of architecting dependable systems by focusing on two basic questions: what are the architectural principles involved in building dependable systems? How should these architectures be evaluated?

OBJECTIVES AND TOPICS

The aim of the workshop is to bring together the communities of software architectures and dependability to discuss the state of research and practice when dealing with dependability issues at the architecture level. We are interested in submissions from both industry and academia on all topics related to software architectures for dependable systems. These include, but are not limited to:

• dependability modeling in software architectures;
• verification and validation (including model checking) of dependable software architectures;
• adaptable architectures for achieving dependability;
• architectural support for self-healing, self-repairing, self-stabilizing systems;
• run-time checks of architectural models;
• dependability evaluation in software architectures;
• architectural patterns for dependable systems;
• exception handling in software architectures;
• redundancy and diversity at the level of architectures;
• dependable architectures and implementation.

PARTICIPATION AND SELECTION PROCESS

The workshop is open to all researchers, system developers and users who are involved with or have an interest in dependability at the architecture level. We encourage all the prospective participants to submit an extended abstract, work-in-progress report or position paper.

The submissions must conform to the proceedings publication format (IEEE Conference style) and should not exceed six pages, including all text, references, appendices, and figures. They should explain the contribution to the field and the novelty of the work, making clear the current status of the work. Workshop paper submissions should be sent electronically (preferably in PDF format), by the submission date, to [email protected]. The submissions will be reviewed by at least three members of the Program Committee.

IMPORTANT DATES

Submission deadline: 7 March 2006
Author notification: 4 April 2006
Publication ready copy: 18 April 2006

FURTHER INFORMATION

Workshop-related email should be addressed to: [email protected]
Workshop home page: http://www.cs.kent.ac.uk/wads