Applying Software Static Analysis to ROS: The Case Study of the FASTEN European Project

• Type: Article in International Conference Proceedings Book
• Date: 2020

Authors

Neto, T (Author) Other; Arrais, R (Author) Other; Armando Jorge Sousa (Author) FEUP; Santos, A (Author) Other; Germano Veiga (Author) FEUP

Conference proceedings International

Title: FOURTH IBERIAN ROBOTICS CONFERENCE: ADVANCES IN ROBOTICS, ROBOT 2019, VOL 1

Pages: 632-644

4th Iberian Robotics Conference (Robot) - Advances in Robotics

Porto, PORTUGAL, NOV 20-22, 2019

Indexing

ISI Web of Knowledge - 1 Citation

Scopus - 6 Citations

Other information

Authenticus ID: P-00R-DRP

DOI: 10.1007/978-3-030-35990-4_51

Abstract (EN): Modern industry is shifting towards flexible, advanced robotic systems to meet the increasing demand for custom-made products with low manufacturing costs and to promote a collaborative environment for humans and robots. As a consequence of this industrial revolution, some traditional, mechanical- and hardware-based safety mechanisms are discarded in favour of a safer, more dependable robot software. This work presents a case study of assessing and improving the internal quality of a European research mobile manipulator, operating in a real industrial environment, using modern static analysis tools geared for robotic software. Following an iterative approach, we managed to fix about 90% of the reported issues, resulting in code that is easier to use and maintain.

Language: English

Type (Professor's evaluation): Scientific

No. of pages: 13