Legay, Axel
[UCL]
Vandin, Andrea
H. ter Beek, Maurice
Lluch Lafuente, Alberto
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.
- Apel Sven, Batory Don, Kästner Christian, Saake Gunter, Feature-Oriented Software Product Lines, ISBN:9783642375200, 10.1007/978-3-642-37521-7
- ter Beek Maurice H., Legay Axel, Lluch Lafuente Alberto, Vandin Andrea, Quantitative Analysis of Probabilistic Models of Software Product Lines with Statistical Model Checking, 10.4204/eptcs.182.5
- ter Beek M. H., Legay A., Lafuente A. Lluch, Vandin A., Statistical analysis of probabilistic models of software product lines with quantitative constraints, 10.1145/2791060.2791087
- ter Beek Maurice H., Legay Axel, Lluch Lafuente Alberto, Vandin Andrea, Statistical Model Checking for Product Lines, Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques (2016) ISBN:9783319471655 p.114-133, 10.1007/978-3-319-47166-2_8
- ter Beek, M.H., Legay, A., Lluch Lafuente, A., Vandin, A.: A framework for quantitative modeling and analysis of highly (re)configurable systems. IEEE Transactions in Software Engineering (2018).
http://arxiv.org/abs/1707.08411
- ter Beek Maurice H., Mazzanti Franco, Sulova Aldi, VMC: A Tool for Product Variability Analysis, FM 2012: Formal Methods (2012) ISBN:9783642327582 p.450-454, 10.1007/978-3-642-32759-9_36
- Beek Maurice H. ter, de Vink Erik P., Using mCRL2 for the analysis of software product lines, 10.1145/2593489.2593493
- ter Beek Maurice H., de Vink Erik P., Willemse Tim A. C., Family-Based Model Checking with mCRL2, Fundamental Approaches to Software Engineering (2017) ISBN:9783662544938 p.387-405, 10.1007/978-3-662-54494-5_23
- Benavides David, Segura Sergio, Ruiz-Cortés Antonio, Automated analysis of feature models 20 years later: A literature review, 10.1016/j.is.2010.01.001
- Chrszon Philipp, Dubslaff Clemens, Klüppelholz Sascha, Baier Christel, Family-Based Modeling and Analysis for Probabilistic Systems – Featuring ProFeat, Fundamental Approaches to Software Engineering (2016) ISBN:9783662496640 p.287-304, 10.1007/978-3-662-49665-7_17
- Chrszon Philipp, Dubslaff Clemens, Klüppelholz Sascha, Baier Christel, ProFeat: feature-oriented engineering for family-based probabilistic model checking, 10.1007/s00165-017-0432-4
- Classen Andreas, Cordy Maxime, Heymans Patrick, Legay Axel, Schobbens Pierre-Yves, Model checking software product lines with SNIP, 10.1007/s10009-012-0234-1
- Classen Andreas, Cordy Maxime, Heymans Patrick, Legay Axel, Schobbens Pierre-Yves, Formal semantics, modular specification, and symbolic verification of product-line behaviour, 10.1016/j.scico.2013.09.019
- Classen Andreas, Heymans Patrick, Schobbens Pierre-Yves, Legay Axel, Symbolic model checking of software product lines, 10.1145/1985793.1985838
- Classen Andreas, Heymans Patrick, Schobbens Pierre-Yves, Legay Axel, Raskin Jean-François, Model checking lots of systems : efficient verification of temporal properties in software product lines, 10.1145/1806799.1806850
- All About Maude - A High-Performance Logical Framework, ISBN:9783540719403, 10.1007/978-3-540-71999-1
- Cordy Maxime, Classen Andreas, Heymans Patrick, Schobbens Pierre-Yves, Legay Axel, ProVeLines : a product line of verifiers for software product lines, 10.1145/2499777.2499781
- Cordy Maxime, Schobbens Pierre-Yves, Heymans Patrick, Legay Axel, Beyond Boolean product-line model checking: Dealing with feature attributes and multi-features, 10.1109/icse.2013.6606593
- Dimovski Aleksandar S., Al-Sibahi Ahmad Salim, Brabrand Claus, Wąsowski Andrzej, Efficient family-based model checking via variability abstractions, 10.1007/s10009-016-0425-2
- Dimovski Aleksandar S., Al-Sibahi Ahmad Salim, Brabrand Claus, Wąsowski Andrzej, Family-Based Model Checking Without a Family-Based Model Checker, Model Checking Software (2015) ISBN:9783319234038 p.282-299, 10.1007/978-3-319-23404-5_18
- Dimovski Aleksandar S., Wąsowski Andrzej, Variability-Specific Abstraction Refinement for Family-Based Model Checking, Fundamental Approaches to Software Engineering (2017) ISBN:9783662544938 p.406-423, 10.1007/978-3-662-54494-5_24
- Gruler Alexander, Leucker Martin, Scheidemann Kathrin, Modeling and Model Checking Software Product Lines, Lecture Notes in Computer Science (2008) ISBN:9783540688624 p.113-131, 10.1007/978-3-540-68863-1_8
- Kowal Matthias, Schaefer Ina, Tribastone Mirco, Family-Based Performance Analysis of Variant-Rich Software Systems, Fundamental Approaches to Software Engineering (2014) ISBN:9783642548031 p.94-108, 10.1007/978-3-642-54804-8_7
- Kwiatkowska Marta, Norman Gethin, Parker David, PRISM 4.0: Verification of Probabilistic Real-Time Systems, Computer Aided Verification (2011) ISBN:9783642221095 p.585-591, 10.1007/978-3-642-22110-1_47
- Legay Axel, Delahaye Benoît, Bensalem Saddek, Statistical Model Checking: An Overview, Runtime Verification (2010) ISBN:9783642166112 p.122-135, 10.1007/978-3-642-16612-9_11
- Mauro Jacopo, Nieke Michael, Seidl Christoph, Yu Ingrid Chieh, Context Aware Reconfiguration in Software Product Lines, 10.1145/2866614.2866620
- de Moura Leonardo, Bjørner Nikolaj, Z3: An Efficient SMT Solver, Tools and Algorithms for the Construction and Analysis of Systems (2008) ISBN:9783540787990 p.337-340, 10.1007/978-3-540-78800-3_24
- Muschevici Radu, Proença José, Clarke Dave, Feature Nets: behavioural modelling of software product lines, 10.1007/s10270-015-0475-z
- Plath Malte, Ryan Mark, Feature integration using a feature construct, 10.1016/s0167-6423(00)00018-6
- Salay Rick, Famelis Michalis, Rubin Julia, Di Sandro Alessio, Chechik Marsha, Lifting model transformations to product lines, 10.1145/2568225.2568267
- Vandin Andrea, Sebastio Stefano, MultiVeStA: Statistical Model Checking for Discrete Event Simulators, 10.4108/icst.valuetools.2013.254377
- Thüm Thomas, Apel Sven, Kästner Christian, Schaefer Ina, Saake Gunter, A Classification and Survey of Analysis Strategies for Software Product Lines, 10.1145/2580950
| Bibliographic reference |
Legay, Axel ; Vandin, Andrea ; H. ter Beek, Maurice ; Lluch Lafuente, Alberto . QFLan: A Tool for the Quantitative Analysis of Highly Reconfigurable Systems. FM 2018 : 22nd International Symposium on Formal Methods (Oxford, United Kingdom , du 15/07/2018 au 17/07/2018). In: Formal Methods, (2018) |
| Permanent URL |
http://hdl.handle.net/2078.1/218724 |
