To this day, debugging support for the DEVS formalism has been provided, at best, in an ad-
hoc way. The intricacies of dealing with the interplay of different notions of (simulated) time …

The engineering of a complex cyber-physical system (CPS) involves the creation and
simulation of hybrid models of-ten encompassing multiple levels of abstraction and …

To develop complex systems and tackle their inherent complexity,(executable) modelling
takes a prominent role in the development cycle. But whereas good tool support exists for …

Cyber-physical systems can be best represented using hybrid models that contain
specifications of both continuous and discrete event abstractions. The syntax and semantics …

Programmers spend a large portion of their time debugging the code they write. This is
supported by a variety of debugging techniques such as pause/resume, the setting of …

In this paper, we explicitly model an interactive debugging and experimentation environment
for the simulation of Parallel DEVS models. We take inspiration from the code debugging …

For a wide variety of problems, creating detailed continuous models of (continuous) physical
systems is, at the very least, impractical. Hybrid models can abstract away short transient …

The widespread adoption of Modelling and Simulation (M8S) techniques hinges on the
availability of tools supporting each phase in the M8S-based workflow. This includes tasks …

Stepping is arguably one of the most important operations for model execution, and model
debugging specifically. Each formalism, however, has a different set of supported stepping …

Any sufficiently complex system is best described (or specified) with a combination of
models in multiple formalisms. To support the creation of such “hybrid models”, recent …