FOundations for Reliable, CorrEct, and Secure robotic systems

Projekt: Forschung › 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).

Kurztitel	FORCES
Akronym	FORCES
Status	Laufend
Tatsächlicher Beginn/ -es Ende	1/12/24 → 31/12/28

Auf Projekt zugreifen

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 S.
Publikation: Unpublished contribution to conference › Papier › Begutachtung

Open Access
Towards Macro-Aware C-to-Rust Transpilation (WIP)
De Greef, R., Discepoli, A., Aguililla Klein, E., Engels, T., Hasselmann, K. & Paolillo, A., 13 Juni 2025, Proceedings of the 26th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems. S. 57-61
Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

Open Access

2025 IEEE International Conference on Robotics and Automation, ICRA 2025
Engels, T. (Teilnehmer)
19 Mai 2025 → 23 Mai 2025
Aktivität: Teilnahme an oder Organisation einer Veranstaltung › Teilnahme an einer Konferenz, einem Workshop
FOSDEM 2026
Engels, T. (Teilnehmer)
31 Jan. 2026 → 1 Feb. 2026
Aktivität: Teilnahme an oder Organisation einer Veranstaltung › Teilnahme an einer Konferenz, einem Workshop
FORCES - FOundations for Reliable, CorrEct and Secure robotic systems
Engels, T. (Poster presenter), Discepoli, A. (Co-author), De Greef, R. (Co-author), Aguililla Klein, E. (Co-author), D'agostino, F. (Co-author), Gunsett, R. (Co-author), Pisane, J. (Co-author), Hasselmann, K. (Co-author) & Paolillo, A. (Co-author)
19 Mai 2025
Aktivität: Gespräch oder Vortrag › Scientific poster presentation