Cookies Policy
We use cookies to improve our site and your experience. By continuing to browse our site you accept our cookie policy. Find out More
Close
  • Menu
About

About

I started as an undergraduate student in Computer Science in U. Minho. After completion, I followed up my studies with a Master's degree in Informatics Engineering, also in U. Minho, specialising in Formal Methods and Distributed Systems. My Master's Thesis, named Applying Coding Standards to the Robot Operating System, focused on software quality, namely on studying various coding standards and how they can be applied in robotics software.

I am now a MAP-i Ph. D. student, and my research explores how robotics software can be further improved in terms of quality and safety.

Interest
Topics
Details

Details

  • Name

    André Filipe Santos
  • Cluster

    Computer Science
  • Role

    Research Assistant
  • Since

    15th February 2015
Publications

2017

Mining the usage patterns of ROS primitives

Authors
Santos, A; Cunha, A; Macedo, N; Arrais, R; dos Santos, FN;

Publication
2017 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2017, Vancouver, BC, Canada, September 24-28, 2017

Abstract

2016

A Framework for Quality Assessment of ROS Repositories

Authors
Santos, A; Cunha, A; Macedo, N; Lourenco, C;

Publication
2016 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS 2016)

Abstract
Robots are being increasingly used in safety-critical contexts, such as transportation and health. The need for flexible behavior in these contexts, due to human interaction factors or unstructured operating environments, led to a transition from hardware-to software-based safety mechanisms in robotic systems, whose reliability and quality is imperative to guarantee. Source code static analysis is a key component in formal software verification. It consists on inspecting code, often using automated tools, to determine a set of relevant properties that are known to influence the occurrence of defects in the final product. This paper presents HAROS, a generic, plug-in-driven, framework to evaluate code quality, through static analysis, in the context of the Robot Operating System (ROS), one of the most widely used robotic middleware. This tool (equipped with plug-ins for computing metrics and conformance to coding standards) was applied to several publicly available ROS repositories, whose results are also reported in the paper, thus providing a first overview of the internal quality of the software being developed in this community.