Networked information, sensing, and software are increasingly integrated into everyday objects and activities. As such cyber-physical systems are being applied in safety critical situations, their correctness and reliability become vital. The current practice of large scale cyber physical system design assessment is by simulation or small scale prototyping, which cannot provide guaranteed reliability for actual deployment. In this project, we propose to develop automated methods and tools to enhancing reliability of large scale cyber-physical systems, based on model checking techniques and combination of model checking with testing, data mining, etc. The main technical challenge is to develop efficient verification methods which not only scale up to real-world applications but also takes into account environmental uncertainty. The deliverable of the project is a self-contained toolset which allows modelling, simulation, and verification.


Click image to view poster.