[Apologies if you have already seen this.]
CALL FOR PAPERS
DSN 2007 Workshop on Architecting Dependable Systems (WADS 2007)
Edinburgh, Scotland - UK
27 June 2007
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 (ICSE) 2002. Since then six workshops were
organised and three books were published (
http://www.cs.kent.ac.uk/people/staff/rdl/ADSFuture/index.htm). 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.
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; service oriented architectures;
embedded systems;
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, to
dsn2007-wads[at]kent.ac.uk. 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.
IMPORTANT DATES (tentative)
Submission deadline: 9 March 2007
Author notification: 13 April 2007
Camera ready copy: 4 May 2007
WORKSHOP ORGANIZERS
Rogério de Lemos, University of Kent, UK
Cristina Gacek, Newcastle University, UK
