Caosd Research group

Tools

The following tools and prototypes have been developed as part of our research projects. For further information about any of them, please contact us.

All
Variability & SPL
Quality attributes
Legacy Tools
External Collaborations

FM Fact Label

Generate visualizations of feature model's metrics as a fact label

FMSans

Compilation technique for feature models to eliminate cross-tree constraints and analyze it in parallel without the need of a SAT or BDD solver.

Rhea

Web application for applying transformations (refactorings) to variability models with the aim of providing interoperability between SPL applications.

Savrus

Detection of influences between feature groups and complex quality attributes in colossal and partially measured spaces.

Nemo2

Tool that applies bit-blasting to encode arithmetic expressions as propositional formulas and standards such as the Universal Variability Language (UVL).

istar20

Command line tool that takes model from piStar tool and generate a Matlab script to optimize it.

MapacheStar

A tool to optimize Goal Oriented Variability Models

Hadas Green Energy Assistant

Tool for Analysis and Development of Sustainable Applications.

vEXgine

A customizable and extensible implementation of the execution engine for the Common Variability Language

AO-ADL

An Aspect-Oriented Architecture Description Language

Hydra

A tool to feature modelling for Software Product Line

Populo

A Tool for Debugging UML Models

Flamapy

Variability analysis framework in Python that supports multiple solvers (FM, SAT, BDD) and metamodels for the integration of tools in the Python ecosystem.

UVL Hub

Repository of feature models in UVL format and UVL model datasets, integrated with Zenodo and Flama.