Workshop on Architecting Dependable Systems, Anchorage, Vereinigte Staaten

Abbrevation

WADS

Link

http://www.cs.kent.ac.uk/events/conf/2008/wads/index.html

City

Anchorage

Country

United States

Deadline Paper

2008-03-17

Start Date

2008-06-27

End Date

2008-06-27

Abstract

This workshop will continue the initiative, which started six 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 six 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. Keywords: <DIV class=″paragraph Free_Form″ style=″MARGIN–TOP: 0px; MARGIN–BOTTOM: 0px; PADDING–BOTTOM: 0pt; LINE–HEIGHT: 16px; TEXT–ALIGN: justify″> <UL> <LI>Rigorous design: architectural description languages; architectural patterns; formal development; architectural views; architectural support for evolution; integrators (wrappers) for dependability; representation of fault assumptions; <LI>Verification & validation: architectural inspection techniques; theorem proving; type checking; model checking; architecture–based fault injection; architecture–based conformance testing; simulation; <LI>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; <LI>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; <LI>Enabling technologies: model driven architectures; component based development; aspects oriented development; middleware; <LI>Application areas: safety–critical systems; critical infrastructures; mobile systems; embedded systems; service oriented architectures: e–commerce, e–business, e–government; </LI></UL></DIV>