Welcome to EWDC 2009
Special theme:
|
Download the call
for
papers  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