Summary of: A Framework for Quantitative Modeling and Analysis of Highly (re)configurable Systems Maurice H. ter Beek 1(B ) , Axel Legay 2 , Alberto Lluch Lafuente 3 , and Andrea Vandin 3 1 ISTI–CNR, Pisa, Italy maurice.terbeek@isti.cnr.it 2 UCLouvain, Louvain-la-Neuve, Belgium 3 DTU, Lyngby, Denmark Abstract. This short paper summarises the contributions published in [4], where we introduce QFLan, a framework for quantitative mod- eling and analysis of highly (re)configurable systems, like software prod- uct lines. We define a rich domain specific language (DSL) for systems with variability in terms of features, which can be dynamically installed, removed or replaced, capable of modeling probabilistic behavior, possi- bly subject to quantitative feature constraints. High-level DSL specifica- tions are automatically encoded in a process algebra whose operational behavior interacts with a store of constraints, which allows to separate a system’s configuration from its behavior. The resulting probabilistic configurations and behavior converge seamlessly in a semantics based on discrete-time Markov chains, thus enabling quantitative analysis. An accompanying Eclipse-based tool offers a modern integrated development environment to specify such systems and to perform analyses that range from the likelihood of specific behavior to the expected average cost, in terms of feature attributes, of specific system variants. Based on a seam- less integration with the statistical model checker MultiVeStA, QFLan allows to scale to larger models with respect to precise probabilistic anal- ysis techniques. We provide a number of case studies that have driven and validated the development of the QFLan framework. In particular, we show the versatility of the QFLan framework with an application to risk analysis of a safe lock system from the security domain. Extended Abstract In [1, 2], we presented various facets of the probabilistic modeling language QFLan, which is capable of describing a wide spectrum of aspects of (software) product lines (SPL) or configurable (software) systems in general. After a survey in the invited contribution [3], we provide a comprehensive presentation of the QFLan framework, consisting of a high-level modeling language with advanced tool support, in [4] and an accompanying tool paper [7]. Moreover, to illustrate the versatility of the QFLan framework, [4] contains case studies from different c  Springer Nature Switzerland AG 2019 W. Ahrendt and S. L. Tapia Tarifa (Eds.): IFM 2019, LNCS 11918, pp. 547–551, 2019. https://doi.org/10.1007/978-3-030-34968-4_35