This repository contains the research artefacts associated with the Robot-Assisted Dressing (RAD) case study developed within the CRADLE project.
The RAD case study contains natural-language requirements derived from a hazard analysis of the robot-assisted dressing system. The requirements are classified using the Human-Robot Teamwork (HRT) requirements taxonomy and formalised using the Formal Requirements Elicitation Tool (FRET).
The repository will provide the requirements dataset used in our analysis, including the natural-language requirements, their HRT taxonomy classifications, and the corresponding FRETISH formal requirements.
The following artefacts will be made available here:
REQUIREMENTS.xlsx— RAD natural-language requirements, HRT taxonomy classifications, and FRETISH formalisation.FRET_files- JSON files for each of the taxonomy categories that can be imported directly into FRET.- Supporting formalisation and analysis artefacts associated with the RAD requirements, where applicable.
The repository is being prepared as the accompanying artefact repository for our work on the formalisation and analysis of human-robot teamwork requirements. The final research artefacts will be made available here.