Advanced Hardware Verification Techniques for CPS V&V

CPS V 的高级硬件验证技术

• 批准号: 132300
• 金额: $ 8.29万
• 依托单位: TEST AND VERIFICATION SOLUTIONS LTD
• 依托单位国家: 英国
• 项目类别: Feasibility Studies
• 财政年份: 2016
• 资助国家: 英国
• 起止时间: 2016 至 无数据
• 项目状态: 已结题
• 来源: https://gtr.ukri.org/projects?ref=132300
• 关键词: Advanced; Hardware; Verification; Techniques; CPS

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.

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