[robocup-worldwide] IEEE Workshop, V&V of Adaptive Software Systems, Vienna
Gerald Steinbauer
steinbauer at ist.tugraz.at
Mon Apr 18 07:31:46 EDT 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.
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
More information about the robocup-worldwide
mailing list