[agents] CfP for the IEEE QRS 2016 Workshop on Verification and Validation of Adaptive Software Systems (VVASS 2016)

[Benedikt Eberhardinger]

Dear subscribers of the Agent mailing list,



please find attached a CfP for the IEEE QRS 2016 Workshop on Verification and Validation of Adaptive Software Systems (VVASS 2016) to be held at QRS'16 in Vienna, Austria. The deadline for submissions is April, 22nd. Further details are given in the CfP.



Best regards,

Bernhard Peischl and Benedikt Eberhardinger.



=================================================


The IEEE QRS 2016 Workshop on Verification and Validation of Adaptive Software Systems
VVASS 2016, Vienna, Austria, August 1-3, 2016

Call for Papers
================
The complexity of software and software-enabled systems and the need to reduce and master this complexity has led the software quality community to look for inspiration in diverse fields such as robotics, control theory, and biology. Self-adaptive systems, i.e., systems that are able to adjust their behavior at run-time in response to the perception of the environment and the system itself have become an important topic within different communities. Adaptability requires that software systems need to become more dependable, robust, energy-efficient, customizable, configurable, and resilient. Such desirable functional but also non-functional quality attributes have been investigated in various areas of computer science, e.g., autonomic computing, cyber-physical systems, autonomous robots or mobile ad-hoc networks from their own perspective, however, the common element that enables the provision of adaptability is usually software. In such a context, the task of verification and validation (V&V) is to provide suitable processes and evidence-based methods and techniques to guarantee a number of functional and non-functional properties during the operation of the system. The well-known V&V methods typically rely on stable descriptions of the underlying software and the properties to be verified. However, self-adaptive systems generate new challenges for V&V, as the current techniques do not align well with changing requirements and variable software functionalities.
Therefore, this workshop brings together academics and industrial to exchange and discuss the latest synergies on adaptive systems as well as methods and techniques for V&V of these systems. We explicitly encourage participation of researchers from different communities that intersect with self-adaptive systems and their V&V. The workshop will be set in an informal and cooperative atmosphere with a specific format allotted to discussions. Beside of topical cross-fertilization, VVASS 2016 provides an excellent networking opportunity.

AREAS OF INTEREST
* Reducing uncertainty in V&V of adaptive systems
                - Requirements traceability
                - Program understanding
                - Machine learning
                - Reasoning under uncertainty
                - Software analytics
                - Bio-/Socio-inspired techniques
* Case studies in adaptive systems
                - V&V of reliability, resilience, security
                - V&V of non-functional quality attributes
                - Benchmarking V&V
                - V&V of cyber-physical systems
                - Decision making in V&V
                - Socio-technical aspects
* Modeling and verification of adaptive systems
                - Requirements modeling
                - Model-based systems
                - Run-time verification
                - Monitoring
                - (Re)configuration
                - Modular approach for decentralization
* Testing of adaptive systems
                - Test case derivation
                - Test case selection
                - Test execution
                - Test oracles
                - Passive testing
                - Model-based testing

Important Dates
---------------
Paper submission: April 22, 2016
Acceptance notification: May 25, 2016
Camera-ready version: June 10, 2016
Workshop: August 1-3, 2016

Website
--------
More information can be found at http://vvass2016.ist.tuGraz.at

Submissions
-----------
The organizers and the program committee welcome original manuscripts (not published or considered elsewhere) either in the form of a full paper (at most 6 pages) or fast abstracts (at most 2 pages) fitting into the listed areas and related areas. Fast abstracts should sketch position statements that address an important problem for future research or an interesting lesson learned. Each paper should include a title and the name and affiliation of each author. The format of your submission must follow the guidelines for IEEE conference proceedings.

Publication
-----------
IEEE Computer Society Conference Publishing Services (CPS) will publish the proceedings. Accepted papers will also be submitted for inclusion in the IEEE Xplore and to other abstracting and indexing partners such as the Ei Compendex.

Committee
-----------
Program Chairs:
Bernhard Peischl - Graz University of Technology, Austria, bernhard.peischl at ist.tuGraz.at
Benedikt Eberhardinger - University of Augsburg, Germany, eberhardinger at isse.de

Program Committee:
Alexander Feldman - PARC, USA
Daniel Rodriguez - University of Alaca, Spain
Martin Sachenbacher - LION Smart GmbH, Germany
Gerhard Weiss - University of Maastricht, Netherlands
Franz Wotawa - Graz University of Technology, Austria
Jan Tretmans TNO - Embedded Systems Innovation, Netherlands
Marina Zanella - University of Brescia, Italy
Ana Cavalli - Telecom Sud Paris, France
Brayn Bakker - Sioux Embedded Systems, Netherlands
Rachel Harrison - Oxford Brookes University, England
Wolfgang Reif - University of Augsburg, Germany
Rong Cheng - Dalian Maritime University, China
Jan-Philipp Steghöfer - University of Gothenburg and Chalmers Technical University, Sweden