论文标题
建立可靠自主系统认证的框架
Towards a Framework for Certification of Reliable Autonomous Systems
论文作者
论文摘要
如果计算系统能够在没有人类的监督或控制的情况下做出自己的决定或自己采取自己的决定，则称为自主。这些系统的能力和传播已经达到了他们开始触动日常生活的大部分时间。但是，监管机构努力处理如何处理自主系统，例如，我们如何认证无人驾驶的空中系统以在平民领空中自主使用？我们在这里分析了为提供自主系统的可靠行为所需的内容，分析可以作为自动验证的最新作品所做的事情，并为制定监管指南的路线图，包括对研究人员阐明挑战，对工程师和监管机构的挑战。七个不同领域的案例研究说明了这篇文章。
A computational system is called autonomous if it is able to make its own decisions, or take its own actions, without human supervision or control. The capability and spread of such systems have reached the point where they are beginning to touch much of everyday life. However, regulators grapple with how to deal with autonomous systems, for example how could we certify an Unmanned Aerial System for autonomous use in civilian airspace? We here analyse what is needed in order to provide verified reliable behaviour of an autonomous system, analyse what can be done as the state-of-the-art in automated verification, and propose a roadmap towards developing regulatory guidelines, including articulating challenges to researchers, to engineers, and to regulators. Case studies in seven distinct domains illustrate the article.
