A Verifiable and Correct-by-Construction Controller for Robot Functional Levels

Understand

Autonomous robots are complex systems that require the interaction and cooperation between numerous heterogeneous software components.

• In recent times, robots are being increasingly used for complex and safety-critical tasks, such as exploring Mars and assisting/replacing humans.
• Consequently, robots are becoming critical systems that must meet safety properties, in particular, logical, temporal and real-time constraints.
• To this end, we present an evolution of the LAAS architecture for autonomous systems, in particular its GenoM tool.