FORCES
Incremental, automated migration of legacy C/C++ code in defence robotic systems to Rust.
Website: soft.vub.ac.be/forces Funding: Belgian Defence DEFRA programme (Royal Higher Institute for Defence) Timeline: 2024–2029 Coordinator: Antonio Paolillo Partners: Royal Military Academy (RAS lab), Thales Belgium
FORCES (FOundations for Reliable, CorrEct, and Secure robotic systems) addresses the urgent need for more secure software in defence systems, by incrementally transitioning legacy C/C++ code to the Rust programming language. The project develops an automated, incremental code transpilation tool from C/C++ to Rust, defines metrics to evaluate the correctness, security, performance, and maintainability of migrated code, and validates its methods on real-world defence scenarios such as unmanned ground vehicles and robotic arms.