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 email@example.com. 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).