Advances and challenges of quantitative verification and synthesis for cyber-physical systems

Marta Kwiatkowska
2016 2016 Science of Security for Cyber-Physical Systems Workshop (SOSCYPS)  
We are witnessing a huge growth of cyber-physical systems, which are autonomous, mobile, endowed with sensing, controlled by software, and often wirelessly connected and Internet-enabled. They include factory automation systems, robotic assistants, self-driving cars, and wearable and implantable devices. Since they are increasingly often used in safety-or business-critical contexts, to mention invasive treatment or biometric authentication, there is an urgent need for modelling and verification
more » ... technologies to support the design process, and hence improve the reliability and reduce production costs. This paper gives an overview of quantitative verification and synthesis techniques developed for cyber-physical systems, summarising recent achievements and future challenges in this important field.
doi:10.1109/soscyps.2016.7579999 dblp:conf/cpsweek/Kwiatkowska16 fatcat:ugbkizf4xrcgzjvgtutecnepuu