Assurance and Resilience of Digital Twins in Critical Systems
Assurance and Resilience of Digital Twins in Critical Systems
关键系统中数字孪生的保证和弹性
批准号：
2514661
负责人：
金额：
$0.0万
依托单位：
依托单位国家：
英国
项目类别：
Studentship
财政年份：
2020
资助国家：
英国
项目状态：
未结题
起止时间：
2020 至 --
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
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)
会议论文
海外基金
