Network on the Verification and Validation of Autonomous Systems

自治系统验证和确认网络

• 批准号: EP/M027309/1
• 负责人: Michael Fisher
• 金额: $ 13.73万
• 依托单位: University of Liverpool
• 依托单位国家: 英国
• 项目类别: Research Grant
• 财政年份: 2015
• 资助国家: 英国
• 起止时间: 2015 至 无数据
• 项目状态: 已结题
• 来源: https://gtr.ukri.org/projects?ref=EP%2FM027309%2F1
• 关键词: Network; Verification; Validation; Autonomous; Systems

Robots, driverless cars, unmanned air vehicles, etc, can all be built now. However, the main barriers holding back the widespread use of robotics and autonomous systems can be seen as societal: what should the legal framework be for such systems; how can the public come to trust these systems; how can we ensure they are safe; and how do we know such a system will make the decisions we would expect of it? All these are currently impossible to solve with any certainty.The UK has numerous key research developments concerning the Verification and Validation (V&V) of autonomous systems that can all impact upon this problem. These are clearly of relevance to methods for designing, constructing and deploying autonomous systems but also have importance to Psychology (e.g. social robotics), Philosophy (e.g. machine ethics), and Law (e.g. certification). Constructing autonomous systems without behaviour guarantees can lead to serious outcomes, and may consequently hold back the widespread adoption of these systems. This Network will coalesce this activity, drive the research agenda forward, and embed the necessity for V&V firmly within industry, the government, and the public.

机器人、无人驾驶汽车、无人机等等，现在都可以制造了。然而，阻碍机器人和自主系统广泛使用的主要障碍可以被视为社会方面的：此类系统的法律框架应该是什么？公众如何才能信任这些系统？我们如何确保他们的安全；我们如何知道这样的系统会做出我们期望的决定？所有这些目前都无法确定地解决。英国在自主系统的验证和确认 (V&V) 方面有许多关键研究进展，这些都可能对这个问题产生影响。这些显然与设计、构建和部署自主系统的方法相关，而且对心理学（例如社交机器人）、哲学（例如机器伦理）和法律（例如认证）也很重要。在没有行为保证的情况下构建自治系统可能会导致严重的后果，并可能因此阻碍这些系统的广泛采用。该网络将整合这项活动，推动研究议程向前发展，并将 V&V 的必要性牢牢地融入到行业、政府和公众中。

项目成果

Formal Specification and Verification of Autonomous Robotic Systems: A Survey

自主机器人系统的形式规范和验证：调查

• DOI: 10.17638/03023618
• 发表时间: 2018
• 期刊: University of Liverpool Repository
• 作者: Matt Luckcuck