MoVeRo (Modeling and Verification in Robotics) initiative is a spin-off of the EU project CONVINCE. The goal of MoVeRo is to reach verifiable safety, security and quality of service in adaptive autonomous robots. The principles of MoVeRo are

  • Ease of use: developers should be able to design robot control architectures using graphical models and specify requirements using (controlled) natural language;
  • Static verification: the models, including those of data-driven components, can be verified against requirements assuming some target middleware (e.g. ROS 2); developers should be given concise and easy-to-interpret information to debug their designs, should a requirement fail to be satisfied.
  • Certified compilation: concrete models, i.e., those that represent actual components of the architecture and not just abstractions of functional elements, robot hardware or operating environment, can be compiled to code that can be executed on the target middleware; the semantics of the models is provably preserved in the translation;
  • Dynamic verification: once the control architecture is deployed, in simulation or the real world, monitors generated from the models and the requirements should run alongside the control software to ensure that design-time verification conditions are still met.

Learn more about the CONVINCE project at the CONVINCE web site.

This site is brought to you by moverohub.