Advanced Hardware Verification Techniques for CPS V&V

网络物理系统（如机器人吸尘器、无人驾驶汽车或无人机）有可能通过将日常任务交给计算机来显著改变我们的生活方式。然而，就其本质而言，这些系统非常复杂，并且经常承担可能导致人员伤亡的任务。因此，对这些系统进行测试以确保它们以安全的方式正确执行指定的功能是至关重要的。该项目汇集了该领域的专家：来自布里斯托大学的研究人员，来自测试和验证解决方案（一家英国测试公司）的测试专家以及网络物理系统（戴森，泰利斯和SCISYS）的开发人员，以开发新的测试技术，以确保这些系统可以在未来安全地部署。

Cyber Physical Systems (such as robotic vacuum cleaners, driverless cars or drones) have the potential todramatically change the way we live by handing over everyday tasks to computers. However, by their verynature, such systems are very complex and often undertake tasks where failure can lead to injury or loss of life.Thus, the testing of such systems to ensure they correctly perform their assigned function in a safe manner isessential. This project brings together experts in this field: researchers from the University of Bristol, testingexperts from Test and Verification Solutions (a UK-based testing company) and developers of Cyber PhysicalSystems (Dyson, Thales and SCISYS) to develop new test techniques to ensure these systems can be deployedsafely in the future.