A rigorous approach to the design of resilient cyber-physical systems through co-simulation

Fitzgerald, JS; Pierce, Ken; Gamble, Carl

doi:10.1109/dsnw.2012.6264663

Cited by 6 publications

(3 citation statements)

References 8 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Lehner et al [ 185 ] introduced the AML4DT (Automation Modelling Language for Digital Twin) framework for this purpose. Fitzgerald et al [ 186 , 187 ] used the Unifying Theories of Programming (UTP) approach and its large-scale application in the form of the definition of the COMPASS Modelling Language (CML) [ 187 ].…”

Section: Resultsmentioning

confidence: 99%

A Literature Review on the Development and Creation of Digital Twins, Cyber-Physical Systems, and Product-Service Systems

Fett,

Wilking,

Goetz

et al. 2023

Sensors

View full text Add to dashboard Cite

Digital Twins offer vast potential, yet many companies, particularly small and medium-sized enterprises, hesitate to implement them. This hesitation stems partly from the challenges posed by the interdisciplinary nature of creating Digital Twins. To address these challenges, this paper explores systematic approaches for the development and creation of Digital Twins, drawing on relevant methods and approaches presented in the literature. Conducting a systematic literature review, we delve into the development of Digital Twins while also considering analogous concepts, such as Cyber-Physical Systems and Product-Service Systems. The compiled literature is categorised into three main sections: holistic approaches, architecture, and models. Each category encompasses various subcategories, all of which are detailed in this paper. Through this comprehensive review, we discuss the findings and identify research gaps, shedding light on the current state of knowledge in the field of Digital Twin development. This paper aims to provide valuable insights for practitioners and researchers alike, guiding them in navigating the complexities associated with the implementation of Digital Twins.

show abstract

Section: Resultsmentioning

confidence: 99%

A Literature Review on the Development and Creation of Digital Twins, Cyber-Physical Systems, and Product-Service Systems

Fett,

Wilking,

Goetz

et al. 2023

Sensors

View full text Add to dashboard Cite

show abstract

“…Examples of model‐based approaches to ensure resiliency include those based on co‐simulation of discrete‐event models [36], attacker defender games [37], mode‐based repair of hybrid systems [38], and resilience proofing [39]. Testbeds such as [40] have also been introduced.…”

Section: Related Work and Limitationsmentioning

confidence: 99%

Towards a framework of enforcing resilient operation of cyber‐physical systems with unknown dynamics

Nguyen

Gupta

2021

IET Cyber-Phy Sys Theory & Ap

View full text Add to dashboard Cite

Ensuring that safety-critical cyber-physical systems (CPSs) continue to satisfy correctness and safety specifications even under faults or adversarial attacks is very challenging, especially in the presence of legacy components for which accurate models are unknown to the designer. Current techniques for secure-by-design systems engineering do not provide an end-to-end methodology for a designer to provide real-time assurance for safety-critical CPSs by identifying system dynamics and updating control strategies in response to newly discovered faults, attacks or other changes such as system upgrades. We propose a new methodology, along with an integrated framework implemented in MATLAB to guarantee the resilient operation of safety-critical CPSs with unknown dynamics. The proposed framework consists of three main components. The runtime monitor evaluates the system behaviour on-the-fly against its correctness specifications expressed as signal temporal logic formulas. The model synthesiser incorporates a sparse identification approach that is used to continually update the plant model and control policies to adapt to any changes in the system or the environment. The decision and control module designs a controller to ensure that the correctness specifications are satisfied at runtime. For evaluation, we apply our proposed framework to ensure the resilient operations of two CPS case studies.This is an open access article under the terms of the Creative Commons Attribution License, which permits use, distribution and reproduction in any medium, provided the original work is properly cited.

show abstract

“…2) ADT-Based CPS Modeling: There have not been more results in the modeling of cyber-physical resources using ADTs. Recently, in [33], based on VDM, the authors have developed a design methodology that allows comodeling of cyber and physical resources using operations defined over ADTs. The methodology allows to interpret the model as a bond graph, which is a directed graph that compares the comodel at the end.…”

Section: ) Reliability and Security By Design: For The Last Decadementioning

confidence: 99%

ARMET: Behavior-Based Secure and Resilient Industrial Control Systems

Khan

Serpanos

Shrobe³

2018

Proc. IEEE

View full text Add to dashboard Cite

diMiTrios serpanos, a nd howard shrobe cyber means alone was first demonstrated in the well-known Aurora experiment where a pure cyber attack successfully destroyed a diesel generator [2]; Stuxnet [3] and the recent Ukrainian smartgrid attack [4] as well as several additional less known incidents have demonstrated the potential of cyber attacks to inflict serious societal damage. Finally, ICSs may be compromised to serve as elements of a Botnet as the recent Mirai attack indicates [5]. To address reliability and security in ICSs, one needs to take into account the characteristics of OT technology that differentiates ICSs from typical IT systems, because this influences the security methods and solutions that are appropriate for ICSs. ICSs typically have real-time requirements, often hard ones, whose violation may have significant, or even catastrophic, results. It is important to note that func

show abstract

A rigorous approach to the design of resilient cyber-physical systems through co-simulation

Cited by 6 publications

References 8 publications

A Literature Review on the Development and Creation of Digital Twins, Cyber-Physical Systems, and Product-Service Systems

A Literature Review on the Development and Creation of Digital Twins, Cyber-Physical Systems, and Product-Service Systems

Towards a framework of enforcing resilient operation of cyber‐physical systems with unknown dynamics

ARMET: Behavior-Based Secure and Resilient Industrial Control Systems

Contact Info

Product

Resources

About