Systematic review of features for co‐simulating security incidents in cyber‐physical systems

RM Czekster, C Morisset, JA Clark… - Security and …, 2021 - Wiley Online Library
Abstract Cyber‐Physical Systems (CPS) and Internet‐of‐Things (IoT) plus energy are the
enabling technology of modern power systems also known as the Smart Grid (SG). A SG …

Building DEVS models with the Cadmium tool

L Belloli, D Vicino, C Ruiz-Martín… - 2019 Winter Simulation …, 2019 - ieeexplore.ieee.org
Discrete Event System Specification (DEVS) is a mathematical formalism to model and
simulate discrete-event dynamic systems. The advantages of DEVS include a rigorous …

DEVS and MBSE: a review

BP Zeigler - International Journal of Modeling, Simulation, and …, 2022 - World Scientific
We review Discrete-Event system Specification (DEVS) in the context of Model-based
Systems Engineering (MBSE) and discuss an application of DEVS methodology to MBSE …

[HTML][HTML] Computer-aided design for building multipurpose routing processes in discrete event simulation models

MJ Blas, S Gonnet - Engineering Science and Technology, an International …, 2021 - Elsevier
Good domain-modeling enables an appropriate separation of concerns that improves
quality properties in the simulation models, such as modifiability and maintainability. In this …

[LIBRO][B] Foundations of multi-paradigm modelling for cyber-physical systems

P Carreira, V Amaral, H Vangheluwe - 2020 - library.oapen.org
This open access book coherently gathers well-founded information on the fundamentals of
and formalisms for modelling cyber-physical systems (CPS). Highlighting the cross …

Discrete event system specification modeling and simulation

Y Van Tendeloo, H Vangheluwe - 2018 Winter Simulation …, 2018 - ieeexplore.ieee.org
Discrete Event System Specification (DEVS) is a popular formalism for modeling complex
dynamic systems using a discrete-event abstraction. At this abstraction level, a timed …

A survey of visualization capabilities for simulation environments

B St-Aubin, G Wainer, F Loor - 2023 Annual Modeling and …, 2023 - ieeexplore.ieee.org
Simulation visualization is an effective way to understand and communicate the results of
simulation studies on complex systems and processes. Among other advantages, it …

Model-based engineering & simulation of software-intensive systems-of-systems: experience report and lessons learned

VVG Neto, W Manzano, M Kassab… - Proceedings of the 12th …, 2018 - dl.acm.org
Software has been increasingly embedded into systems (eg, autonomous cars, traffic control
systems, power distribution systems) to increase the precision of their functionalities, deliver …

A model-driven framework for multi-paradigm modeling and holistic simulation of healthcare systems

I Djitog, HO Aliyu, MK Traoré - Simulation, 2018 - journals.sagepub.com
The domain of healthcare is characterized by a high degree of complexity and a diversity of
perspectives, and modelers are often confronted with the challenge of formulating a …

Race conditions and data partitioning: risks posed by common errors to reproducible parallel simulations

J Nutaro, O Ozmen - Simulation, 2023 - journals.sagepub.com
When parallel algorithms for simulation were introduced in the 1970s, their development
and use interested only experts in parallel computation. This circumstance changed as multi …