CD++: a toolkit to develop DEVS models

G Wainer - Software: Practice and Experience, 2002 - Wiley Online Library
The features of a toolkit for modeling and simulation based on the DEVS formalism are
presented. The tool is built as a set of independent software pieces running on different …

[Књига][B] Building software for simulation: theory and algorithms, with applications in C++

JJ Nutaro - 2011 - books.google.com
Building Software for Simulation A unique guide to the design and implementation of
simulation software This book offers a concise introduction to the art of building simulation …

Discrete-event simulation of continuous-time systems: evolution and state of the art of quantized state system methods

R Castro, M Bergonzi, EP Marcosig, J Fernández… - …, 2024 - journals.sagepub.com
In this work, we attempt to bring together the origins, main results, and recent advances on
discrete-event simulation of continuous-time systems. Starting from the early approaches …

Theory of quantized systems: formal basis for DEVS/HLA distributed simulation environment

BP Zeigler, JS Lee - Enabling Technology for Simulation …, 1998 - spiedigitallibrary.org
In the context of a DARPA ASTT project, we are develo** an HLA-compliant distributed
simulation environment based on the DEVS formalism. This environment will provide a user …

The DEVS environment for high-performance modeling and simulation

BP Zeigler, Y Moon, D Kim… - … Science and Engineering, 1997 - ieeexplore.ieee.org
DEVS-C++, a high-performance environment for modeling large-scale systems at high
resolution, uses the DEVS (Discrete-EVent system Specification) formalism to represent both …

A layered modeling and simulation architecture for agent-based system development

HS Sarjoughian, BP Zeigler, SB Hall - Proceedings of the IEEE, 2001 - ieeexplore.ieee.org
The paper proposes a layered architectural framework to support agent based system
development in a collaborative, multidisciplinary engineering setting. This architecture is …

Step revision in hybrid co-simulation with FMI

F Cremona, M Lohstroh, D Broman… - 2016 ACM/IEEE …, 2016 - ieeexplore.ieee.org
This paper presents a master algorithm for co-simulation of hybrid systems using the
Functional Mock-up Interface (FMI) standard. Our algorithm introduces step revision to …

Towards a framework for more robust validation and verification of simulation models for systems of systems

BP Zeigler, JJ Nutaro - The Journal of Defense Modeling and …, 2016 - journals.sagepub.com
We present a framework for verification and validation of simulation models of System of
Systems that is based on an existing framework for modeling and simulation. The framework …

Common cause failure analysis of cyber–physical systems situated in constructed environments

S Sierla, BM O'Halloran, T Karhela… - … in Engineering Design, 2013 - Springer
While cyber–physical system sciences are develo** methods for studying reliability that
span domains such as mechanics, electronics and control, there remains a lack of methods …

Anomaly detection and productivity analysis for cyber-physical systems in manufacturing

M Saez, F Maturana, K Barton… - 2017 13th IEEE …, 2017 - ieeexplore.ieee.org
Cyber-physical Systems (CPS) which can be defined by the integration of a physical process
with network communication and computing is a key concept for smart manufacturing …