布里斯托尔的一组公司正在致力于测试下一代无人机和无人驾驶汽车的新方法。

“网络物理系统将开始从机器人吸尘器到自动车辆中的每一个部分”

 

T&VS 正在与布里斯托尔大学合作,开发新的工程方法,以测试控制网络物理系统(CPS)等驱动汽车的软件。他们将与之合作 th, 戴顿 粪便 更好地了解如何检查和验证这些系统的软件按预期工作。

“网络物理系统将开始从机器人吸尘器和由无人机到自主汽车交付的在线订单中的每一部分,”T的首席执行官和创始人博士说&vs. “确保这种系统经过完全测试,并且可以安全使用可以昂贵且耗时,因此潜在的市场进入屏障。该项目将调查硬件设计验证中成功采用的技术是否适用于复杂软件。“

目前在布里斯托尔的一部分测试无人驾驶汽车技术 vitcher.繁荣 research projects.

Venturer-Cars-AT-F1-Williams这些系统的开发人员认识到当前的软件验证和验证技术不会应付,因为网络系统变得越来越复杂。

th,Dyson和Scisys的参与是项目潜在成功的关键,由此支持 创新英国政府机构。所有三个正在开发这些网络系统,并将测试识别为主要的技术挑战,因此他们将定义他们需要测试硬件的内容。 T.&然后,VS将开发这些工具,以测试这些系统以确保它们按预期表现。

测试测试

硬件验证面临着20年前类似的问题,并开发出新的验证技术来克服这一点。现在广泛采用这些技术,硬件开发人员能够验证日益复杂的设计,以便他们在良好的时期到达市场并按照预期工作。

布里斯托尔大学最近开发了基于模型的测试生成技术,以比传统方法更有效地瞄准特定用例或要求。如何将这些技术应用于复杂的现实CPS将作为本协作项目的一部分进行调查。

“该项目为大学的实际要求带来了新的了解,推动新的研究”

 

“基于模型的测试生成技术可以显着提高验证生产力,”布里斯托大学计算机科学系的读者博士博士,读者博士,读取器和机器人研究主题安全验证和验证的领导者布里斯托尔机器人实验室。 “更快地实现覆盖结束,以自动化方式节省实践中的工程努力。获得现实世界的使用。“

您可以在自治系统中查看更多 布里斯托尔机器人实验室.