ICSE Workshop on Software Architectures for Dependable Systems

	International Conference on Software Engineering 2003

			     May 3, 2003
			Portland, Oregon, USA

Architectural representations of systems have shown to be effective in assisting
the understanding of broader system concerns by abstracting away from details of
the system. The dependability of systems is defined as the reliance that can
justifiably be placed on the service the system delivers. Dependability has become
an important aspect of computer systems since everyday life increasingly depends on
software. Although there is a large body of research in dependability,
architectural level reasoning about dependability is only just emerging as an
important theme in software engineering. This is due to the fact that dependability
concerns are usually left until too late in the process of development. In
addition, the complexity of emerging applications and the trend of building
trustworthy systems from existing, untrustworthy components are urging
dependability concerns be considered at the architectural level. Hence the
questions that the software architecture and dependability communities are
currently facing: what are the architectural principles involved in building
dependable systems? How should these architectures be evaluated?

Goal. 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, and to jointly
formulate an agenda for future research in this emerging area.

Scope. 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 of dependable software architectures;
* adaptable architectures for achieving dependability;
* architectural support for self-healing and self-repairing systems
* run-time checks of dependable architectural model;
* dependability evaluation in software architectures;
* architectural patterns for dependable systems;
* exception handling for software architectures;
* redundancy and diversity at the level of architectures;
* dependable architecture and implementation.

How to Submit. 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. All prospective participants should submit an extended abstract, work-in-
progress report or position paper. The submissions must conform to the proceedings
publication format 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 Additional and updated details are
available at:

Submission Due Dates.

* Submission Date:         February 1, 2003
* Accceptance/rejection:   March 1, 2003
* Camera-ready Copy:       April 1, 2003

Organizing Committee.

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

Programme Committee.

Jean Arlat (France), Andrea Bondavalli (Italy), Jan Bosch (The Netherlands), David
Garlan (USA), Paola Inverardi (Italy), Valerie Issarny (France), Philip Koopman
(USA), Nicole Levy (France), Neno Medvidovic (USA), Dewayne E. Perry (USA), Cecília
Rubira (Brazil), William Scherlis (USA), Francis Tam (Finland), Kishor S. Trivedi
(USA), Frank van der Linden (The Netherlands), Paulo Veríssimo (Portugal).