Skip to content

Latest commit

 

History

History
34 lines (22 loc) · 1.38 KB

README.md

File metadata and controls

34 lines (22 loc) · 1.38 KB

DOI

HAROS Case Studies

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.

Questions and Support

Please use the issue tracker.

Citing

See CITING.

Contributing

See CONTRIBUTING.

Acknowledgment

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).