Submission deadline:
Submission expired

18 March 2011
22 March 2011

5 April 2011
Camera ready

11-12 May 2011
Workshop date

Call for Papers

Download the call for papers here.

Special theme: Resilience of Evolving Software Systems.

EWDC 2011 will focus on the resilience of evolving software systems. This is a challenging theme, especially when considering that information systems are more and more composed of complex, heterogeneous, evolving networked systems and infrastructures characterized by dynamic requirements and changes in the environment and in the systems themselves. Issues of interoperability in presence of dependability guarantees, as well as efficient and scalable modelling and experimental techniques to assess the impact of accidental or malicious threats on dependability and security attributes, are among the crucial aspects to be addressed. Accordingly, topics of interest include, but are not limited to:

  1. Architecture, design and management of resilient evolving systems
  2. Specification and design methodologies, e.g., model-based, component-based, refinement-based approaches
  3. Metrics for quantifying the dependability of resilient evolving systems
  4. Model verification and validation for dependability and security evaluation
  5. Formal verification, testing, analytical and experimental evaluation
  6. Off-line versus on-line dependability assessment
  7. Case studies illustrating challenges and solutions in resilient evolving systems
  8. Design and use of supporting tools

Authors are invited to submit either short papers (2 pages) or full papers (5-6 pages), 10 pt font, single space, double column format. This should offer the greatest flexibility to present novel work/ideas at varying degrees of maturity. Please, see proceedings template here for detailed instructions. The papers accepted and presented at the workshop will be published in a workshop volume of the ACM Digital Library with the ISBN 978 1 4503 02845.