[email protected]: 2nd Workshop on Quantitative Aspects of Variant-rich Systems

by Clemens Dubslaff, Jan. 8, 2021

Families of systems arise naturally in software and hardware: whenever there are configuration parameters, optional features, or updating functionalities, the system can be described by a collection of variants. The main challenge one has to face when analyzing such families is the number of system variants that grows exponential in the number of parameters, rendering their analysis a challenging task. The main goal of this workshop is to bring researchers together, presenting the different approaches to deal with non-functional properties of variant-rich systems.

The workshop solicits regular paper, short paper, and presentation-only submissions and is co-organized with ETAPS on the 28th of March 2021.

https://qavs.edgecloud.de

Submission: 1 March 2021
Full version submission: 28 April 2021

CALL FOR PAPERS QAVS 2021

Second Workshop on Quantitative Aspects of Variant-rich Systems

28 March 2021, co-organized with ETAPS 2021

https://qavs.edgecloud.de

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

Scope and Format

System variants often arise by configuring parameters that have a direct impact on the system’s behavior. Most prominently, in feature-oriented system design, features describe optional or incremental system functionalities whose configuration is simply whether a feature is active or inactive. Since the configuration space usually suffers from an exponential blowup in the number of configuration parameters, such variant-rich systems require specialized methods for their design, implementation, and analysis. Quantitative aspects such as probability of failure, energy consumption, or also numerical parameter values gain more and more attention due to the rising impact of co-adaptive and autonomous cyber-physical systems. While there are well-developed methodologies for variant-rich systems that do not take quantitative specifications into account, research on quantitative aspects is still done in fairly isolated branches. The main goal of this workshop is to bring researchers of the field together and foster their collaboration, presenting the different approaches to deal with non-functional properties of variant-rich systems.

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

Topics of Interest

The workshop is related but not limited to any combination of the following topics:

design, modeling, implementation, analysis, verification

OF

performance, reliability, costs, stochastic effects

IN

feature-oriented systems, product lines, configurable systems

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

Submission Details

The workshop solicits

• Regular papers that describe original research results or surveys, not exceeding 12 pages excluding references.

• Short papers describing experiences, case studies, tools, work in progress, or exploratory ideas. Such papers should not exceed 6 pages excluding references.

• Presentation-only submissions comprise an abstract that describes the tentative content of the talk. Such abstracts should not exceed 2 pages and may include already published material, unpublished work, and even challenges.

Submission of regular papers and short papers follows a two-step policy towards post-proceedings of the workshop. First, an extended abstract of 4-6 pages (excluding references) length has to be submitted and will undergo a peer-reviewing process by members of the program committee. Based on the extended abstract, acceptance will be decided. Full-paper submissions are invited to include comments received during the workshop and will undergo a light-weight second review process.

All regular paper and short paper submissions must be original, unpublished, and not submitted concurrently for publication elsewhere. Artifacts required to judge the paper should be made available through an URL. Paper submission is done via EasyChair (https://easychair.org/conferences/?conf=qavs2021). All submissions must be written in English and formatted according to the guidelines for EPTCS papers (see http://info.eptcs.org). Accepted papers have to be presented at the workshop, the full version will be published in the EPTCS workshop series.

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

Important Dates

Submission: 1 March 2021 

Notification: 14 March 2021

Workshop: 28 March 2022

Full version: 28 April 2021

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

Invited Speaker

• Norbert Siegmund (University of Leipzig, Germany)

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

Organizers

• Maurice H. ter Beek (ISTI-CNR, Pisa, Italy)

• Clemens Dubslaff (Technical University of Dresden, Germany)

Program Committee

• Sven Apel (Saarland University, Saarbrücken, Germany)

• Christel Baier (Technical University of Dresden, Germany)

• Maxime Cordy (University of Luxembourg, Luxembourg)

• Uli Fahrenberg (LIX, Palaiseau, France)

• Sebastian Junges (UC Berkeley, US)

• Axel Legay (UC Louvain, Belgium)

• Alberto Lluch Lafuente (Technical University of Denmark, Denmark)

• Mieke Massink (ISTI-CNR, Pisa, Italy)

• Tatjana Petrov (University of Konzstanz, Germany)

• Genaina Rodrigues (University of Brasilia, Brazil)

• Christoph Seidl (IT University of Copenhagen, Denmark)

• Thomas Thüm (University of Ulm, Germany)

• Andrea Vandin (Sant'Anna School of Advanced Studies, Pisa, Italy)

• Mahsa Varshosaz (IT University of Copenhagen, Denmark)