This grant complements the standard curricula of computer science degrees, by allowing the grant holder to develop a project (or master thesis) that will help solidify his/her knowledge on formal methods for software engineering. In particular, the grant holder will pursue the following work and training plan: - identify one of the model-based ROS code analysis techniques previously developed in the project, whose efficiency is currently preventing its application in realistic systems, in particular systems with high variability; - identify and analyze relevant related work; - specify and implement a new version of that technique in the HAROS tool - evaluate the effectiveness of the developed technique through its application to the software of a realistic robotic system; - write the activity report of the grant.
BSc in computer engineering, computer science, or similar
- experience with the Robot Operating System; - knowledge of formal methods.
Since 24 Nov 2020 to 09 Dec 2020
Cluster / Centre
Computer Science / High-Assurance Software