14th EUROPEAN WORKSHOP ON DEPENDABLE COMPUTING
Coimbra
May 15-16, 2013
EWDC 2013 will focus on dependability and security of software and services. This is a challenging theme, especially when considering that information systems are more and more based on complex, heterogeneous, dynamic software and services, which are characterized by demanding quality attributes. Interoperability in presence of dependability and security guarantees, as well as techniques and tools to assess the impact of accidental and malicious threats are among the crucial aspects to be addressed. Accordingly, topics of interest include, but are not limited to:
- Architecture, design and management of dependable and secure software and services
- Specification and design methodologies, e.g., model-based, component-based, refinement-based approaches
- Metrics for quantifying dependability and security
- Dependability and security benchmarking
- Verification and validation for dependability and security evaluation
- Formal verification, testing, analytical and experimental evaluation
- Off-line versus on-line dependability and security assessment
- Case studies illustrating challenges and solutions in designing dependable and secure software and services
- Design and use of supporting tools