Assurance and Resilience of Digital Twins in Critical Systems
Lead Research Organisation:
University of Glasgow
Department Name: School of Computing Science
Abstract
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.
Studentship Projects
Project Reference | Relationship | Related To | Start | End | Student Name |
---|---|---|---|---|---|
EP/V519686/1 | 01/10/2020 | 30/09/2025 | |||
2514661 | Studentship | EP/V519686/1 | 01/10/2020 | 07/12/2024 | Douglas Fraser |