Projects per year
Abstract
Unsafe memory accesses are the cause of most
cybersecurity vulnerabilities. Robotic systems are not exempt
from these risks, especially in defense environments where
they are prime targets for cyber threats, and exploiting these
vulnerabilities can lead to significant physical consequences.
To limit the risks associated with memory-unsafe languages
in robotic systems, the FOundations for Reliable, CorrEct, and
Secure robotic systems (FORCES) project proposes the design
of two tools. First, a robust and incremental transpilation tool
that enables the conversion of legacy C/C++ code to Rust,
thereby enhancing memory safety without sacrificing perfor-
mance. Second, a comprehensive evaluation framework that
establishes metrics for correctness, security, performance, and
maintainability to assess the effectiveness of the transpilation
process. Both tools will be tested and validated across diverse
robotic use cases for the Belgian Defense.
cybersecurity vulnerabilities. Robotic systems are not exempt
from these risks, especially in defense environments where
they are prime targets for cyber threats, and exploiting these
vulnerabilities can lead to significant physical consequences.
To limit the risks associated with memory-unsafe languages
in robotic systems, the FOundations for Reliable, CorrEct, and
Secure robotic systems (FORCES) project proposes the design
of two tools. First, a robust and incremental transpilation tool
that enables the conversion of legacy C/C++ code to Rust,
thereby enhancing memory safety without sacrificing perfor-
mance. Second, a comprehensive evaluation framework that
establishes metrics for correctness, security, performance, and
maintainability to assess the effectiveness of the transpilation
process. Both tools will be tested and validated across diverse
robotic use cases for the Belgian Defense.
| Original language | English |
|---|---|
| Number of pages | 5 |
| Publication status | Published - 23 May 2025 |
| Event | ICRA 2025 Workshop on Rust for Robotics: Building Robust Foundations for Tomorrow's Autonomous Systems - georgia world congress center, Atlanta, United States Duration: 19 May 2025 → 19 May 2025 https://sites.google.com/view/r4rworkshop |
Workshop
| Workshop | ICRA 2025 Workshop on Rust for Robotics: Building Robust Foundations for Tomorrow's Autonomous Systems |
|---|---|
| Abbreviated title | ICRA 2025 R4R |
| Country/Territory | United States |
| City | Atlanta |
| Period | 19/05/25 → 19/05/25 |
| Internet address |
Projects
- 1 Active
-
FORCES: FOundations for Reliable, CorrEct, and Secure robotic systems
Hasselmann, K. (Promotor) & Engels, T. (Researcher)
1/12/24 → 31/12/28
Project: Research
Activities
- 1 Participating in a conference, workshop, ...
-
ICRA 2025 Workshop on Rust for Robotics: Building Robust Foundations for Tomorrow's Autonomous Systems
Engels, T. (Participant)
19 May 2025Activity: Participating in or organising an event (conference, measurement campaign, ...) › Participating in a conference, workshop, ...