CPS Engineering Labs Innovation Experiment
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.