ResearchBib Share Your Research, Maximize Your Social Impacts
Sign for Notice Everyday Sign up >> Login

WDAS 2013 - LADC Workshop on Dependability in Adaptive and Self-Managing Systems

Date2013-04-03 - 2013-04-07

Deadline2013-02-01

VenueRio de Janeiro, Brazil Brazil

Keywords

Websitehttps://www2.dc.ufscar.br/~delano/WDAS

Topics/Call fo Papers

This workshop will allow the research and industry communities to discuss questions such as: (i) How to design systems to heal themselves of system faults and to survive malicious attacks? (ii) To what extent usual fault tolerance techniques are suitable for self-managing systems? (iii) How to deal with the impact upon safety-critical systems in case the self-adaptation fails? (iv) How context-aware systems can also benefit from modern techniques, such as Aspect-oriented Programming (AOP), Model-driven Development (MDD), and Software Product Line (SPL) paradigms, in order to support high levels of dependability? (vi) How to guarantee a certain degree of Quality of Service (QoS) in adaptive and self-managing systems?
We welcome submissions addressing topics across the full spectrum of dependability in adaptive and self-managing systems. Topics include, but are not limited to, the following:
- Software fault tolerance techniques based on design diversity applied to adaptive and self-managing systems.
- Exception handling mechanisms applied to adaptive and self-managing systems.
- Dependable pervasive/ubiquitous systems.
- Dependability in wireless sensor networks.
- Use of fault injections techniques to analyze dependability requirements of adaptive and self-managing systems.
- Use of product line concepts in adaptive and self-managing systems.
- Use of AOP and/or MDD techniques to support dependability in adaptive and self-managing systems.
- Proofs of concept, industrial experiences or empirical evaluations related to the engineering of self-healing systems.
- Solutions to support self-managing systems that are able to survive malicious attacks.
- Validation, testing and verification of self-managing systems.
- Robustness and dependability of adaptive and self-managing systems related to cloud-computing and service-oriented architectures.
- Software architectures for self-managing systems to support high level of dependability (self-organization, self-adaptation, self-management, self-monitoring, self-tuning, self-repair, self-configuration, etc.)
- Solutions to continuously guarantee a certain degree of Quality of Service (QoS) in self-managing systems.
- Safety and reliability analysis in adaptive and self-managing systems, including, but not limited to, those based on cloud computing and service oriented architectures.
- Self-adaptation in life-critical or safety-critical systems.

Last modified: 2012-11-27 22:48:30