A Digital Twin Runtime Verification Framework for Protecting Satellites Systems from Cyber Attacks
- Resource Type
- Conference
- Authors
- Hou, Zhe; Li, Qinyi; Foo, Ernest; Dong, Jin Song; de Souza, Paulo
- Source
- 2022 26th International Conference on Engineering of Complex Computer Systems (ICECCS) ICECCS Engineering of Complex Computer Systems (ICECCS), 2022 26th International Conference on. :117-122 Mar, 2022
- Subject
- Computing and Processing
Satellites
Runtime
Digital twin
Space missions
Computational modeling
Synchronization
Proposals
model checking
runtime verification
satellite
spacecraft
digital twins
cybersecurity
- Language
This paper presents the conceptualisation of a framework that combines digital twins with runtime verification and applies the techniques in the context of security monitoring and verification for satellites. We focus on special considerations needed for space missions and satellites, and we discuss how digital twins in such applications can be developed and how the states of the twins should be synchronised. In particular, we present state synchronisation methods to ensure secure and efficient long-distance communication between the satellite and its digital twin on the ground. Building on top of this, we develop a runtime verification engine for the digital twin that can verify properties in multiple temporal logic languages. We end the paper with our proposal to develop a fully verified satellite digital twin system as future work.