Book chapter · Conference paper
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 obtained via different combinations of installed features. The tool offers a modern integrated development environment for the homonym probabilistic feature-oriented language.
QFLan allows the specification of a family of products in terms of a feature model with quantitative attributes, which defines the valid feature combinations, and probabilistic behavior subject to quantitative constraints. The language’s behavioral part enables dynamic installation, removal and replacement of features.
QFLan has a discrete-time Markov chain semantics, permitting quantitative analyses. Thanks to a seamless integration with the statistical model checker MultiVeStA, it allows for analyses like the likelihood of specific behavior or the expected average value of non-functional aspects related to feature attributes.
Language: | English |
---|---|
Publisher: | Springer |
Year: | 2018 |
Pages: | 329-337 |
Proceedings: | Federated Logic Conference 2018 |
Series: | Lecture Notes in Computer Science |
Journal subtitle: | 22nd International Symposium, Fm 2018, Held As Part of the Federated Logic Conference, Floc 2018, Oxford, Uk, July 15-17, 2018, Proceedings |
ISBN: | 3319955810 , 3319955829 , 9783319955810 and 9783319955827 |
ISSN: | 16113349 and 03029743 |
Types: | Book chapter and Conference paper |
DOI: | 10.1007/978-3-319-95582-7_19 |
ORCIDs: | 0000-0003-3667-9775 , 0000-0001-7079-0472 , Vandin, Andrea and Lluch Lafuente, Alberto |