User menu

Accès à distance ? S'identifier sur le proxy UCLouvain

QFLan: A Tool for the Quantitative Analysis of Highly Reconfigurable Systems

Primary tabs

download
  • Open access
  • PDF
  • 881.67 K
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.

Document type Communication à un colloque (Conference Paper) – Présentation orale avec comité de sélection
Access type Accès libre
Publication date 2018
Language Anglais
Conference " FM 2018 : 22nd International Symposium on Formal Methods", Oxford, United Kingdom (du 15/07/2018 au 17/07/2018)
Journal information "Formal Methods" - (2018)
Peer reviewed yes
Publisher Springer (New York, NY)
Publication status Publié
Affiliation UCL - SST/ICTM/INGI - Pôle en ingénierie informatique
Keywords Formal Methods
Links
  1. Apel Sven, Batory Don, Kästner Christian, Saake Gunter, Feature-Oriented Software Product Lines, ISBN:9783642375200, 10.1007/978-3-642-37521-7
  2. 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
  3. 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
  4. 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
  5. 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
  6. 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
  7. Beek Maurice H. ter, de Vink Erik P., Using mCRL2 for the analysis of software product lines, 10.1145/2593489.2593493
  8. 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
  9. 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
  10. 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
  11. 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
  12. Classen Andreas, Cordy Maxime, Heymans Patrick, Legay Axel, Schobbens Pierre-Yves, Model checking software product lines with SNIP, 10.1007/s10009-012-0234-1
  13. 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
  14. Classen Andreas, Heymans Patrick, Schobbens Pierre-Yves, Legay Axel, Symbolic model checking of software product lines, 10.1145/1985793.1985838
  15. 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
  16. All About Maude - A High-Performance Logical Framework, ISBN:9783540719403, 10.1007/978-3-540-71999-1
  17. 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
  18. 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
  19. 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
  20. 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
  21. 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
  22. 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
  23. 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
  24. 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
  25. 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
  26. Mauro Jacopo, Nieke Michael, Seidl Christoph, Yu Ingrid Chieh, Context Aware Reconfiguration in Software Product Lines, 10.1145/2866614.2866620
  27. 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
  28. Muschevici Radu, Proença José, Clarke Dave, Feature Nets: behavioural modelling of software product lines, 10.1007/s10270-015-0475-z
  29. Plath Malte, Ryan Mark, Feature integration using a feature construct, 10.1016/s0167-6423(00)00018-6
  30. Salay Rick, Famelis Michalis, Rubin Julia, Di Sandro Alessio, Chechik Marsha, Lifting model transformations to product lines, 10.1145/2568225.2568267
  31. Vandin Andrea, Sebastio Stefano, MultiVeStA: Statistical Model Checking for Discrete Event Simulators, 10.4108/icst.valuetools.2013.254377
  32. 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