Debugging parallel DEVS
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 …
hoc way. The intricacies of dealing with the interplay of different notions of (simulated) time …
Modular design of hybrid languages by explicit modeling of semantic adaptation
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 …
simulation of hybrid models of-ten encompassing multiple levels of abstraction and …
A multi-paradigm modelling approach to live modelling
Y Van Tendeloo, S Van Mierlo… - Software & Systems …, 2019 - Springer
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 …
takes a prominent role in the development cycle. But whereas good tool support exists for …
Towards modular language design using language fragments: The hybrid systems case study
Cyber-physical systems can be best represented using hybrid models that contain
specifications of both continuous and discrete event abstractions. The syntax and semantics …
specifications of both continuous and discrete event abstractions. The syntax and semantics …
[PDF][PDF] Explicitly modelling model debugging environments
S Van Mierlo - Proceedings of the ACM Student Research …, 2015 - repository.uantwerpen.be
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 …
supported by a variety of debugging techniques such as pause/resume, the setting of …
[PDF][PDF] Explicit modelling of a parallel DEVS experimentation environment.
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 the simulation of Parallel DEVS models. We take inspiration from the code debugging …
Hybrid system modelling and simulation with Dirac deltas
C Gomes, Y Van Tendeloo, J Denil… - ar** semantics for model debugging
S Van Mierlo, Y Van Tendeloo… - … of MODELS 2018 …, 2018 - repository.uantwerpen.be
Step** is arguably one of the most important operations for model execution, and model
debugging specifically. Each formalism, however, has a different set of supported step** …
debugging specifically. Each formalism, however, has a different set of supported step** …
[PDF][PDF] Explicit modelling and synthesis of debuggers for hybrid simulation languages.
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 …
models in multiple formalisms. To support the creation of such “hybrid models”, recent …