Cookies Policy
The website need some cookies and similar means to function. If you permit us, we will use those means to collect data on your visits for aggregated statistics to improve our service. Find out More
Accept Reject
  • Menu
Description

Safery verification for robotic software

The SAFER project aimed to develop techniques and tools for ensuring the quality of robotic software developed with ROS. To facilitate the integration and adoption by the robotics community, the project focused on developing techniques that worked directly from source code and supported by automated verification tools. The main deliverable of the project was the HAROS tool for static analysis of ROS software.

Details

Details

  • Acronym

    SAFER
  • Start

    01st July 2018
  • Global Budget

    237.668,26 €
  • State

    Completed
  • Effective End

    15th October 2021
  • End

    15th October 2021
  • Responsible

    Alcino Cunha
  • Financing

    237.668,26 €
  • Funded by

Team
002

Associated Centres

CRIIS

Centre

Robotics in Industry and Intelligent Systems

HASLab

Centre

High-Assurance Software