Assurance and Resilience of Digital Twins in Critical Systems
Assurance and Resilience of Digital Twins in Critical Systems
关键系统中数字孪生的保证和弹性
批准号：
2514661
负责人：
金额：
$0.0万
依托单位：
依托单位国家：
英国
项目类别：
Studentship
财政年份：
2020
资助国家：
英国
项目状态：
未结题
起止时间：
2020 至 --
中文摘要
翻译
本研究旨在探讨数字孪生控制工作流设计的验证方法。具体而言，这将涉及开发适当的正式核查工具，以调查数据腐败的影响并查明系统工作流程中的主要漏洞。与工业伙伴(DSTL)一道，这项工作将对认证标准作出贡献。
英文摘要
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.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
海外基金
