Tools

  1. Hephaestus: A Tool for Managing SPL Variabilities

    A suite of tools that follows a crosscutting approach for the product engineering phase of software product line (SPL) development. Here we focus on some design decisions that led the development of Hephaestus, and also present how it could be used for generat- ing product specific use cases and build files of a well known case study: the Mobile Media product line.

    Responsible researcher(s): Rodrigo Bonifacio

    Repository:

    Contributors: Rodrigo Bonifacio, Leopoldo Teixeira, Paulo Borba.

    Research areas: [Software Product Line]

  2. ReAna-SPL Evaluator

    Evaluator script designed to repeatedly run ReAna-SPL's analysis strategies and gather statistics. Use ./evaluator.py --help for options.

    The tools needed to run the tests (ReAna-SPL and PARAM) need to be placed under tools directory. Likewise, the behavioral models for the subject SPLs need to be placed under models.

    Configurations such as executable path and its command-line arguments may be manually changed in the configurations.py module. The pairs of SPL and strategy to be tested are also defined there.

    Responsible researcher(s): Vander Ramos Alves; Genaina Nunes Rodrigues

    Repository: https://github.com/SPLMC/reana-evaluator

    Contributors: André Lanna, Thiago Mael Castro.

    Research areas: [Software Product Line] [Dependability]

  3. UnB-DALi - UnB Dependability Analysis Library

    This project aim at providing the infrastructure and functionality needed by our dependability analysis on performing model transformation routines. In software engineering terms, this kind of project is often called a library, since its target is not the end-user, but the developer himself. Hence, the name: UnB Dependability Analysis Library (UnB-DALi, for short). If you want to contribute on UnB-DALi, you are more than welcome!

    Responsible researcher(s): Genaina Nunes Rodrigues

    Repository: https://github.com/lesunb/UnB-DALi

    Contributors: Abilio Calegário de Oliveira.

    Research areas: [Dependability] [Requirements Engineering]

  4. Goal-Oriented Dependability Analysis (GODA)

    GODA is a framework where a Contextual-Runtime Goal Model (CRGM) model can be converted into PRISM and PARAM models. The framework extends the TAOM4E tool for TROPOS goal model with an Eclipse plugin implementation. If you want to contribute on GODA, you are more than welcome!

    Responsible researcher(s): Genaina Nunes Rodrigues

    Repository: https://github.com/lesunb/CRGMToPRISM

    Contributors: Danilo Mendonça.

    Research areas: [Dependability] [Requirements Engineering]