[Apologies if you have already seen this.]
CALL FOR PAPERS
ICSE Workshop on Software Architectures for Dependable Systems
http://www.cs.ukc.ac.uk/wads
International Conference on Software Engineering 2003
http://cs.oregonstate.edu/icse2003/
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
[log in to unmask] Additional and updated details are available at:
http://www.cs.ukc.ac.uk/wads
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).
|