Edinburgh, Scotland - UK
25 May, 2004

CALL FOR PAPERS

Twin Workshops on
Architecting Dependable Systems
(WADS 2004)

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

Florence - Italy
30 June, 2004

WORKSHOP ORGANIZERS

Rogério de Lemos
University of Kent at Canterbury
UK

r.delemos@kent.ac.uk

Cristina Gacek
University of Newcastle upon Tyne
UK
cristina.gacek@ncl.ac.uk

Alexander Romanovsky
University of Newcastle upon Tyne
UK
alexander.romanovsky@ncl.ac.uk

PROGRAM COMMITTEE

Andrea Bondavalli, Italy
Jan Bosch, The Netherlands
Geoffrey Coulson, UK
Ivica Crnkovic, Sweden
Geert Deconinck, Belgium
Marie-Claude Gaudel, France
Paola Inverardi, Italy
Valérie Issarny, France
Kane Kim, USA
Nicole Levy, France
Roy Maxion, USA
Nenad Medvidovic, USA
Dewayne Perry, USA
Brian Randell, UK
Debra Richardson, USA
Graham Roberts, UK
Cecília Rubira, Brazil
Lisa Spainhower, USA
Kishor S. Trivedi, USA
Frank van der Linden, The Netherlands
Aad PA van Moorsel, USA
Paulo Veríssimo, Portugal
Michel Wermelinger, Portugal
Alexander Wolf, USA

The post-proceedings will be published by Springer-Verlag as part of their Lecture Notes in Computer Science

 

MOTIVATION AND THEME

The twin workshops on architecting dependable systems is an ambitious project, which aims to promote cross-fertilization between the communities of software architectures and dependability. Both communities will benefit from the clarification of 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.

Although the two workshops are self-contained events, the Program Committee for both workshops is the same, with the aim of establishing balance and complementary programs that promote the discussion in the area of architecting dependable systems. The fundamental two basic questions that the twin workshops will deal with are: 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 twin workshops are 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.

In order to have balanced workshop programs for promoting cross-fertilization between the two communities, some high-quality papers may be accepted for both workshops. Consequently, we request that the authors of each submitted paper indicate which workshop(s) the paper is being submitted to. Upon acceptance of a paper that has been submitted to both workshops, the PC will decide which workshop(s) the submission will be associated with.

The submissions must conform to the proceedings publication format (IEEE Conference style) and should not exceed five 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 wads-2004@kent.ac.uk. The submissions will be reviewed by at least three members of the Program Committee.

IMPORTANT DATES

ICSE WADS 2004

Submission deadline: *15* March 2004
Author notification: 29 March 2004
Camera ready copy: 12 April 2004

DSN WADS 2004

Submission deadline: *15* March 2004
Author notification: 2 April 2004
Camera ready copy: 30 April 2004