This repository holds a collection of case studies of the HAROS framework. If possible (i.e., if the information can be made public), each case study should document:
- the analysed ROS system;
- the versions of ROS and HAROS;
- which HAROS plugins were used;
- special requirements;
- the analysis workflow as a whole;
- steps to approach/implement the intended analysis;
- artefacts obtained as a result of the analysis;
- faults and failures detected with HAROS;
- changes to the system in order to fix the detected issues.
If you used HAROS to analyse and improve a robotic system, we invite you to add your case study to this collection.
Please use the issue tracker.
See CITING.
See CONTRIBUTING.
Until March 2021, this work was financed by the ERDF – European Regional Development Fund through the Operational Programme for Competitiveness and Internationalisation - COMPETE 2020 Programme and by National Funds through the Portuguese funding agency, FCT - Fundação para a Ciência e a Tecnologia within project PTDC/CCI-INF/29583/2017 (POCI-01-0145-FEDER-029583).