FOundations for Reliable, CorrEct, and Secure robotic systems

Projet: Recherche › DEFRA

Enhancing cybersecurity in robotic programming to ensure autonomous systems remain safe and reliable in complex operations.

This project has received funding from the Royal Higher Institute for Defence of Belgian Defence under the Defence-related Research Action (DEFRA).

Titre abrégé	FORCES
L'acronyme	FORCES
statut	En cours d'exécution
Les dates de début/date réelle	1/12/24 → 31/12/28

Accéder au projet

FORCES: An Incremental Transpiler from C/C++ to Rust for Robust and Secure Robotics Systems
Engels, T., Discepoli, A., De Greef, R., Aguililla Klein, E., D'agostino, F., Gunsett, R., Pisane, J., Hasselmann, K. & Paolillo, A., 23 mai 2025. 5 p.
Résultats de recherche: Contribution à une conférence NON PUBLIEE › Papier › Revue par des pairs

Accès ouvert
Towards Macro-Aware C-to-Rust Transpilation (WIP)
De Greef, R., Discepoli, A., Aguililla Klein, E., Engels, T., Hasselmann, K. & Paolillo, A., 13 juin 2025, Proceedings of the 26th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems. p. 57-61
Résultats de recherche: Chapitre dans un livre, un rapport, des actes de conférences › Contribution à une conférence › Revue par des pairs

Accès ouvert

2025 IEEE International Conference on Robotics and Automation, ICRA 2025
Engels, T. (Participant)
19 mai 2025 → 23 mai 2025
Activité: Participation ou organisation d'un événement (conférence, campagne de mesure) › Participer à une conférence, à un atelier,...
FOSDEM 2026
Engels, T. (Participant)
31 janv. 2026 → 1 févr. 2026
Activité: Participation ou organisation d'un événement (conférence, campagne de mesure) › Participer à une conférence, à un atelier,...
FORCES: FOundations for Reliable, CorrEct and Secure robotic systems
Engels, T. (Présentateur du poster), Discepoli, A. (Co-auteur), De Greef, R. (Co-auteur), Aguililla Klein, E. (Co-auteur), D'agostino, F. (Co-auteur), Gunsett, R. (Co-auteur), Pisane, J. (Co-auteur), Hasselmann, K. (Co-auteur) & Paolillo, A. (Co-auteur)
19 mai 2025
Activité: Conférence ou présentation › Présentation d'un poster à caractère scientifique