Defining DEVS Models Using the Cadmium Toolkit.

Discrete Event System Specification (DEVS) is a mathematical formalism to model and simulate discrete-event dynamic systems. Using DEVS for modeling and simulation has numerous advantages, which include a rigorous formal definition of models, a well-defined mechanism for modular composition, and separation of concerns between the model definition and the simulation of the model, among others. In this tutorial, we will explain DEVS and present how to develop DEVS models using one of the multiple DEVS simulators: Cadmium. Cadmium is a DEVS simulator based on C++17. We will discuss the tool's Application Programming Interface and we will present a model for the Rock-Paper-Scissors game as an example to explain how to define models in DEVS and implement them in Cadmium.