Certifying Autonomous Systems

认证自治系统

• 批准号: 131288
• 金额: $ 12.11万
• 依托单位: DRISQ LTD
• 依托单位国家: 英国
• 项目类别: Feasibility Studies
• 财政年份: 2013
• 资助国家: 英国
• 起止时间: 2013 至 无数据
• 项目状态: 已结题
• 来源: https://gtr.ukri.org/projects?ref=131288
• 关键词: Certifying; Autonomous; Systems

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

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