Quantitative Aspects of Variant-rich Systems

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, presenting the different approaches to handle quantitative aspects, and foster their collaboration.

Workshop Format and Topics of Interest

This year, the workshop is conducted as a presentation-only event. It will comprise invited presentations and talks related but not limited to the following topics:

Design
Modeling
Implementation
Analysis
Verification
of
performance
reliability
costs
stochastic effects
in
feature-oriented systems
product lines
highly configurable systems

As the main conference eQONFEST 2020, the workshop takes place without physical meetings and will conducted online. Technical details will follow and be presented on this webpage.

Registration

The registration is handled through eQONFEST - see https://qonfest2020.github.io/registration.html. Registration fees are 5 Euro (early registration) and 8 Euro (late registration). Early registration deadline ends on August 13th, 2020.

Program

All sessions of the workshop will be held on Zoom with meeting ID 944 2715 5679.
CET Session Speaker Topic
15:00Opening
15:05Performance and UncertaintySven Apel Performance Feature Interactions
15:45Genaina Rodrigues Taming Uncertainty in the Assurance Process of Self-Adaptive Systems: a Goal-Oriented Approach
16:10Clemens Dubslaff Family-based Quantitative Analysis in Prism
16:35Virtual Coffeebreak
17:00SMC and SynthesisAxel Legay Statistical Model Checking: from verification to parameters optimization - a COVID 19 case study
17:40Sebastian Junges Faster Synthesis in Families of Markov Models
18:05Andrea Vandin A Software Engineering Approach to Quantitative Security Risk Modeling and Analysis using QFLan
18:30Closing

Invited Speakers

Sven Apel

holds the chair of software engineering at Saarland University, Germany. He is well-known as being one of the founders of feature-oriented software development and his great impact on the software product line community.

Axel Legay

is professor at UC Louvain, Belgium. He covers a wide range of research areas, including statistical model checking, quantitative analysis of highly reconfigurable systems, and formal methods for feature-oriented systems.


Committees

Program Committee Chairs

Maurice H. ter Beek

is head of the Formal Methods and Tools lab of ISTI-CNR in Pisa, Italy. He is active in particular in formal methods and model-checking tools, with applications in service-oriented computing and software product line engineering.

Clemens Dubslaff

is a research assistant at the chair of Algebraic and Logical Foundations of Computer Science at TU Dresden, Germany. His research focuses on quantitative modeling and analysis, probabilistic model checking, and feature-oriented systems.

Program Committee


Christel Baier
Christel Baier
Technical University of Dresden, Germany
Ezio Bartocci
Ezio Bartocci
Vienna University of Technology, Austria
Maxime Cordy
Maxime Cordy
University of Luxembourg, Luxembourg
Erik de Vink
Erik de Vink
Eindhoven University of Technology, The Netherlands
Uli Fahrenberg
Uli Fahrenberg
LIX, Palaiseau, France
Jane Hillston
Jane Hillston
University of Edinburgh, UK
Nils Jansen
Nils Jansen
Radboud University Nijmegen, The Netherlands
Sebastian Junges
Sebastian Junges
UC Berkeley, US
Alberto Lluch Lafuente
Alberto Lluch Lafuente
Technical University of Denmark, Denmark
Mieke Massink
Mieke Massink
ISTI-CNR, Pisa, Italy
Genaina Rodrigues
Genaina Rodrigues
University of Brasilia, Brazil
Christoph Seidl
Christoph Seidl
IT University of Copenhagen, Denmark
Norbert Siegmund
Norbert Siegmund
University of Leipzig, Germany
Andrea Vandin
Sant'Anna School of Advanced Studies, Pisa, Italy
Mahsa Varshosaz
IT University of Copenhagen, Denmark

Sponsors

CeTI
5G Lab Germany