Human-centric cyber-physical systems are systems where software, devices, and people seamlessly and endlessly interact with evolving goals, requirements, and constraints. They are increasingly pervading our life, and span from simple mobile and Web applications, like recommendation systems and virtual shops, to complex evolving systems, like autonomous vehicles and smart cities. In this talk, 1 will give a broad and visionary view of the emerging issues and opportunities in the verification of human-centric cyber-physical systems. I will introduce the main features and survey the main open challenges of testing human-centric cyber-physical systems. I will discuss scope and limitation of the most recent research results in software testing; 1 will overview the ongoing partial but promising research activities in our USI-Star and UniMiB-LTA laboratories, and I will propose my vision of the most challenging open research issues.
展开▼