Tools

GoaID

Goald is an effort to create a Goal-Driven Deployment Framework, in which developers contribute with components, users make requests with goals they want to achieve, and the computing environment deploys the known components that allow for goal achievement.

Goal-Oriented Dependability Analysis (GODA)

GODA is a framework where a Contextual-Runtime Goal Model (CRGM) can be converted into PRISM and PARAM models, extending the TAOM4E tool for TROPOS goal models with an Eclipse plugin.
Responsible researcher: Genaina Nunes Rodrigues | Research areas: Dependability, Requirements Engineering
Repository: github.com/lesunb/CRGMToPRISM

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, used for generating product specific use cases and build files.
Responsible researcher: Rodrigo Bonifacio | Research areas: Software Product Line

Heterogeneous Multi-Robots Mission Control

An architecture for the development of applications capable of coordinating multi-robot missions subject to uncertainty in properties of the available robots at the Software Engineering Lab (LES).
Authors: Gabriel Rodrigues, Vicente Moraes and Gabriel F P Araujo | Affiliation: LES

UnB-DALi – UnB Dependability Analysis Library

Provides the infrastructure and functionality needed for dependability analysis when performing model transformation routines.
Responsible researcher: Genaina Nunes Rodrigues | Research areas: Dependability, Requirements Engineering
Repository: github.com/lesunb/UnB-DALi

MutRoSe – Mission Decomposer

The mission decomposer for the MutRoSe (Multi-Robot systems mission Specification and Decomposition) framework, given a JSON Goal Model, a modified HDDL specification, a configuration file and a world knowledge file.

ReAna – Reliability Analysis of Software Product Lines

Takes variability-aware UML behavioral models annotated with components’ reliabilities as input and outputs a family-wide reliability, using a feature-family-based approach to model-checking of SPLs.
Responsible researchers: Vander Ramos Alves, Genaina Nunes Rodrigues | Research areas: Dependability, Software Product Line
Repository: github.com/SPLMC/reana

ReAna-SPL Evaluator

Evaluator script designed to repeatedly run ReAna-SPL’s analysis strategies and gather statistics.
Responsible researchers: Vander Ramos Alves, Genaina Nunes Rodrigues | Research areas: Dependability, Software Product Line
Repository: github.com/SPLMC/reana-evaluator

RE4AIEthicalGuide

Guide for Artificial Intelligence Ethical Requirements Elicitation, assisting agile teams in creating requirements related to ethical principles in AI through a set of cards used during sprints.
Responsible researchers: José Antonio Siqueira de Cerqueira, Edna Dias Canedo | Research areas: Requirements Engineering
Repository: github.com/josesiqueira/RE4AIEthicalGuide

StArt

A tool (State of the Art through Systematic Review) that supports researchers in conducting Systematic Reviews, helping apply the technique’s well-defined steps according to a previously elaborated protocol.

Self-Adaptive Body Sensor Network (SA-BSN)

An exemplar of self-adaptive system designed for experimentation with adaptation solutions in the domain of Self-Adaptive Software Systems, featuring wearable and implantable sensors that collect physiological data.

PistarGODA MDP

Extends the GODA framework to support goal modeling of self-adaptive systems under multiple classes of uncertainty, generating reliability and cost parametric formulas and a Markov Decision Process for runtime verification.