Certifying Autonomous Systems

D-RisQ有限公司和蓝熊系统研究有限公司（BBSR）正在合作一个名为“认证自治”的项目。该项目将开发一个由BBSR提供的海上系统，该系统将使用D-RisQ开发的技术从设计角度进行验证，以满足自主系统认证的需求。验证技术是建立在自动化的形式化方法，允许充分详尽的探索设计和检查它对文本的要求。需要自动化来降低成本，并使设计工程师能够定期访问使用正式方法所施加的严格性。使用通常可用的设计工具支持适当的形式语义，我们可以定义一个自治系统的行为的边界，并证明它符合要求在每一个正常的情况下。在可能的情况下，我们还将展示在其他自动系统或意外环境输入等故障条件下发生的情况。我们将探讨认证要求以及设计的软件实现，并试图展示如何满足自主的基于软件的系统的认证要求，不仅在海事领域，而且确保证据可以应用于其他更具挑战性的领域，如民用航空航天。

D-RisQ Ltd and Blue Bear Systems Research Ltd (BBSR) are collaborating on a project called ‘Certifying Autonomy’. The project will develop a maritime based system provided by BBSR that will be subject to validation from a design perspective using technologies developed by D-RisQ to meet the needs of autonomous systems certification. The validation technology is founded on automated formal methods which allow fully exhaustive exploration of design and checking it against textual requirements. The automation is required to reduce cost and enable design engineers regular access to the rigour imposed by the use of formal methods. Using commonly available design tools underpinned by appropriate formal semantics, we can define the boundary of the behaviour of an autonomous system and prove that it conforms to requirements under every normal circumstance. Where possible, we will also involve showing what happens under failure conditions of, for example, other automatic systems or unanticipated environmental inputs. We will explore the certification requirements and also the software implementation of the design and attempt to show how to meet certification requirements for autonomous, software based systems in not only the maritime domain, but ensure that the evidence can be applied to other more challenging domains such as civil aerospace