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:
Modeling
Implementation
Analysis
Verification
reliability
costs
stochastic effects
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.
