QFLan

A framework for quantitative modeling and analysis of highly (re)configurable systems

Please visit QFLAN main page.

Summary

QFLan is a software tool for the modeling and analysis of highly reconfigurable systems, including software product lines.

The tool offers an easy-to-use, rule-based probabilistic language to specify models with probabilistic behaviour. Quantitative constraints can be used to restrict the class of admissible configurations (or products), like (using a family of reconfigurable vending machines from here):

• machines can have a certain maximum cost,
• machines serving coffee-based beverages cannot sell tea,
• in order to serve cappuccino it is necessary to have the feature of serving also coffee,

Also it is possible to express conditions like:

• machines serving cappuccino provided with a coca dispenser can serve chocaccino.

QFLan has been combined with the distributed statistical model checker MultiVeStA to perform efficient quantitative analyses, including questions like:

• average cost of machines (at varying of time);
• probability of installing certain features;
• probability of dumping a machine.

The tool is provided with a modern integrated development environment built using XTEXT technology, featuring high-level model and property specification languages.

For further information please visit QFLAN main page.

About

For suggestions, remarks, bugs or requests please do not hesitate to contact any of us (in alphabetical order):

• axel.legay@inria.fr
• albl@dtu.dk
• maurice.terbeek@isti.cnr.it
• anvan@dtu.dk