Automated analysis of feature models: Quo vadis?
Feature models have been used since the 90s to describe software product lines as a way of
reusing common parts in a family of software systems. In 2010, a systematic literature review …
reusing common parts in a family of software systems. In 2010, a systematic literature review …
ProFeat: feature-oriented engineering for family-based probabilistic model checking
The concept of features provides an elegant way to specify families of systems. Given a base
system, features encapsulate additional functionalities that can be activated or deactivated …
system, features encapsulate additional functionalities that can be activated or deactivated …
A framework for quantitative modeling and analysis of highly (re) configurable systems
This paper presents our approach to the quantitative modeling and analysis of highly (re)
configurable systems, such as software product lines. Different combinations of the optional …
configurable systems, such as software product lines. Different combinations of the optional …
Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Büchi automata
The popular model checker PRISM has been successfully used for the modeling and
analysis of complex probabilistic systems. As one way to tackle the challenging state …
analysis of complex probabilistic systems. As one way to tackle the challenging state …
QFLan: a tool for the quantitative analysis of highly reconfigurable systems
QFLan offers modeling and analysis of highly reconfigurable systems, like product lines,
which are characterized by combinatorially many system variants (or products) that can be …
which are characterized by combinatorially many system variants (or products) that can be …
Family-based model checking with mCRL2
Family-based model checking targets the simultaneous verification of multiple system
variants, a technique to handle feature-based variability that is intrinsic to software product …
variants, a technique to handle feature-based variability that is intrinsic to software product …
Ontology-mediated probabilistic model checking
Probabilistic model checking (PMC) is a well-established method for the quantitative
analysis of dynamic systems. Description logics (DLs) provide a well-suited formalism to …
analysis of dynamic systems. Description logics (DLs) provide a well-suited formalism to …
Partially safe evolution of software product lines
A key challenge developers might face when evolving a product line is not to inadvertently
affect users of existing products. In refactoring and conservative extension scenarios, we can …
affect users of existing products. In refactoring and conservative extension scenarios, we can …
Statistical model checking for product lines
We report on the suitability of statistical model checking for the analysis of quantitative
properties of product line models by an extended treatment of earlier work by the authors …
properties of product line models by an extended treatment of earlier work by the authors …
Decentrally coordinated execution of adaptations in distributed self-adaptive software systems
M Weißbach, P Chrszon, T Springer… - 2017 IEEE 11th …, 2017 - ieeexplore.ieee.org
Software systems in domains like Smart Cities, the Internet of Things or autonomous cars
are coined by a high degree of distribution across several independent computing devices …
are coined by a high degree of distribution across several independent computing devices …