WDES 2016

Workshop Program and Keynote Information

The WDES workshop will take place on October 20th, 2016 in Cali, Colombia, co-located with the 7th Latin-American Symposium on Dependable Computing

The final workshop program is now available. The program will include a keynote speech by Prof. Andrea Bondavalli, from the University of Firenze, on the topic of "Evolving Systems of Systems: the AMADEOS approach".

WDES 2016

Modern systems are growing in complexity and size, and the frequent use of unreliable networks and off-the-shelf components is modifying the way systems are conceived and designed. System architectures and interactions between components are not static, but can change at run-time either for planned or unplanned events; in general, the environment is dynamic and uncertain.

Even systems on which the nowadays society depends are increasingly subject to changes during their lifetime, especially infrastructures that are meant to be in place for several years. Short-term changes, frequent and with immediate effect in terms of offered services, built-in structure, and interactions with other entities, are referred to as system dynamicity. Long-term changes, in terms of functions added or modified, to adapt to new standards and regulations, are referred to as system evolution. Adaptivity is a key feature to deal with dynamicity and evolution. In response to their perception of the environment and the system itself, systems should be capable of adjusting their structure and behavior in a predictable manner.

However, many of such systems are safety-critical, or have strong performance or dependability requirements. This poses new challenges in the development of adaptation techniques, as the outcomes of adaptation must not violate dependability and safety requirements. New approaches are needed both at design time – to handle system complexity, document adaptation facilities, and keep track of relevant information – as well as at run-time – to evaluate adaptation alternatives, improve the perception of the system and environment, and document the occurring adaptation. Furthermore, adaptation should address changes occurring during systems’ lifetime by both perspectives: dynamicity and evolution.

This workshop will provide researchers and practitioners with a forum to exchange ideas and experiences, analyze research & development issues, discuss promising solutions, and propose new directions in the field of achieving dependability in adaptive systems. In this edition, we focus on the theme of adaptation to face dynamicity and evolution in dependable complex systems.

Information

WDES 2016 is co-located with the Latin-American Dependable Computing Conference, and will take place in October 20th, 2016 in Cali, Colombia.

WDES 2016 is supported by the DEVASSES FP7 Project (DEsign, Verification and VAlidation of large scale, dynamic Service SystEmS).

Main Topics

• Dependability in system-of-systems (SoS) and critical infrastructures
• Design techniques for dependable adaptive systems
• Validation, testing and verification of dynamic/evolving systems
• Dynamicity and evolution in mission-critical systems
• Fault tolerance techniques applied to dynamic/evolving systems
• Exception handling mechanisms applied to dynamic/evolving systems
• Use of product line concepts in dynamic/evolving systems
• Use of model-driven techniques in dependable systems
• Software architectures for dependable dynamic/evolving systems
• Solutions to guarantee Quality of Service (QoS) in dynamic/evolving systems
• Safety and reliability analysis in dynamic/evolving systems
• Proofs of concept, industrial experiences or empirical evaluations on achieving dependability in dynamic/evolving systems.