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

Conference item

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 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.

Authors: Kwiatkowska, M

• Publication status: Published
• Peer review status: Peer reviewed
• Publisher: Institute of Electrical and Electronics Engineers
• Host title: 2016 Science of Security for Cyber-Physical Systems Workshop, SOSCYPS 2016
• Journal: 2016 Science of Security for Cyber-Physical Systems Workshop, SOSCYPS 2016
• Publication date: 2016-10-01
• DOI: 10.1109/SOSCYPS.2016.7579999
• ISBN: 9781509043040