WP3
Runtime Trustworthiness Checkers (Fraunhofer IFF & Partners)
Challenge
Robots must continue to operate safely while they adapt.
But verifying changes during runtime – without shutting the system down – has been a missing capability in the state-of-the-art.
Our Tools
- Trustworthiness Checkers (TCs) for safety & regulatory compliance.
- A dedicated language for specifying monitoring properties.
- Support for dynamic updates and distributed architectures.
How it fits
WP3 connects to every part of the MAPLE-K loop and robotic system through the RoboSAPIENS adaptive platform – continuously ensuring behaviour stays within safe bounds.
Progress so far
- Preliminary testing on a TurtleBot academic use case.
- Monitoring approach validated and documented in project deliverables.
- Research contributions submitted to leading conferences.
Impact & What’s Next
TCs enable safe adaptation without stopping the robot.
Next: extend to the industrial pilots and refine the language based on real deployment feedback.
Technology, Tools & Architecture
RoboSAPIENS delivers the core technologies needed to make robots truly self-adaptive – reacting to change without sacrificing safety, trustworthiness, or performance.
Our research partners provide a complete ecosystem of tools that work together across the robot’s lifecycle:
WP1 ensures adaptation is correct by design through modelling and verification.
WP2 gives robots awareness – detecting uncertainty and anomalies.
WP3 keeps operations trustworthy in real time.
WP5 turns innovation into deployable robotic systems.
Together, these technologies enable robots that don’t just follow instructions – they think, assess, adapt, and stay safe.
From industrial assembly to maritime navigation, RoboSAPIENS is making autonomy more robust, scalable and human-centred.