Research Opportunity
Formal Methods
[Open]
Work description
- define a technique for verifying information-flow security properties of robotic applications developed with the ROS2 middleware using Alloy; - identify and analyze relevant related work; - 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.
Academic Qualifications
computer engineering master's student
Minimum profile required
- average BSc grade of at least 14.- attendance of courses where the Alloy formal specification language is taught.
Preference factors
- experience with the ROS2 middleware;
Application Period
Since 12 Jan 2022 to 25 Jan 2022
[Open]
Cluster / Centre
Computer Science / High-Assurance Software