Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 (2023) Challenges in modelling applications for safe and resilient digital twins. In: 2022 IEEE International Smart Cities Conference (ISC2), Pafos, Cyprus. 26-29 Sept 2022. IEEE Xplore . Institute of Electrical and Electronics Engineers (IEEE), Piscataway, New Jersey, pp. 1-6. ISBN 978-1665485616; 978-1665485623 ISSN 2687-8860 (Print), 2687-8852 (Online) (doi:https://doi.org/10.1109/ISC255366.2022.9921921)

PDF (Accepted paper (IEEE)) 41630_KHAN_Challenges_in_Modelling_Applications_for_Safe_and_Resilient_Digital_Twins.pdf - Accepted Version Restricted to Registered users only Download (151kB) | Request a copy

Abstract

Digital twin-based modern smart city infrastructures are evolving into intelligent and distributed systems of autonomous entities operating in a dynamic cyber-physical environment to offer real-time and critical services. These services are typically implemented as software applications in various application domains, e.g., healthcare, cooperative robotic systems, and autonomous vehicles. However, to assure continued safe operations of the critical services with strict real-time requirements even when the service is under attack is an extremely challenging task mainly because the underlying operating environment for such applications is highly volatile yet distributed. To this end, first, we classify (as we call it) timed resilience requirements into computational and communication resilience and then discuss key challenges that hinder the modeling of such requirements to help develop rigorous distributed applications for real-time resilient autonomous systems. Finally, we demonstrate our vision to handle these challenges by introducing by-design and by-response approaches that consider security as a prerequisite of the safety and resilience of autonomous systems.

Item Type:	Conference Proceedings
Title of Proceedings:	2022 IEEE International Smart Cities Conference (ISC2), Pafos, Cyprus. 26-29 Sept 2022
Uncontrolled Keywords:	digital twin; security and safety; modeling; resilience
Subjects:	Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Faculty / School / Research Centre / Research Group:	Faculty of Engineering & Science Faculty of Engineering & Science > Internet of Things and Security Research Centre (ISEC) Faculty of Engineering & Science > School of Computing & Mathematical Sciences (CMS)
Last Modified:	24 Apr 2023 09:37
URI:	http://gala.gre.ac.uk/id/eprint/41630

Actions (login required)

View Item

Downloads