Welcome to EWDC 2009

Special theme:
Software Verification and assessment

Download the call for papers (PDF)
Browse the Proceedings

This workshop aims to be a European forum for researchers and practitioners who are working in the field of dependable computing.

The first issue was organized in 1989, in Toulouse. It took place on a yearly basis until 2000.
This year, the steering Committee of EDCC (European Dependable Computing Conference) has decided to revive EWDC.
EDCC and EWDC will be run alternatively. As the next EDCC edition is in 2010, the workshop is planned in 2009. It will be hosted in Toulouse to celebrate the twentieth anniversary of the first issue.

EWDC 2009 will focus on software verification and assessment. This encompasses all activities to provide evidence of the dependability and security of software artefacts. Accordingly, topics of interest include, but are not limited to:

  • Specification and design methodologies, e.g., model-based, component-based, refinement-based approaches
  • Formal verification of code or models
  • Software testing
  • Simulation
  • Software metrics and measurements
  • Analytical and experimental evaluation
  • Fault-injection
  • Benchmarking
  • Safety cases, trust cases
  • Case studies of any of the above topics
  • Supporting tools

Authors are invited to submit either short papers (2 pages in IEEE style) or full papers (6-8 pages in IEEE style). This should offer the greatest flexibility to present novel work/ideas at varying degrees of maturity.
Submissions must be made electronically (in PDF format), preferably via the Submission link. The organizers can be reached by e-mail at: contact-ewdc (@) laas.fr.
The workshop proceedings will be made permanently accessible and referenceable via the HAL open archive system.

Important dates:

  • Submission: 25 February 2009 (extended deadline)
  • Notification: 1 April 2009
  • Camera ready: 15 April 2009
  • Workshop venue: 14-15 May 2009