CPS Engineering Labs Innovation Experiment
CPSE-Labs
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.
View online : http://www.cpse-labs.eu/