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 to enhance or restrict the base system’s behaviors. Features can also facilitate the analysis of families of systems by exploiting commonalities of the family members and performing an all-in-one analysis, where all systems of the family are analyzed at once on a single family model instead of one-by-one. Most prominent, the concept of features has been successfully applied to describe and analyze (software) product lines. We present the tool
ProFeat
that supports the feature-oriented engineering process for stochastic systems by probabilistic model checking. To describe families of stochastic systems,
ProFeat
extends models for the prominent probabilistic model checker
Prism
by feature-oriented concepts, including support for probabilistic product lines with dynamic feature switches, multi-features and feature attributes.
ProFeat
provides a compact symbolic representation of the analysis results for each family member obtained by
Prism
to support, e.g., model repair or refinement during feature-oriented development. By means of several case studies we show how
ProFeat
eases family-based quantitative analysis and compare one-by-one and all-in-one analysis approaches.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.