[robotics-worldwide] [meetings] IEEE Workshop, V&V of Adaptive Software Systems, Vienna

Gerald Steinbauer steinbauer at ist.tugraz.at
Mon Apr 18 04:32:36 PDT 2016

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.

* 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

More information can be found at https://urldefense.proofpoint.com/v2/url?u=http-3A__vvass2016.ist.tuGraz.at&d=CwIDaQ&c=clK7kQUTWtAVEOVIgvi0NU5BOUHhpN0H8p7CSfnc_gI&r=0w3solp5fswiyWF2RL6rSs8MCeFamFEPafDTOhgTfYI&m=D5k26-buMKSjP5NpeFqVmgSIA98bINYyJ88Oe9H49VQ&s=iOkOZ5pOymJAynI8FN-o1N4ylKEPWYNqGnjnPOwwfmI&e= 

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.

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.

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

More information about the robotics-worldwide mailing list