Error-Free Cyber-Physical Systems within an Industry 4.0 Platform

This project proposes tool-supported methodologies for combining various verification and validation (V&V) techniques that are suitable for both modelling CPS applications and supporting automatic (semi)-formal analysis within an Industry 4.0 platform. V&V strategies classified into the two work packages are applied to automate safety and reliability assessment processes of CPS