CLEARSY at the Fourth International Summer School on Robotic Mission Engineering (RoME) 2026

24 February 2026

CLEARSY is attending the 4th edition of the RoME 2026 (Robotic Mission Engineering) international summer school from 23 to 27 February 2026 in Brasília (Brazil).

👉 https://lesunb.github.io/RoME26/

Funded by ACM SIGSOFT, RoME 2026 aims to advance robotics mission engineering through a rigorous approach to software engineering and formal methods, strengthening the link between academic research and industry.

More than 100 students are working on the analysis of an autonomous firefighting drone, with a focus on safety, using:

RoboSim and RoboTool for formal modelling and analysis: https://robostar.cs.york.ac.uk/
the CLEARSY safety platform for safe implementation: https://www.clearsy.com/en/components/calculateur-clearsy-safety-plateform/

This session is a unique opportunity to explore command/control applications for critical systems, integrating the challenges of safety, operational security and cybersecurity specific to robotic systems.