Current Tools

CDL to Clafer translator
Insert your CDL model (in IML format) in the text area below, click on Translate and you will get corresponding Clafer model in the bottom text area.

The source code is available on github.
CDL 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.
Clafer Compiler
Type in your Clafer model and click on the Translate button to get corresponding model in another notation (Alloy, XML). Any feedback greatly appreciated!
Clafer Parser in Java

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.
Clafer Tools - Binary Distributions

Clafer Tools 0.3.2
ECC fixer

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.
Ecore to Clafer Translator

Ecore2Clafer is a small tool that translates Ecore meta-models to Clafer. It does not handle OCL constraints.
fmp: Feature Modeling Plug-in

The Feature Modeling Plug-in (fmp) is an Eclipse plug-in for editing and configuring feature models. Fmp can be used standalone in Eclipse or together with fmp2rsm plug-in in Rational Software Modeler (RSM) or Rational Software Architect (RSA). fmp2rsm integrates fmp with RSM and enables product line modeling in UML.
FUDA Analyzer

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 (Tracer)

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.
Linux Variability Analysis Tools (LVAT)

The Linux Variability Analysis Tools (LVAT) is a tool suite for analysing Kconfig models.
Software Product Lines Online Tools (SPLOT)

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

Splot2Clafer is a small tool that translates files from SPLOT SXFM format to Clafer.

Our extensive industrial collaboration enables us to do research with immediate application to software development practices in realistic settings.

Thiago Tonelli Bartolomei

In our lab, people rarely work alone - we collaborate a lot with each other as well as with external researchers and our industry partners.

Michal Antkiewicz