CALL FOR PAPERS

   DSN 2006 Workshop on Architecting Dependable Systems (WADS 2006)

              Philadelphia, Pennsylvania - USA
                      27 June 2006

               http://www.cs.kent.ac.uk/wads


MOTIVATION AND THEME

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, SUBMISSION AND SELECTION PROCESS

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
dsn-wads@kent.ac.uk. The submissions will be reviewed by at least three
members of the Program Committee. The papers will be published in a 
supplemental volume of the DSN Proceedings.

The post-proceedings containing improved versions of the Workshop papers
will be published by Springer as part of their Lecture Notes in Computer
Science as volume 4 of the series Architecting Dependable Systems.

IMPORTANT DATES

Submission deadline: 16 March 2006
Author notification:  6 April 2006
Camera ready copy:   18 April 2006

WORKSHOP ORGANIZERS

Rogério de Lemos, University of Kent, UK
Cristina Gacek, University of Newcastle upon Tyne, UK
Alexander Romanovsky, University of Newcastle upon Tyne, UK

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), Debra
Richardson (USA), Cecília Rubira (Brazil), Rick Schlichting (USA)