Soter:使用“运行保证”编程安全机器人系统

作者：编辑部

来源：机器人产业, 2018, (05): 100-104.

DOI：10.19609/j.cnki.cn10-1324/tp.2018.05.017

如今,得益于技术的不断进步和成熟,机器人系统的应用越来越普遍,但人们对于机器人系统的高要求无形中也增加了系统的复杂度。然而,形式验证和系统测试的进步速度与复杂度的增加速度并不成正比。那么,我们该如何确保机器人系统的安全性呢?最近,伯克利加州大学的Ankush Desai、Shromona Ghosh、Sanjit A. Seshia、Natarajan Shankar和Ashish Tiwari等研究人员针对这一问题进行研究,提出了运用"运行保证"技术来解决这一问题。