European, H2020, 2015-2016

Rigorous framework for developing and validating robotic applications. One objective of this project is to allow verification and validation of robotic systems at different design levels and thus reach a high degree of maturity at as low as possible cost. Early discovery of bugs can play a crucial part in reducing design costs for robotic application. Another objective is to provide rigorous software engineering techniques and tools for correct-­‐by-­‐construction development of robotic applications.

CPS Engineering Labs Innovation Experiment