Automated Verification of Cyber-Physical Systems: From Theory to Practice

Slides

Cyber-Physical Systems (CPS) are systems made up of collaborating computational elements, interacting and adapting to their physical environment and making autonomous decisions. Automated verification techniques aim at supporting software designers in the development of reliable CPS. The field of automated verification is constantly growing. However, while many techniques have been proposed and developed, their application in industrial scenarios is still limited. What are the challenges that are preventing the usage of automated verification in industrial scenarios? How can we address these challenges?