[ecoop-info] CFP: DSN 2008 WADS - Workshop on Architecting Dependable Systems

[Rogerio de Lemos]

[Apologies if you have already seen this.]


                     CALL FOR PAPERS

  DSN 2008 Workshop on Architecting Dependable Systems (WADS 2008)
           Dependable Service Oriented Architectures

                 Anchorage, Alaska - USA
                       27 June 2008

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


MOTIVATION AND THEME

This workshop will continue the initiative, which started five
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 2002).
Since then seven workshops were organised and four books were
published. This series of workshops have shown to be a fertile
ground for both communities to clarify previous approaches, thus
helping to promote new topical areas where the most promising
research may lie, while avoiding the reinvention of the wheel.

The main focus of this series of workshops is to address at the
architectural level the structuring, modelling, and analysis of
dependable software systems. During DSN 2008 WADS the underlying
theme will be Dependable Service Oriented Architectures.


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:

     * Rigorous design: architectural description languages;
     architectural patterns; formal development; architectural
     views; architectural support for evolution; integrators
     (wrappers) for dependability; representation of fault
     assumptions;
     * Verification & validation: architectural inspection
     techniques; theorem proving; type checking; model checking;
     architecture-based fault injection; architecture-based
     conformance testing; simulation;
     * Fault tolerance: redundancy and diversity at the
     architectural level; error confinement; architectural
     monitoring; dynamically adaptable architectures; exception
     handling in software architectures; tolerating architectural
     mismatches; architectural support for self-healing, self-
     repairing, self-stabilizing systems; support for adaptable
     fault tolerance;
     * System evaluation: assurance based development; dependability
     modeling and analysis in software architectures; run-time
     checks of dependability models at the architectural level;
     tradeoff between dependability and cost;
     * Enabling technologies: model driven architectures; component
     based development; aspects oriented development; middleware;
     * Application areas: safety-critical systems; critical
     infrastructures; mobile systems; embedded systems; service
     oriented architectures: e-commerce, e-business, e-government;


PARTICIPATION, SUBMISSION AND SELECTION PROCESS

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. We encourage all the prospective
participants to submit an extended abstract, work-in-progress
report or position paper.

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, through the Web submission system accessible from
the Workshop home page. 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.


TENTATIVE IMPORTANT DATES

Submission deadline: 7 March 2008
Author notification: 11 April 2008
Publication ready copy: 2 May 2008


WORKSHOP ORGANIZERS

Rogério de Lemos, University of Kent, UK
Jean-Charles Fabre, LAAS-CNRS, France
Cristina Gacek, Newcastle University, UK


PROGRAM COMMITTEE

Roberto Baldoni (Italy), Felicita Di Giandomenico (Italy), Wolfgang
Emmerich (UK), Peter Feiler (USA), Lars Grunske (Australia),
Ricardo Jiménez Peris (Spain), Eliane Martins (Brazil), Nenad
Medvidovic (USA), Henry Muccini (Italy), Priya Narasimhan (USA),
Rick Schlichting (USA), Jean-Bernard Stefani (France), Elisabeth A
Strunk (USA), Francois Taiani (UK), Aad van Moorsel (UK), Jie Xu
(UK)

-- 
Post:     Computing Laboratory                  Tel: +44 1227 823628
           University of Kent                    Fax: +44 1227 762811
           Canterbury, Kent CT2 7NF, UK
E-mail:   r.delemos at kent.ac.uk
URL:      http://www.cs.kent.ac.uk/people/staff/rdl/