Summary of: A Framework for Quantitative Modeling and Analysis of Highly (re)configurable Systems

Maurice H. ter Beek, Axel Legay, Alberto Lluch Lafuente, Andrea Vandin

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Abstract

This short paper summarises the contributions published in [4], where we introduce QFLan, a framework for quantitative modeling and analysis of highly (re)configurable systems, like software product 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, possibly subject to quantitative feature constraints. High-level DSL specifications 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 seamless integration with the statistical model checker MultiVeStA, QFLan allows to scale to larger models with respect to precise probabilistic analysis 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.
Original languageEnglish
Title of host publicationIntegrated Formal Methods
PublisherSpringer
Publication date2019
Pages547-551
ISBN (Print)978-3-030-34967-7
DOIs
Publication statusPublished - 2019
Event15th International Conference on integrated Formal Methods - Bergen, Norway
Duration: 4 Dec 20196 Dec 2019

Conference

Conference15th International Conference on integrated Formal Methods
CountryNorway
CityBergen
Period04/12/201906/12/2019
SeriesLecture Notes in Computer Science
Volume11918
ISSN0302-9743

Cite this

ter Beek, M. H., Legay, A., Lluch Lafuente, A., & Vandin, A. (2019). Summary of: A Framework for Quantitative Modeling and Analysis of Highly (re)configurable Systems. In Integrated Formal Methods (pp. 547-551). Springer. Lecture Notes in Computer Science, Vol.. 11918 https://doi.org/10.1007/978-3-030-34968-4_35