Assurance and Resilience of Digital Twins in Critical Systems

关键系统中数字孪生的保证和弹性

• 批准号: 2514661
• 金额: --
• 依托单位: University of Glasgow
• 依托单位国家: 英国
• 项目类别: Studentship
• 财政年份: 2020
• 资助国家: 英国
• 起止时间: 2020 至 无数据
• 项目状态: 未结题
• 来源: https://gtr.ukri.org/projects?ref=studentship-2514661
• 关键词: Assurance; Resilience; Digital; Twins; Critical

The proposed research is to investigate methods of verifying digital twin control workflow design. Specifically it will involve the development of suitable formal verification tools to investigate the impact of data corruption and identify key vulnerabilities in the system workflow. Together with the industrial partner (DSTL) the work will lead to contribution to standards for accreditation.

本研究旨在探讨数字孪生控制工作流设计的验证方法。具体而言，这将涉及开发适当的正式核查工具，以调查数据腐败的影响并查明系统工作流程中的主要漏洞。与工业伙伴(DSTL)一道，这项工作将对认证标准作出贡献。