Current Tools

CDL Tools is a tool suite for analyzing variability models written in the CDL language. CDL is part of eCos, an Open Source embedded operating system.
CDL Tools features an extension of the original eCos configtool to export models in an intermediate representation (IML) and a library to parse and analyze those intermediate models. CDL Tools is available on Google Code.

Our reference Clafer implementation has been coded in Haskell, which allowed for quick development of the prototype. This page describes how to generate Clafer parser in Java, as it is a more mainstream language. The input grammar file is the same as for Haskell implementation. We use BNF Converter to generate scanner, parser and a skeleton of interpreter. Using a single grammar file, it can generate code for several languages, including C, C++, Java, Haskell.

Type in your Clafer model and click on the Translate button to get corresponding model in another notation (Alloy, XML). Experimental source code is available here. You can find Clafer documentation here. Any feedback greatly appreciated!

ECC fixer is a research prototype showing how to use the new fix generation technique developed by our lab to fix configuration errors in eCos/CDL configuration. Given an eCos configuration file (.ecc file), this tool automatically reports all errors in the configuration, and propose a list of fixes for each error. Alternatively, the user can specify an option name, and the tool will try to give a list of fixes for activating the option.

Ecore2Clafer is a small tool that translates Ecore meta-models to Clafer. It does not handle OCL constraints.

FUDA Analyzer is an Eclipse plug-in that accepts traces stored in files by the FUDA Profiler, analyzes them automatically using the FUDA framework comprehension technique, and outputs the concept implementation templates.

FUDA Profiler is used to collect all interactions (calls and callbacks) between the application and the framework API when a concept of interest is invoked at runtime. The collected traces are then automatically analysed by the FUDA Analyzer to generate concept-implementation templates.

The Linux Variability Analysis Tools (LVAT) is a tool suite for analysing Kconfig models.

SPLOT is a collection of interactive online tools for editing, configuring, and analysing feature models. SPLOT is also a feature model repository.